Pre   DAIS-FMOODS   events
TUESDAY 18 NOVEMBER 2003   -  WORKSHOPS & TUTORIALS

8h:30                                            Registration Desk Open

 

9:00-10:30

Tutorial A

Context Aware Systems for Pervasive Computation

Jadwiga Indulska

9:00-10:30

Tutorial B

Developing Security Critical Distributed Systems with UML: Methods and Tools

Jan Jurjens

 

9:15-10:30

 

Workshop on Adaptable Service Provision

 

9:00-10:45

 

 

PhD Workshop

 

Coffee Break

11:00-12:30

Tutorial A

Context Aware Systems for Pervasive Computation

Jadwiga Indulska

11:00-12:30

Tutorial B

Developing Security Critical Distributed Systems with UML: Methods and Tools

Jan Jurjens

 

9:00-10:30

 

Workshop on Adaptable Service Provision

11:05-12:45

 

PhD Workshop

 
Lunch

14:00-15:30

Tutorial C

Semantic Web enabled Web Services

Rubén Lara Hernández,
Christoph Bussler  

14:00-15:30

Tutorial D

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


Alessandro Fantechi, 
Stefania Gnesi

 

14:00-15:50

 

Workshop on Adaptable Service Provision

14:00-15:30

 

Workshop on Communication Abstractions for Distributed Systems

Coffee Break

16:00-17:30

Tutorial C

Semantic Web enabled Web Services

Rubén Lara Hernández,
Christoph Bussler  

16:00-17:30

Tutorial D

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


Alessandro Fantechi, 
Stefania Gnesi

 

16:15 -17:30

 

Workshop on Adaptable Service Provision

16:00-17:45

Workshop on Communication Abstractions for Distributed Systems

18:00-18:30 "Global Computing II. Follow-up Proactive initiative in 2004 of FET 
(Future and Emerging Technologies)"
Leonardo Flores
18:30
Welcome Cocktail

DAIS                 CONFERENCES PROGRAMS             FMOODS
WEDNESDAY     19 NOVEMBER 2003

8h:30                                                     Registration Desk Open

9:10-9:15                                            Opening

9:15 -10:15

Can concurrency and distribution become easy ?

Bertrand Meyer

Invited Talk

Coffee Break

10:45-12:30

Adaptation - Separation of Concerns

Towards a Framework for Self-Adaptive Component-Based Applications 

Pierre-Charles David,
Thomas Ledoux

A scheme for the introduction of 3rd party application specifc adaptation features in mobile service provision

Nikos Houssos, 
Nancy Alonistioti, 
Lazaros Merakos 

Brenda : Towards a composition framework for non orthogonal non functional properties 

Mikaël Beauvois

Meta-Programming middleware for distributed object computing (short paper) 

Peter Breitling

10:45-12:15

Models

Towards object-oriented graphs and grammars

Ana Paula Lüdtke Ferreira,
Leila Ribeiro

A Rewriting Based Model for Probabilistic Distributed Object Systems

Nirman Kumar, 
Koushik Sen,
José Meseguer,
Gul Agha

Engineering The SDL Formal Language Definition

Andreas Prinz,
Martin von Löwis

Lunch

13:45-15:45

Deployment

Middleware Support for Resource-Constrained Software Deployment

Nicolas Le Sommer,
Frédéric Guidec

Rational server selection for mobile agents 

Carsten Pils,
Stefan Diepolder

Facilitating the Portability of User Applications in Grid Environments

Paul Kolano

Negotiation as a Generic Component Coordination Primitive

Jean Marc Andreoli,
Stefania Castellani

13:45-14:45

Java's Integral Type in PVS

Bart Jacobs

Invited Talk

Coffee Break

16:15-17:45

Security - Transactions

Jironde: A Flexible Framework for Making Components Transactional

Marek Prochazka

A Security Architectural Approach for Risk Assessment using Multi-Agent Systems Engineering

Gustavo Santana Torrellas

Middleware Support for Non-repudiable Transactional Information Sharing between Enterprises (short paper)

Nick Cook,
Santosh Shrivastava,
Stuart Wheater

Adaptable Access Control Policies for Medical Information Systems (short paper)

Tine Verhanneman,
Liesbeth Jaco,
Bart De Win,
Frank Piessens,
Wouter Joosen

 

16:15-17:30

Logic and Verification

A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts

Cees Pierik,
Frank de Boer

Inheritance of temporal logic properties

Heike Wehrheim

Temporal logic based static analysis for non uniform behaviors

Matthias Colin, 
Xavier Thirioux,
Marc Pantel

THURSDAY    20 NOVEMBER 2003

9:00 -10:00

Middleware? Muddleware!

