Pre   DAIS-FMOODS   Tutorials
Tuesday 18 NOVEMBER 2003
Tutorial A

Context Aware Systems for Pervasive Computation

Jadwiga Indulska

Tutorial B

Developing Security Critical Distributed Systems with UML: Methods and Tools

Jan Jurjens


Tutorial C

Semantic Web enabled Web Services

Rubén Lara Hernández,
Christoph Bussler


Tutorial D

Action-based Model Checking 
(and its applications to distributed, mobile, object-oriented systems)

Alessandro Fantechi, 
Stefania Gnesi