5012 search results - page 547 / 1003 » Distributed Error Correction |
169
Voted
CASCON
2007
15 years 8 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
170
click to vote
ICWS
2007
IEEE
15 years 8 months ago
2007
IEEE
Service composition has become an important paradigm for building distributed applications and e-business processes. While effort has been reported to verify a posteriori whether ...
168
Voted
SIROCCO
2004
15 years 8 months ago
2004
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with ef...
174
Voted
SSWMC
2004
15 years 8 months ago
2004
Steganalysis in the wide sense consists of first identifying suspicious objects and then further analysis during which we try to identify the steganographic scheme used for embedd...
158
Voted
JCP
2006
15 years 6 months ago
2006
We present a novel self-stabilizing version of Mazurkiewicz enumeration algorithm [1]. The initial version is based on local rules to enumerate nodes on an anonymous network. [2] p...