1268 search results - page 70 / 254 » Verifying distributed systems: the operational approach |
158
click to vote
ICCS
2004
Springer
2004
Springer
Distributed Collaborative Adaptive Sensing for Hazardous Weather Detection, Tracking, and Predicting
15 years 11 months ago
A new data-driven approach to atmospheric sensing and detecting/ predicting hazardous atmospheric phenomena is presented. Dense networks of small high-resolution radars are deploye...
185
click to vote
FORMATS
2004
Springer
15 years 11 months ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
152
click to vote
HYBRID
2010
Springer
16 years 29 days ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
161
click to vote
RTSS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we present an approach for QoS management that can be applied to a general class of real-time distributed computation systems. In the proposed approach a switching h...
147
click to vote
ASYNC
2007
IEEE
15 years 10 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...