2607 search results - page 75 / 522 » On the Architecture of System Verification Environments |
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
EDUTAINMENT
2009
Springer
15 years 6 months ago
2009
Springer
This paper addresses the issues of distributed interactions in a simulation based medial training environment, where a team of doctors, nurses and assistants are trained for handli...
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents a new technology that accelerates system verification. In a real life example, we achieved a speed-up of a factor of about 5000. The key for this speed-up is a...
DSN
2004
IEEE
15 years 3 months ago
2004
IEEE
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
In order to address challenges and opportunities of engineering information systems for network-centric warfare, we have developed a prototype for trustworthy and sustainable oper...