Sciweavers

5690 search results - page 553 / 1138
» A Position Control System Design
Sort
View
TGC
2005
Springer
16 years 20 days ago
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
Fred Spiessens, Peter Van Roy
NIME
2004
Springer
106views Music» more  NIME 2004»
16 years 17 days ago
Aura II: Making Real-Time Systems Safe for Music
Real-time interactive software can be difficult to construct and debug. Aura is a software platform to facilitate highly interactive systems that combine audio signal processing, ...
Roger B. Dannenberg
IDEAL
2003
Springer
16 years 12 days ago
A Multi-agent System for Emergency Decision Support
This paper describes the multi-agent organization of a computer system that was designed to assist operators in decision making in the presence of emergencies. The application was ...
Martín Molina, Gemma Blasco
213
Voted
ISCOPE
1998
Springer
15 years 11 months ago
Dynamic Reconfiguration and Virtual Machine Management in the Harness Metacomputing System
Metacomputing frameworks have received renewed attention of late, fueled both by advances in hardware and networking, and by novel concepts such as computational grids. However the...
Mauro Migliardi, Jack Dongarra, Al Geist, Vaidy S....
SAFECOMP
2000
Springer
15 years 10 months ago
Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems
Increasingly, the dependability of vehicle based programmable systems is becoming a key feature in ensuring the safety of those in and around the vehicle. The goal of those respons...
Richard Evans, Jonathan D. Moffett