1729 search results - page 194 / 346 » Generic Haskell: Applications |
151
click to vote
LCN
2005
IEEE
15 years 12 months ago
2005
IEEE
Reliable Server Pooling (RSerPool) is a protocol framework for server redundancy and session failover, currently under standardization by the IETF RSerPool WG. While the basic ide...
149
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
159
click to vote
APPROX
2005
Springer
15 years 12 months ago
2005
Springer
There has been significant interest lately in the task of constructing codes that are testable with a small number of random probes. Ben-Sasson and Sudan show that the repeated te...
182
click to vote
ARCS
2005
Springer
15 years 12 months ago
2005
Springer
This paper examines how methods inspired by biological processes can be applied to the design of large-scale environment-aware sensor networks. Our ultimate goal are systems conta...
169
click to vote
CAISE
2005
Springer
15 years 12 months ago
2005
Springer
Service-Oriented architectures and Service-Oriented Computing are the most recent approaches aiming at facilitating the design and development of applications on distributed system...