1624 search results - page 70 / 325 » Modelling Variability for System Families |
AAAI
2004
13 years 10 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
BERTINORO
2005
Springer
14 years 2 months ago
2005
Springer
Current computing environments are becoming increasingly complex in nature and exhibit unpredictable workloads. These environments create challenges to the design of systems that c...
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
In the last decades enormous advances have been made possible for modelling complex (physical) systems by mathematical equations and computer algorithms. To deal with very long run...
TIME
1994
IEEE
14 years 26 days ago
1994
IEEE
: In this paper we explain how we have integrated the functionalities of a constraint management system and a temporal data base system to enable a model-based control of systems t...
EUC
2006
Springer
14 years 12 days ago
2006
Springer
As the ever-increasing gap between the speed of processor and the speed of memory has become the cause of one of primary bottlenecks of computer systems, modern architecture system...