5326 search results - page 295 / 1066 » On what we can ensure |
163
click to vote
ADAEUROPE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
141
click to vote
CBSE
2005
Springer
16 years 6 days ago
2005
Springer
The concept of responsibility aims at making a computing system trustworthy for its users despite the fact that failures of IT systems cannot be completely excluded. The presented ...
153
click to vote
ESORICS
2005
Springer
16 years 6 days ago
2005
Springer
Distributed Hash Tables (DHTs) are very efficient distributed systems for routing, but at the same time vulnerable to disruptive nodes. Designers of such systems want them used in ...
153
click to vote
SEKE
2005
Springer
16 years 4 days ago
2005
Springer
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems,...
153
click to vote
PODC
2004
ACM
16 years 2 days ago
2004
ACM
We describe a load-balancing mechanism for assigning elements to servers in a distributed data structure that supports range queries. The mechanism ensures both load-balancing wit...