955 search results - page 47 / 191 » Model Checking Operator Procedures |
149
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
142
click to vote
ATVA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
120
click to vote
ICLP
1995
Springer
15 years 5 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
141
click to vote
ENTCS
2008
15 years 2 months ago
2008
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
117
click to vote
FMICS
2007
Springer
15 years 8 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...