10038 search results - page 301 / 2008 » Model Checking for Managers |
145
click to vote
CHARME
2005
Springer
16 years 6 days ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
170
click to vote
FASE
2005
Springer
16 years 5 days ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
160
click to vote
FTCS
1993
15 years 8 months ago
1993
Fault tolerance requirements for near term disk array storage systems are analyzed. The excellent reliability provided by RAID Level 5 data organization is seen to be insu cient f...
213
click to vote
ICSOC
2009
Springer
15 years 4 months ago
2009
Springer
Identifying, gathering, and maintaining information on the current, planned, and target states of the architecture of an enterprise is one major challenge of enterprise architectur...
210
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
The analysis of workflow meta models aims at a problem that frequently occurs during the selection of a workflow management system