238 search results - page 26 / 48 » replication 2010 |
107
click to vote
FORTE
2010
15 years 1 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
76
Voted
LREC
2010
15 years 1 months ago
2010
The manual transcription of human gesture behavior from video for linguistic analysis is a work-intensive process that results in a rather coarse description of the original motio...
130
click to vote
ENTCS
2006
15 years 13 days ago
2006
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
97
Voted
DPD
2002
15 years 6 days ago
2002
This paper discusses the currency management mechanisms used in Deno, a replicated object storage system designed for use in mobile and weakly-connected environments. Deno primari...
110
click to vote
EL
2002
15 years 6 days ago
2002
Distributed, real-time multiplayer computer games (MCGs) are in the vanguard of utilizing the networking possibilities. Although related research have been done in military simulat...