955 search results - page 59 / 191 » Model Checking Operator Procedures |
SIGDOC
1998
ACM
14 years 28 days ago
1998
ACM
The act-function-phase model systematically relates the acts of the dialogue at time-of-use to the acts of the dialogue between author and users at time-of-development. We show ho...
ICECCS
1995
IEEE
14 years 7 days ago
1995
IEEE
Design, performance management, and capacity planning of client/server applications in the commercial enterprise depends on the ability to model these distributed applications at ...
ASPDAC
2001
ACM
14 years 10 days ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
TACAS
2005
Springer
14 years 2 months ago
2005
Springer
Searching the state space of a system using enumerative and on-the-fly depth-first traversal is an established technique for model checking finite-state systems. In this paper, ...
MONET
2007
13 years 8 months ago
2007
We describe a prototype Context Aware Perioperative Information System to capture and interpret data in an operating room of the future. The captured data is used to construct the...