1652 search results - page 193 / 331 » A performance analysis of local synchronization |
150
click to vote
ICMI
2005
Springer
15 years 12 months ago
2005
Springer
This paper addresses the problem of detecting interaction groups in an intelligent environment. To understand human activity, we need to identify human actors and their interperso...
220
click to vote
ALGOSENSORS
2004
Springer
15 years 12 months ago
2004
Springer
WiseMAC is a medium access control protocol designed for wireless sensor networks. This protocol is based on non-persistent CSMA and uses the preamble sampling technique to minimiz...
159
click to vote
ISOLA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
162
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
Distributed applications can fail in subtle ways that depend on the state of multiple parts of a system. This complicates the validation of such systems via fault injection, since...
149
click to vote
SRDS
1999
IEEE
15 years 10 months ago
1999
IEEE
Validating distributed systems is particularly difficult, since failures may occur due to a correlated occurrence of faults in different parts of the system. This paper describes ...