813 search results - page 74 / 163 » Correctness Properties for Multiagent Systems |
152
click to vote
ENTCS
2006
15 years 3 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
137
click to vote
FDL
2006
IEEE
15 years 10 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
157
click to vote
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
The paper deals with the problem of reconstructing the tree-like topological structure of a network of linear dynamical systems. A distance function is defined in order to evaluat...
120
click to vote
RTSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Consensus is known to be a fundamental problem in fault-tolerant distributed systems. Solving this problem provides the means for distributed processes to agree on a single value....
151
click to vote
COLCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—For a complex distributed system to be dependable, it must be continuously monitored, so that its failures and imperfections can be discovered and corrected in a timely ...