726 search results - page 19 / 146 » Formal Verification and Validation of Interactive Systems Sp... |
FIW
2009
13 years 6 months ago
2009
Abstract. We explore and discuss different ways of expressing service specifications in the context of home automation systems implemented on OSGiTM. We found that the approach use...
BIRTHDAY
2007
Springer
14 years 14 days ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
FAABS
2004
Springer
14 years 5 days ago
2004
Springer
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
RSP
1998
IEEE
14 years 21 days ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
CONCUR
2006
Springer
14 years 5 days ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...