4343 search results - page 298 / 869 » Replication Techniques for Availability |
152
click to vote
ENTCS
2008
15 years 6 months ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
150
click to vote
JOT
2006
15 years 6 months ago
2006
The cryptographic classes incorporated into Sun's releases of the Java Virtual Machine are often used in e-commerce and other applications. A mechanism exists for signing a J...
181
click to vote
ALIFE
2004
15 years 6 months ago
2004
The Avida digital evolution platform is a software tool used to perform experimental evolution research with self-replicating computer programs ("digital organisms"). Av...
185
click to vote
IVC
2000
15 years 6 months ago
2000
This paper provides a review on techniques for computing a three-dimensional model of a scene from a single moving camera, with unconstrained motion and unknown parameters. In the...
141
click to vote
IR
2002
15 years 6 months ago
2002
Adaptive filtering of news is an area of information retrieval gaining substantial interest as services become more available on the Internet. This paper reports on a number of ex...