1660 search results - page 198 / 332 » Reliable Communication in VPL |
170
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
179
click to vote
PERVASIVE
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we introduce a new distributed algorithm for location discovery. It can be used in wireless ad-hoc sensor networks that are equipped with means of measuring the dista...
156
click to vote
P2P
2003
IEEE
15 years 11 months ago
2003
IEEE
The effectiveness of reputation systems for peer-to-peer resource-sharing networks is largely dependent on the reliability of the identities used by peers in the network. Much deb...
127
click to vote
HOTI
2002
IEEE
15 years 11 months ago
2002
IEEE
A radio network is described for configuring, monitoring, and diagnosing the components of a computer system. Such a network offers several advantages: (a) it improves the robustn...
160
click to vote
ADAEUROPE
2010
Springer
15 years 11 months ago
2010
Springer
The technology for building dependable computing systems has advanced dramatically. Nevertheless, there is still no complete solution to building software for critical systems in w...