|
Context & Location (15/6, 11:30-13:00) |
| 150 |
"Towards Real-Time Middleware for Applications of Vehicular Ad Hoc
Networks", René Meier, Barbara Hughes, Raymond Cunningham, and Vinny Cahill |
| 156 |
"Adaptive context management using a component-based approach", Davy Preuveneers and Yolande Berbers |
| 171 |
"Customised Billing for Location-based Services",
Maria Koutsopoulou, Spyridon Panagiotakis, Athanassia Alonistioti, Alexandros Kaloxylos
|
|
Interoperability architectures 15/6, 14:30-16:00) |
| 145 |
"Interoperability and eServices", Aphrodite Tsalgatidou, Eleni Koutrouli |
| 152 |
"Model-Driven Self-Management of Legacy Applications",
Markus Debusmann, Markus Schmid, Reinhold Kroeger |
| 157 |
"Loosely-Coupled Integration of CSCW Systems", Roberta L. Gomes, Guillermo J. Hoyos Rivera, Jean Pierre Courtiat |
|
Performance & Optimization (15/6, 16:30-18:00) |
| 155 |
"A Client/Intercept Based System for Optimizing Wireless Access to
Web Services", Irene Kilanioti, Georgia Sotiropoulou, Stathes Hadjiefthymiades |
| 159 |
"Optimizing the Access to Read-Only Data in Grid Computing", Alek Opitz, Hartmut Koenig |
| 183 |
Using Data Item Relationships to Adaptively Select Data for Synchronization |
|
Methodological Aspects (16/6, 9:30-11:30) |
| 160 |
"How to implement Software Connectors? A Reusable, Abstract and Adaptable
Proposal", Selma Matougui and Antoine Beugnard |
| 161 |
"Model-Driven Methodology for Building QoS-Optimised Web Service Compositions",
Roy Gronmo and Michael C. Jaeger |
| 162 |
"Designing Self-Adaptive Multimedia Applications", Oussama Layaida, Daniel Hagimont |
| 176 |
"Transformation Composition Framework", Jon Oldevik |
|
Service Discovery (16/6, 14:30-15:30) |
| 148 |
"Enriching UDDI Information Model with an Integrated Service Profile",
Natenapa Sriharee, Twittie Senivongse, Chayan Teppaboot |
| 149 |
"Proximity-Based Service Discovery in Mobile Ad Hoc Networks",
René Meier, Vinny Cahill, Andronikos Nedos, and Siobhán Clarke
|
|
Configurable Communication (17/6, 11:30-13:00) |
| 136 |
"A Secure and Efficient Communication Resume Protocol for Secure Wireless
Networks", Kihong Kim, Jinkeun Hong, Jongin Lim |
| 158 |
"Building a Configurable Publish/Subscribe Notification Service",
Cristian Fiorentino and Mariano Cilia and Ludger Fiege and Alejandro Buchmann
|
| 184 |
"Protocol Reconfiguration using Component-based Design",
Fotis Foukalas, Yiorgos Ntarladimas, Aristotelis Glentis, Zachos Boufidis |
|
Interoperability architectures II (17/6, 14:30-16:00) |
| 141 |
"An Architecture for Collaborative Scenarios using a common BPMN-Repository",
Thomas Theling, Jörg Zwicker, Peter Loos, Dominik Vanderhaeghen
|
| 151 |
"A Flexible and Modular Framework for Implementing Infrastructures
for Global Computing", Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti |
| 172 |
"An architecture for implementing application interoperation with heterogeneous
systems", George Hatzisymeon, Nikos Houssos, Dimitris Andreadis, Vasilis Samoladas |
|
Models & Calculi (15/6, 11:30-13:00) |
| 15 |
"A Dynamic Class Construct for Asynchronous Concurrent Objects",
Einar Johnsen, Olaf Owe, Isabelle Simplot-Ryl |
| 24 |
"An Abstract Machine for the Kell Calculus",
Philippe Bidinger, Alan Schmitt, Jean-Bernard Stéfani |
| 19 |
"XPi: a typed process calculus for XML messaging", Lucia Acciai, Michele Boreale |
|
UML (15/6, 14:30-16:00) |
| 13 |
"Checking the validity of scenarios in UML models", Holger Rasch , Heike Wehrheim |
| 36 |
"An extended type system for OCL supporting templates and transformations", Marcel Kyas |
| 45 |
"A Semantics for UML-RT Active Classes via Mapping into Circus", Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
|
|
Security (15/6, 16:30-17:30) |
| 46 |
"A uniform approach for the analysis of security protocols and access
control systems", Fabio Martinelli |
| 39 |
"Security Analysis of Parlay/OSA Framework",
Gabriele Lenzini, Gaetano Di Caprio, Corrado Moiso, Ricardo Corin, Sandro Etalle, Stefania Gnesi |
|
Composition & Verification (16/6, 10:00-11:30) |
| 12 |
"Tracing integration analysis in component-based formal specifications",
Martin Lopez-Nores, Jose Pazos-Arias, Jorge Garcia-Duque,
Belen Barragans-Martinez, Rebeca Diaz-Redondo, Ana Fernandez-Vilas,
Alberto Gil Solla, Manual Ramos Cabrer
|
| 27 |
"Ensuring Safe Around Advice Composition", Renaud Pawlak, Laurence Duchien, Lionel Seinturier |
| 40 |
"Guaranteeing Resource Bounds for Component Software", Hoang Truong |
|
Analysis of Java Programs (16/6, 14:30-15:30) |
| 28 |
"Specification and Verification of Encapsulation in Java Programs", Andreas Roth
|
| 32 |
"Detecting Errors in Concurrent Java Programs by Generalized Predictive
Analysis of Executions", Koushik Sen, Grigore Rosu, Gul Agha |
|
Web Services (17/6, 11:30-13:00) |
| 5 |
"Transforming information in RDF to rewriting logic",
Margarita Bradley, Luis Llana, Narciso Marti-Oliet, Tomas Robles, Joaquin Salvachua, Alberto Verdejo |
| 35 |
"Modeling- and analysis techniques for Web services and Business", Wolfgang Reisig
|
| 41 |
"A Distributed Implementation of Mobile Nets as Mobile Agents", Nadia Busi, Luca Padovani
|
|
Specification & Verification (17/6, 14:30-16:00) |
| 14 |
"On Correctness of Dynamic Protocol Update", Pawel Wojciechowski, Olivier Rutti |
| 17 |
"Property Driven Development of a Coordination Model for Distributed
Simulations", Rolf Hennicker, Matthias Ludwig |
| 20 |
"Timing Analysis of AODV", Sibusisiwe Chiyangwa, Marta Kwiatkowska |