2875 search results - page 473 / 575 » Model checking agentspeak |
117
Voted
CHARME
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
138
Voted
MIDDLEWARE
2004
Springer
15 years 7 months ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
137
click to vote
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
115
Voted
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...
112
click to vote
STACS
1999
Springer
15 years 6 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...