8492 search results - page 607 / 1699 » Modelling and Design of Multi-Agent Systems |
204
click to vote
TSE
2008
15 years 7 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
216
click to vote
EMSOFT
2008
Springer
15 years 9 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
193
click to vote
CGF
2008
15 years 7 months ago
2008
A knitted animal is made of a closed surface consisting of several knitted patches knitted out of yarn and stuffed with cotton (Fig. 1). We introduce a system to create a knitting...
282
click to vote
WRLA
2010
15 years 5 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
201
click to vote
SEUS
2008
IEEE
16 years 1 months ago
2008
IEEE
The concepts of Autonomic and Organic Computing (AC/OC) promise to make modern computer systems more secure and easier to manage. In this paper, we extend the observer/controller a...