199 search results - page 26 / 40 » Detecting Global Predicates in Distributed Systems with Cloc... |
135
Voted
PODC
2000
ACM
15 years 7 months ago
2000
ACM
We present an approach for merging message streams from producers distributed over a network, using a deterministic algorithm that is independent of any nondeterminism of the syst...
149
Voted
CODES
2010
IEEE
15 years 6 days ago
2010
IEEE
This paper presents an approach to system-level optimization of error detection implementation in the context of fault-tolerant realtime distributed embedded systems used for safe...
109
click to vote
PROMAS
2005
Springer
15 years 9 months ago
2005
Springer
The paper presents a way to robustly command a system of systems as a single entity. Instead of modeling each component system in isolation and then manually crafting interaction p...
137
click to vote
TEC
2002
15 years 3 months ago
2002
With increased global interconnectivity, reliance on e-commerce, network services, and Internet communication, computer security has become a necessity. Organizations must protect ...
157
Voted
ICAS
2008
IEEE
15 years 10 months ago
2008
IEEE
—The purpose of this paper is to present the linkage of Thetis (a real time multi-vehicles hybrid simulator for heterogeneous vehicles) with a control architecture for the manage...