4211 search results - page 701 / 843 » A formal approach to MASQ |
147
click to vote
FASE
2007
Springer
16 years 19 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...
175
click to vote
FSEN
2007
Springer
16 years 19 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...
155
click to vote
GECCO
2007
Springer
16 years 19 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...
161
click to vote
GPCE
2007
Springer
16 years 19 days ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...
151
click to vote
GTTSE
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recogniz...