10038 search results - page 11 / 2008 » Model Checking for Managers |
101
click to vote
CONCUR
2003
Springer
15 years 4 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
ATVA
2005
Springer
15 years 5 months ago
2005
Springer
FBT
2000
15 years 1 months ago
2000
106
click to vote
EMSOFT
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
115
click to vote
WSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...