5012 search results - page 380 / 1003 » Distributed Error Correction |
178
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
169
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
An algorithm M is described that solves any well-defined problem p as quickly as the fastest algorithm computing a solution to p, save for a factor of 5 and loworder additive term...
209
click to vote
VLDB
2010
ACM
15 years 5 months ago
2010
ACM
According to the database outsourcing model, a data owner delegates database functionality to a thirdparty service provider, which answers queries received from clients. Authentic...
150
click to vote
PDCAT
2005
Springer
16 years 6 days ago
2005
Springer
Chocolat/SMV is a translator that takes a CafeOBJ specification of a transition system called an OTS and generates an SMV specification of a finite version of the OTS. The prim...
171
click to vote
DCOSS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we examine several localization algorithms and evaluate their robustness to attacks where an adversary attenuates or amplifies the signal strength at one or more lan...