314 search results - page 34 / 63 » Concurrently Decomposable Constraint Systems |
AROBOTS
2008
13 years 7 months ago
2008
We study a reaching movement controller for a redundant serial arm manipulator, based on two principles believed to be central to biological motion control: multireferential contro...
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
DAC
2000
ACM
14 years 8 months ago
2000
ACM
In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurr...
COMCOM
1998
13 years 7 months ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...
DEBS
2009
ACM
13 years 11 months ago
2009
ACM
The ability to find services or resources that satisfy some criteria is an important aspect of distributed systems. This paper presents an event-based architecture to support more...