12981 search results - page 489 / 2597 » Model Checking (Abstract) |
118
click to vote
CEEMAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract In this work we describe the development process of multiagent application design and implementation with Mulan. Our approach can be characterized as model driven developm...
137
Voted
IJCAI
2003
15 years 6 months ago
2003
We present a new general framework for online istic plan recognition called the Abstract Hidden Markov Memory Model (AHMEM). The l is an extension of the existing Abstract Hidden ...
100
Voted
FASE
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Pure methods and model fields are useful and common speci
150
click to vote
ESORICS
2002
Springer
16 years 4 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
160
click to vote
FM
2009
Springer
15 years 9 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...