Sciweavers

2521 search results - page 357 / 505
» Semantic Component Composition
Sort
View
PUC
2006
89views more  PUC 2006»
13 years 10 months ago
UbiqStack: a taxonomy for a ubiquitous computing software stack
This paper describes a taxonomy for a ubiquitous computing software stack called UbiqStack. Through the lens of the UbiqStack taxonomy we survey a variety of subsystems designed to...
Martin Modahl, Bikash Agarwalla, T. Scott Saponas,...
IJRR
2002
96views more  IJRR 2002»
13 years 10 months ago
Phase Regulation of Decentralized Cyclic Robotic Systems
We address the problem of coupling cyclic robotic tasks to produce a specified coordinated behavior. Such coordination tasks are common in robotics, appearing in applications like...
Eric Klavins, Daniel E. Koditschek
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
13 years 8 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
ICRA
2009
IEEE
146views Robotics» more  ICRA 2009»
13 years 8 months ago
Optimized passive dynamics improve transparency of haptic devices
For haptic devices, compensation of the robot's gravity is a frequent strategy with the aim to reduce interaction forces between robot and human in zero-impedance control. How...
Heike Vallery, Alexander Duschau-Wicke, Robert Rie...
CORR
2011
Springer
150views Education» more  CORR 2011»
13 years 5 months ago
Program Optimization Based Pointer Analysis and Live Stack-Heap Analysis
In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap ana...
Mohamed A. El-Zawawy