Sciweavers

17552 search results - page 302 / 3511
» Signal-regulated systems and networks
Sort
View
ICRA
2009
IEEE
185views Robotics» more  ICRA 2009»
16 years 1 months ago
Ad-hoc wireless network coverage with networked robots that cannot localize
— We study a fully distributed, reactive algorithm for deployment and maintenance of a mobile communication backbone that provides an area around a network gateway with wireless ...
Nikolaus Correll, Jonathan Bachrach, Daniel Vicker...
PERCOM
2006
ACM
16 years 6 months ago
Plan B: An Operating System for Ubiquitous Computing Environments
The conventional approach for building pervasive environments relies on middleware to integrate different systems. Instead, we have built a system that can deal with these environ...
Francisco J. Ballesteros, Enrique Soriano, Katia L...
DSN
2005
IEEE
16 years 12 days ago
Model-Based Failure Analysis of Journaling File Systems
We propose a novel method to measure the dependability of journaling file systems. In our approach, we build models of how journaling file systems must behave under different jo...
Vijayan Prabhakaran, Andrea C. Arpaci-Dusseau, Rem...
ECMDAFA
2007
Springer
100views Hardware» more  ECMDAFA 2007»
16 years 29 days ago
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
Andreas Ulrich, Alexandre Petrenko
SETN
2004
Springer
16 years 4 days ago
A Multi-agent System for Microgrids
Abstract. This paper presents the capabilities offered by MultiAgent System technology in the operation of a Microgrid. A Microgrid is a new type of power system, which is formed b...
Aris Dimeas, Nikos D. Hatziargyriou