Program (Provisional)
The workshop program includes 17 full papers and 10 short papers selected from 51 submissions; as well as 2 invited talks, a panel and potentially some Birds of a Feather sessions (to be announced).
Wednesday 4th June 2003
08:30 - 09:15 Sign-in and Coffee
09:15 - 09:30 Welcome, Hanan Lutfiyya, Workshop Chair
09:30 - 10:30 Keynote, Andrea Westerinen (Chair: Morris Sloman)
Title: What Is Policy? And, What Can It Be? (Abstract) (Presentation)
10:30 - 11:00 Coffee
11:00 - 12:30 Specification and Analysis (Chair: Jonathan Moffet)
Chisel: A Policy-Driven, Context-Aware, Dynamic Adaptation Framework: John Keeney, Vinny Cahill
Using UML and Maude for Writting and Reasoning about ODP Policies: Francisco Duran, Javier Herrador, Antonio Vallecillo
Using Event Calculus to Formalise Policy Specification and Analysis: Arosha Bandara, Emil Lupu, Alessandra Russo
12:30 - 13:45 Lunch
13:45 - 15:15 Networks and Mobile Systems (Chair: Francisco Garcia)
Prediction-Based Policy Adaptation for QoS Management in Wireless Networks: Nancy Samaan, Ahmed Karmouch
PECAN: Policy-Enabled Configuration Across Networks: Ritu Chadha, Yuu-Heng Cheng, Narayanan Natarajan, Alex Povlisher, Shrirang Gadgil, Abdelhakin Hafid
A Policy Language for Pervasive Systems: Lalana Kagal, Tim Finin
15:15 - 15:45 Coffee
15:45 - 17:15 Short Papers 1 (Chair: Marcus Brunner)
Analysis of Integrity Policies using Soft Constraints: Stefano Bistarelli, Simon N Foley
Trust-X: an XML Framework for Trust Negotiations: Elisa Bertino, Elena Ferrari, Anna Cinzia Squicciarini
Policy-based Information Management for the Joint BattleSpace Infosphere
|