1268 search results - page 19 / 254 » Verifying distributed systems: the operational approach |
AINA
2006
IEEE
14 years 3 months ago
2006
IEEE
With the huge number of information sources available on the Internet, Peer-to-Peer (P2P) systems offer a novel kind of system architecture providing the large-scale community wit...
IJCAI
1989
13 years 11 months ago
1989
We address two issues which arise in the task of detecting anomalous behavior in complex systems with numerous sensor channels: how to adjust alarm thresholds dynamically, within ...
ICDE
2006
IEEE
14 years 11 months ago
2006
IEEE
To use their pool of resources efficiently, distributed stream-processing systems push query operators to nodes within the network. Currently, these operators, ranging from simple...
EUROPAR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Ever-increasing demand for computing capability is driving the construction of ever-larger computer clusters, soon to be reaching tens of thousands of processors. Many fu...
SRDS
2007
IEEE
14 years 4 months ago
2007
IEEE
Sensors that operate in an unattended, harsh or hostile environment are vulnerable to compromises because their low costs preclude the use of expensive tamper-resistant hardware. ...