Sciweavers

7766 search results - page 269 / 1554
» Testing Nondeterminate Systems
Sort
View
OSDI
2006
ACM
16 years 6 months ago
EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy...
Junfeng Yang, Can Sar, Dawson R. Engler
WIOPT
2005
IEEE
16 years 5 days ago
Analysis of a Reputation System for Mobile Ad-Hoc Networks with Liars
Using decentralized reputation systems is a promising approach to ensuring cooperation and fairness in Mobile Ad-Hoc Networks. However, they are vulnerable to liars and robustness...
Jochen Mundinger, Jean-Yves Le Boudec
SIAMCO
2002
86views more  SIAMCO 2002»
15 years 6 months ago
On the Observability and Detectability of Continuous-Time Markov Jump Linear Systems
The paper introduces a new detectability concept for continuous-time Markov jump linear systems with finite Markov space that generalizes previous concepts found in the literature....
Eduardo F. Costa, João Bosco Ribeiro do Val
JAISE
2010
141views Algorithms» more  JAISE 2010»
15 years 1 months ago
Emulation framework for the design and development of active RFID tag systems
The design and development of active RFID tag systems requires several iterations, and thorough testing in order to ensure that the prototype systems behave as intended. Facilitati...
Razvan Beuran, Junya Nakata, Tetsuya Kawakami, Tak...
170
Voted
AGENTS
2001
Springer
15 years 11 months ago
CMPack: a complete software system for autonomous legged soccer robots
This paper describes a completely implemented, fully autonomous software system for soccer playing quadruped robots. The system includes real-time color vision, probabilistic loca...
Scott Lenser, James Bruce, Manuela M. Veloso