955 search results - page 100 / 191 » Model Checking Operator Procedures |
128
Voted
UML
2005
Springer
15 years 6 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
105
Voted
WICSA
2008
15 years 2 months ago
2008
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
140
click to vote
RR
2009
Springer
15 years 5 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
WSC
2001
15 years 2 months ago
2001
This paper presents a simulation model of the operations in the Labor and Delivery Rooms at Jackson Memorial Hospital. A thorough analysis of the contents of hospital's datab...
FORMATS
2003
Springer
15 years 6 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...