5012 search results - page 327 / 1003 » Distributed Error Correction |
308
click to vote
CASCON
2010
15 years 3 months ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
148
click to vote
IPPS
2006
IEEE
16 years 20 days ago
2006
IEEE
Developing algorithms for sensor networks—and proving their correctness and performance—, requires simplifying but still realistic models. This paper surveys various models in...
162
click to vote
PDCAT
2004
Springer
15 years 12 months ago
2004
Springer
Network topology has no direct effect on the correctness of network protocols, however, it influences on the performance of networks and the survivability of the networks under at...
151
click to vote
ASM
2000
ASM
15 years 11 months ago
2000
ASM
Abstract. We look at some sources of insecurity and difficulty in reasoning about partially ordered runs of distributed ASMs, and propose some techniques to facilitate such reasoni...
145
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weak late open congruenc...