5012 search results - page 691 / 1003 » Distributed Error Correction |
240
click to vote
BANFF
1995
15 years 10 months ago
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
179
click to vote
ICDCS
1995
IEEE
15 years 10 months ago
1995
IEEE
One of the mostsoughtaftersoftware innovation of thisdecade is the construction of systems using off-the-shelf workstations that actually deliver, and even surpass, the power and ...
207
click to vote
DCOSS
2010
Springer
15 years 10 months ago
2010
Springer
A number of protocols have been proposed to date to defend against wormhole attacks in wireless networks by adopting synchronized clocks, positioning devices, or directional antenn...
191
click to vote
ANTSW
2008
Springer
15 years 8 months ago
2008
Springer
We present a distributed control strategy that lets a swarm of satellites autonomously form a lattice in orbit around a planet. The system, based on the artificial potential field ...
188
click to vote
BIBM
2008
IEEE
15 years 8 months ago
2008
IEEE
The evolutionary histories of viral genomes have received significant recent attention due to their importance in understanding virulence and the corresponding ramifications to pu...