4290 search results - page 689 / 858 » Formal Approaches to Teamwork |
181
click to vote
ESORICS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
158
click to vote
ESWS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...
147
click to vote
FASE
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
176
click to vote
FSEN
2007
Springer
16 years 20 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
156
click to vote
GECCO
2007
Springer
16 years 20 days ago
2007
Springer
This paper formally presents the resident physician scheduling problem, which is one of the most important scheduling problems in hospital. The resident physician scheduling probl...