3368 search results - page 503 / 674 » The Complexity of Query Reliability |
143
Voted
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
117
click to vote
ADAEUROPE
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
123
Voted
ADHOCNOW
2005
Springer
15 years 8 months ago
2005
Springer
We present the Ad-hoc On-demand Secure Routing (AOSR) protocol, which uses pairwise shared keys between pairs of mobile nodes and hash values keyed with them to verify the validity...
130
Voted
EGC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The promise of the grid is that it will enable public access and sharing of immense amounts of computational and data resources among dynamic coalitions of individuals an...
110
Voted
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
The size and complexity of systems based on multiple processing units demand techniques for the automatic diagnosis of their state. System-level diagnosis consists in determining ...