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

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

Browse
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 176
 next >
First PublishedTitleAuthor(s)Type
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
1-Sep-2016Cloud Simulator: A Cost Model Simulator Module for CloudsimAlves, D. C.; Batista, B. G.; Macahdo, D. L.; Reiff-Marganiec, Stephan; Kuehne, B. T.Conference Paper
1-Sep-2016Optimized Composite Service Transactions through Execution Results PredictionXu, J.; Li, Z.; Chi, H.; Wang, M.; Guan, C.; Reiff-Marganiec, Stephan; Shen, H.Conference Paper
2017Towards an Off-the-cloud IoT data processing Architecture via a Smart Car Parking ExampleAlturki, Badraddin; Reiff-Marganiec, StephanConference Paper
18-Jan-2017Compact Dynamic Rewriteable (CDRW) ArraysPoyias, A.; Puglisi, S. J.; Raman, RajeevConference Paper
21-Oct-2016The Effect of Dyadic Interactions on Learning Rotate Gesture for Technology-Naïve Older AdultsMihajlov, Martin; Law, Effie Lai-Chong; Springett, MarkConference Paper
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 176
 next >