2838 search results - page 196 / 568 » Verifying Controlled Components |
HAPTICS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract. The Nine Hole Peg Test (NHPT) is routinely used in clinical environments to evaluate a patient's fine hand control. A physician measures the total time required to i...
109
Voted
MM
1996
ACM
15 years 4 months ago
1996
ACM
We present a framework for integrated scheduling of continuous media (CM) and other applications. The framework, called ARC scheduling, consists of a rate-controlled on-line CPU sc...
88
Voted
DAC
1995
ACM
15 years 4 months ago
1995
ACM
— Software components for embedded reactive real-time applications must satisfy tight code size and runtime constraints. Cooperating finite state machines provide a convenient i...
DAIS
2010
15 years 2 months ago
2010
Abstract. Nowadays, context-aware applications can discovery and interact with services in ubiquitous environments in order to customize their behavior. In general, these providers...
82
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
We propose distributed algorithms to automatically deploy a group of mobile robots to partition and provide coverage of a non-convex environment. To handle arbitrary nonconvex envi...