Conference Papers & Presentations, Dept. of Computer Science : [131] 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 131
 next >
First PublishedTitleAuthor(s)Type
2015Maximizing Throughput in Energy-Harvesting Sensor NodesFung, Ping YuenConference Paper
30-Mar-2010Modeling and reasoning over distributed systems using aspect-oriented graph grammarsMachado, Rodrigo; Heckel, Reiko; Ribeiro, LeilaConference Paper
3-Dec-2009Towards an embedding of Graph Transformation in Intuitionistic Linear LogicTorrini, Paolo; Heckel, ReikoConference Paper
14-Aug-2007From nondeterministic Buchi and Streett automata to deterministic parity automataPiterman, NirConference Paper
Dec-2014Reducing Idle Listening during Data Collection in Wireless Sensor NetworksRasul, Aram; Erlebach, ThomasConference Paper
23-Apr-2015Better Algorithms for Online Bin StretchingBöhm, Martin; Sgall, Jin; Stee, Rob van; Veselý, PavelConference Paper
2015The optimal absolute ratio for online bin packingBalogh, Janos; Békési, Jozsef; Dósa, Gyorgy; Sgall, Jiri; Stee, Rob vanConference Paper
2015On Automation of CTL* Verification for Infinite-State SystemsCook, B.; Khlaaf, H.; Piterman, NirConference Paper
16-Jul-2015Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression DataFisher, J.; Köksal, A. S.; Piterman, Nir; Woodhouse, S.Conference Paper
7-Dec-2014Performance and energy evaluation of RESTful web services in Raspberry PiNunes, L. H.; Nakamura, L. H. V.; De F. Vieira, H..; De O. Libardi, R. M.; De Oliveira, E. M.; Estrella, J. C.; Reiff-Marganiec, StephanConference Paper
12-Dec-2014Observing access control policies using scrabble gamesAhmad, S.; Abidin, S. Z. Z.; Omar, N.; Reiff-Marganiec, StephanConference Paper
5-Nov-2014Classifying Smart Objects using capabilitiesPérez Hernández, Marco E.; Reiff-Marganiec, StephanConference Paper
21-Nov-2014Design and implementation of fault tolerance techniques to improve QoS in SOAOliveira, E. M.; Estrella, J. C.; Kuehne, B. T.; Filho, D. M. L.; Adami, L. J.; Nunes, L. H.; Nakamura, L. H.; Libardi, R. M.; Souza, P. S. L.; Reiff-Marganiec, StephanConference Paper
21-Nov-2014A semantic approach for efficient and customized management of IaaS resourcesNakamura, L. H. V.; Estrella, J. C.; Santana, R. H. C.; Santana, M. J.; Reiff-Marganiec, StephanConference Paper
28-Oct-2014Managing access control policy from end user perspective in collaborative environmentAhmad, S.; Omar, N.; Abidin, S. Z. Z.; Reiff-Marganiec, StephanConference Paper
2-Jul-2014Performance Evaluation in a Cloud with the Provisioning of Different Resources ConfigurationsBatista, B. G.; Estrella, J. C.; Santana, M. J.; Santana, R. H. C.; Reiff-Marganiec, StephanConference Paper
2-Jul-2014Low-Latency Service Data Aggregation Using Policy ObligationsReiff-Marganiec, Stephan; Tilly, M.; Janicke, H.Conference Paper
2-Jul-2014PEESOS: A Web Tool for Planning and Execution of Experiments in Service Oriented SystemsNunes, L. H.; Vasconcelos Nakamura, L. H.; Tardiole Kuehne, B.; De Oliveira, E. M.; De O Libardi, R. M.; Junqueira Adami, L.; Estrella, J. C.; Reiff-Marganiec, StephanConference Paper
2-Jul-2014Providing Quality of Service on Services Selection Using Anycast TechniquesAdami, L. J.; Estrella, J. C.; De Oliveira, E. M.; Reiff- Marganiec, StephanConference Paper
2-Jul-2014A Utility-Aware Runtime Conflict Resolver for Composite Web servicesNing, X.; Xu, J.; Xu, N.; Reiff-Marganiec, StephanConference Paper
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 131
 next >