955 search results - page 27 / 191 » Model Checking Operator Procedures |
DSRT
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
WSC
2004
13 years 10 months ago
2004
An entire emergency department of a general hospital is simulated to examine patient flows. First, times needed for both outpatients and patients arriving via ambulance to be proc...
FORMATS
2006
Springer
14 years 8 days ago
2006
Springer
In this paper we describe an extension of timed automata with priorities, and efficient algorithms to compute subtraction on DBMs (difference bounded matrices), needed in symbolic ...
SIGOPS
2008
13 years 8 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
EDOC
2006
IEEE
14 years 2 months ago
2006
IEEE
— It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines a...