2468 search results - page 175 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
174
Voted
ECRTS
2006
IEEE
15 years 10 months ago
2006
IEEE
There is an increasing demand to introduce adaptive capabilities in distributed real-time and embedded (DRE) systems that execute in open environments where system operational con...
160
click to vote
ADAEUROPE
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...
140
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
121
click to vote
ICTAI
2003
IEEE
15 years 9 months ago
2003
IEEE
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
127
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
The concept of distributed transmit beamforming is implicit in many key results of network information theory. However, its implementation in a wireless network involves the funda...