Conference Papers & Presentations, Dept. of Computer Science : [181] Collection home page

When downloading papers please observe the normal copyright codes and conventions for their use.

Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 181
 next >
First PublishedTitleAuthor(s)Type
5-Jun-2016Towards an approximate conformance relation for hybrid I/O automataMohaqeqi, Morteza; Mousavi, Mohammad RezaConference Paper
13-Apr-2017Reducing the Concretization Effort in FSM-Based Testing of Software Product LinesFragal, Vanderson Hafemann; Simao, Adenilso; Endo, André Takeshi; Mousavi, Mohammad RezaConference Paper
8-Nov-2017Clustering Dycom: An Online Cross-Company Software Effort Estimation StudyMinku, Leandro; Hou, SiqingConference Paper
15-Aug-2017Using Segment-Based Alignment to Extract Packet Structures from Network TracesEsoul, Othman; Walkinshaw, NeilConference Paper
3-Apr-2017Prediction of the Domain Name System (DNS) Quality AttributesRadwan, Marwan; Heckel, ReikoConference Paper
17-Jul-2017Experimentation with a Big-Step Semantics for ATL Model TransformationsBoronat, ArturConference Paper
18-Apr-2015Beyond the Individual: The Contextual Wheel of Practice as a Research Framework for Sustainable HCIEntwistle, Johanne Mose; Rasmussen, Mia Kruse; Verdezoto, Nervo; Brewer, Robert S.; Andersen, Mads SchaarupConference Paper
27-Feb-2016Accounting for the Invisible Work of Hospital Orderlies: Designing for Local and Global CoordinationStisen, Allan; Verdezoto, Nervo; Blunck, Henrik; Kjærgaard, Mikkel Baun; Grønbæk, KajConference Paper
25-Feb-2017Clinical and Non-clinical Handovers: Designing for Critical MomentsStisen, Allan; Verdezoto, NervoConference Paper
12-Jan-2017Bringing LTL model checking to biologistsAhmed, Zara; Benque, David; Berezin, Sergey; Dahl, Anna Caroline E.; Fisher, Jasmin; Hall, Benjamin A.; Ishtiaq, Samin; Nanavati, Jay; Piterman, Nir; Riechert, Maik; Skoblov, NikitaConference Paper
21-Jun-2016An Experiential Approach to the Design and Evaluation of a Gamified Research Tool for Law in Children's LivesLaw, Effie Lai-Chong; Watkins, Dawn E.; Barwick, Joanna P. L.; Kirk, Elee S.Conference Paper
2017Privacy Requirements: Past & FutureAnthonysamy, Pauline; Rashid, Awais; Chitchyan, RuzannaConference Paper
4-Oct-2015SibylFS: Formal specification and oracle-based testing for POSIX and real-world file systemsRidge, Tom; Sheets, David; Tuerk, Thomas; Giugliano, Andrea; Madhavapeddy, Anil; Sewell, PeterConference Paper
11-Nov-2013Nominal lambda calculus: An internal language for FM-cartesian closed categoriesCrole, Roy L.; Nebel, FrankConference Paper
25-May-2017A low cost workload generation approach through the cloud for capacity planning in Service-Oriented SystemsFerreira, C. H. G.; Estrella, J. C.; Nunes, L. H.; Reiff-Marganiec, Stephan; Batista, B. G.; Nakamura, L. H. V.; Leite, D.; Peixoto, M.; Libardi, R. M. D. O.Conference Paper
2016Towards a Distributed Runtime Monitor for ICS/SCADA SystemsWain, Andrew; Reiff-Marganiec, Stephan; Janicke, H.; Jones, K.Conference Paper
20-Sep-2016Towards a Gamified Approach for Enhancing the VBE Preparedness for Establishing Virtual CollaborationsRajper, N.; Reiff-Marganiec, Stephan; Nizamani, Q.Conference Paper
26-Sep-2016Towards a software framework for the autonomous internet of thingsHernandez, M. E. P.; Reiff-Marganiec, StephanConference Paper
1-Sep-2016PEESOS-Cloud: a workload-aware architecture for performance evaluation in service-oriented systemsFerreira, C. H. G.; Nunes, L. H.; Pereira Jr., L. A.; Nakamura, L. H.; Estrella, J. C.; Reiff-Marganiec, StephanConference Paper
2016Increasing Energy Efficiency on Smartphones through Data forecashingXu, Jiuyun; Yang, Dan; Wang, Jiazhen; Guan, Chao; Reiff-Marganiec, Stephan; Shen, HuilinConference Paper
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 181
 next >