813 search results - page 76 / 163 » Correctness Properties for Multiagent Systems |
123
click to vote
RV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We consider monitoring and checking formally specified properties in a network. We are addressing the problem of deploying the checkers on different network nodes that ...
153
Voted
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
124
click to vote
SIAMSC
2008
15 years 3 months ago
2008
The correct formulation of numerical models for free-surface hydrodynamics often requires the solution of special linear systems whose coefficient matrix is a piecewise constant fu...
132
click to vote
FTRTFT
2000
Springer
15 years 7 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
114
click to vote
IEEEARES
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper we show that it is possible to implement a perfect failure detector P (one that detects all faulty processes if and only if those processes failed) in a non-synchr...