10038 search results - page 337 / 2008 » Model Checking for Managers |
140
click to vote
WSC
2004
15 years 8 months ago
2004
Traffic Flow Management (TFM) actions are commonly used to mitigate capacity/demand imbalances within the National Airspace System (NAS). Modeling TFM events has proven challengin...
185
click to vote
NJC
2006
15 years 6 months ago
2006
Object-oriented frameworks play an essential role in the implementation of product-line architectures (PLAs) for product families. However, recent case studies reveal that deriving...
205
click to vote
EUROIMSA
2006
15 years 8 months ago
2006
The delivery and adaptation of multimedia content in distributed and heterogeneous environments requires flexible control and management mechanisms in terminals and in control ent...
218
click to vote
LOCA
2005
Springer
16 years 6 days ago
2005
Springer
Services in pervasive computing systems must evolve so that they become minimally intrusive and exhibit inherent proactiveness and dynamic adaptability to the current conditions, u...
236
click to vote
MC
2001
15 years 8 months ago
2001
The computer support of cooperation and knowledge production across socially distributed activity systems has become an important topic in the context of the discourse on ,,knowle...