3387 search results - page 366 / 678 » Model-Checking for Real-Time Systems |
243
Voted
ESAW
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
217
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
The reactivity of Networked Automation Systems (NAS) has direct influence on safety and quality aspects. It can be determined by a response time analysis, which itself can be calc...
183
click to vote
ECLIPSE
2006
ACM
15 years 11 months ago
2006
ACM
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...
188
click to vote
ICMCS
2010
IEEE
15 years 8 months ago
2010
IEEE
Though the variety of desktop real time stereo vision systems has grown considerably in the past several years, few make any verifiable claims about the accuracy of the algorithms...
210
click to vote
ENTCS
2006
15 years 7 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...