Sciweavers

676 search results - page 59 / 136
» Ubiquitous command and control
Sort
View
ICRA
2000
IEEE
118views Robotics» more  ICRA 2000»
14 years 2 months ago
4-D/RCS Reference Model Architecture for Unmanned Ground Vehicles
4-D/RCS is the reference model architecture currently being developed for the Demo III Experimental Unmanned Vehicle program. 4-D/RCS integrates the NIST (National Institute of St...
James S. Albus
ISORC
2000
IEEE
14 years 2 months ago
Hierarchical Feedback Adaptation for Real Time Sensor-Based Distributed Applications
This paper presents an innovative hierarchical feedback adaptation method that efficiently controls the dynamic QoS behavior of real-time distributed data-flow applications, such ...
Mihaela Cardei, Ionut Cardei, Rakesh Jha, Allalagh...
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
14 years 1 months ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider
CSREASAM
2006
13 years 11 months ago
Trusted Storage: Focus on Use Cases
This paper describes use cases for the application of Trusted Computing Group (TCG) techniques and specifications to storage devices. The use cases fall into three broad categorie...
Robert Thibadeau, Michael Willett
MACH
1990
13 years 11 months ago
Real-Time Mach: Towards a Predictable Real-Time System
Distributed real-time systems play a very important role in our modern society. They are used in aircraft control, communication systems, military command and control systems, fac...
Hideyuki Tokuda, Tatsuo Nakajima, Prithvi Rao