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