Sciweavers

1750 search results - page 69 / 350
» Research challenges of autonomic computing
Sort
View
IROS
2006
IEEE
109views Robotics» more  IROS 2006»
14 years 4 months ago
SUPERBOT: A Deployable, Multi-Functional, and Modular Self-Reconfigurable Robotic System
– Self-reconfigurable robots are modular robots that can autonomously change their shape and size to meet specific operational demands. Recently, there has been a great interest ...
Behnam Salemi, Mark Moll, Wei-Min Shen
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 2 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
WOWMOM
2009
ACM
146views Multimedia» more  WOWMOM 2009»
14 years 4 months ago
When opportunity proceeds from autonomy: A tour-based architecture for disconnected mobile sensors
We consider the case of sparse mobile sensors deployed to implement missions in challenging environments. This paper explores a notion of tour networks that is well suited to circ...
Michel Charpentier, Radim Bartos, Swapnil Bhatia
ICAC
2009
IEEE
14 years 4 months ago
Threat-model-driven runtime adaptation and evaluation of intrusion detection system
We present a mechanism for autonomous self-adaptation of a network-based intrusion detection system (IDS). The system is composed of a set of cooperating agents, each of which is ...
Martin Rehák, Eugen Staab, Volker Fusenig, ...
P2P
2009
IEEE
101views Communications» more  P2P 2009»
14 years 4 months ago
Monitoring and Management of Structured Peer-to-Peer Systems
The peer-to-peer paradigm shows the potential to provide the same functionality and quality like client/server based systems, but with much lower costs. In order to control the qu...
Kalman Graffi, Dominik Stingl, Julius Rueckert, Al...