3387 search results - page 406 / 678 » Model-Checking for Real-Time Systems |
197
click to vote
IJAOSE
2010
15 years 4 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
204
Voted
FMICS
2007
Springer
16 years 1 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...
195
Voted
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
We describe Quality of service pICKER (QUICKER), a model-driven QoS mapping toolchain for supporting the QoS design and evolution of systems software. QUICKER automates the mappin...
207
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
189
click to vote
ECLIPSE
2007
ACM
15 years 11 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...