5600 search results - page 811 / 1120 » Synthesizing robust systems |
175
click to vote
ACSAC
2003
IEEE
16 years 9 hour ago
2003
IEEE
Methods are presented to increase resiliency to server failures by migrating long running, secure TCP-based connections to backup servers, thus mitigating damage from servers disa...
161
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we describe an application of OCR techniques to quality control in industrial production. The purpose of the system is to verify the correct printing of numerical in...
152
click to vote
SRDS
2003
IEEE
15 years 12 months ago
2003
IEEE
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...
182
click to vote
CASES
2003
ACM
15 years 12 months ago
2003
ACM
The proliferation of computing technology to low power domains such as hand–held devices has lead to increased interest in portable interface technologies, with particular inter...
164
Voted
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. A self-organising system functions without central control, and through contextual local interactions. Components achieve a simple task individually, but a complex collec...