Sciweavers

4143 search results - page 87 / 829
» A theory of distributed aspects
Sort
View
ICRA
2010
IEEE
185views Robotics» more  ICRA 2010»
15 years 4 months ago
Graph based distributed control of non-holonomic vehicles endowed with local positioning information engaged in escorting missio
— Using graph theory, this paper investigates how a group of robots, endowed with local positioning (range and bearing from other robots), can be engaged in a leaderfollowing mis...
Riccardo Falconi, Sven Gowal, Alcherio Martinoli
IPPS
2008
IEEE
16 years 12 days ago
Achieving and assuring high availability
We discuss availability aspects of large softwarebased systems. We classify faults into Bohrbugs, Mandelbugs and aging-related bugs, then examine mitigation methods for the last t...
Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan...
SAC
2010
ACM
16 years 26 days ago
Adaptive internet services through performance and availability control
Cluster-based multi-tier systems provide a means for building scalable Internet services. Building adaptive Internet services that are able to apply appropriate system sizing and ...
Jean Arnaud, Sara Bouchenak
ATAL
2008
Springer
15 years 8 months ago
Sensing-based shape formation on modular multi-robot systems: a theoretical study
This paper presents a theoretical study of decentralized control for sensing-based shape formation on modular multirobot systems, where the desired shape is specified in terms of ...
Chih-Han Yu, Radhika Nagpal
TLDI
2010
ACM
190views Formal Methods» more  TLDI 2010»
16 years 2 months ago
Distributed programming with distributed authorization
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
Kumar Avijit, Anupam Datta, Robert Harper