Keynote speakers

Andrew Herbert

 

Coffee Break

10:30 -12:15

Replication

Client-side Component Caching: A Flexible Mechanism for Optimized Component Attribute Caching 

Christoph Pohl,
Alexander Schill

A Variable Cache Consistency Protocol for Mobile Systems using Time-Locks

Abhinav Vora,
Zahir Tari,
Peter Bertok

DataWarp: Building applications which make progress in an inconsistent world 

Peter Henderson,
Robert Walters, 
Stephen Crouch, 
Qinglai Ni

Hand-Over Video Cache Policy for Mobile Users
(short paper)

D. Charlet,
P. Chatonnay, 
F. Spies

 

10:30 -12:00

Calculi

The Kell calculus: operational semantics and type system

Philippe Bidinger,
Jean-Bernard Stefani

A Calculus for Long Running Transactions

Laura Bocchi, 
Cosimo Laneve,
Gianluigi Zavattaro

Formal analysis of some timed security properties in wireless protocols

Roberto Gorrieri,
Fabio Martinelli,
Marinella Petrocchi,
Anna Vaccarelli

Lunch

13:45-14:45

Research Challenges of Autonomic Computing

David Chambliss

Invited Talk

Coffee Break

15:15-16:45

Networking and routing

Planning for Network-Aware Paths

Xiaodong Fu, 
Vijay Karamcheti

Integrating the Unreliable Multicast Inter-ORB Protocol in MJaco

Alysson Neves Bessani,
Lau Cheuk Lung,
Joni da Silva Fraga,
Alcides Calsavara 

A-Gate: A System of Relay and Translation Gateways for Communication among Heterogeneous Agents in Ad Hoc Wireless Environments 

L. K. Wickramasinghe,
S. Loke, A. Zaslavsky,
L. D. Alahakoon

15:15 -16:45

Java and .NET

Inductive Proof Outlines for Monitors in Java

Erika Abraham,
Frank de Boer,
Willem-Paul de Roever,
Martin Steffen

Proof Scores in the OTS/CafeOBJ Method

Kazuhiro Ogata,
Kokichi Futatsugi

Modeling the Evolution of .NET Programs

Susan Eisenbach,
Vladimir Jurisic,
Chris Sadler

Break

19:15
Bus departure for social event

FRIDAY    21 NOVEMBER 2003

9:00 -10:00

Domain Specific Languages: Components in a Semantic Framework

Alan Cameron Wills

Invited Talk

Coffee Break

10:15 -12:15

Discovery - Context-awareness - Ontology

Scalable Location Management for Context-Aware Systems

Jadwiga Indulska,
Ted McFadden,
Matthias Kind,
Karen Henricksen

CoOL:A Context Ontology Language to enable Contextual Interoperability

Thomas Strang,
Claudia Linnhoff-Popien,
Korbinian Frank

Discovering Web Services Using Behavioural Constraints and Ontology 

Natenapa Sriharee,
Twittie Senivongse

Requirements for Personal Information Agents in the Semantic Web (short paper)

Wolfgang Woerndl

Towards an Intuitive Interface for Tailored Service Compositions (short paper)

Steffen Higel,
Tony O'Donnell,
Dave Lewis,
Vincent Wade

 

10:30 -12:00

UML

On Mobility Extensions of UML Statecharts. A Pragmatic Approach

Diego Latella,
Mieke Massink

New Operators for the TURTLE Real-Time UML Profile

Christophe Lohr,
Ludovic Apvrille, 
Pierre de Saqui-Sannes,
Jean-Pierre Courtiat

Checking Consistency in UML Diagrams: Classes and State Machines

Holger Rasch,
Heike Wehrheim

Lunch

13:30 -15:00

Asynchronous Messenging

Context-Based Addressing: The Concept and an Implementation for Large-Scale Mobile Agent Systems Using Publish-Subscribe Event Notification

Seng Wai Loke,
Amir Padovitz,
Arkady Zaslavsky

Exploiting Proximity in Event-Based Middleware for Collaborative Mobile Applications

René Meier,
Vinny Cahill

A Flexible Middleware Layer for User-to-User Messaging 

Jan-Mark Wams,
Maarten van Steen

13:30 -15:00

Composition and Verification

Compositional verification using CADP of the Scalagent deployment protocol for software components

Frédéric Tronel,
Frédéric Lang,
Hubert Garavel

Verification of Distributed Object-Based Systems

Fernando Luis Dotti,
Luciana Foss,
Leila Ribeiro,
Osmar Marchi Santos

Design and Verification of Distributed Multi-media Systems

David Akehurst,
John Derrick,
Gill Waters

 
15:00

Closing Session