Sciweavers

5470 search results - page 570 / 1094
» Distributed Control Lab
Sort
View
RTSS
1999
IEEE
15 years 11 months ago
Specification and Analysis of Soft Real-Time Systems: Quantity and Quality
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinks...
RSP
1998
IEEE
126views Control Systems» more  RSP 1998»
15 years 11 months ago
Testing Prototypes Validity to Enhance Code Reuse
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
Didier Buchs, A. Diagne, Fabrice Kordon
ACSAC
1997
IEEE
15 years 11 months ago
A Reference Model for Firewall Technology
This paper concentrates on one particular aspect of providing communication security: rewalls between domains of trust. We argue that signaling support for providing scalable secu...
Christoph L. Schuba, Eugene H. Spafford
AGENTS
1997
Springer
15 years 11 months ago
Transportable Information Agents
Transportable agents are autonomous programs. They can move through a heterogeneous network of computers under their own control, migrating from host to host. They can sense the s...
Daniela Rus, Robert S. Gray, David Kotz
CDC
2009
IEEE
116views Control Systems» more  CDC 2009»
15 years 11 months ago
A QSS approach for particle source identification in Tore Supra tokamak
In this work, we consider the problem of particle source identification from distributed electron density measurements in fusion plasmas, such as the ones obtained in Tore Supra t...
Emmanuel Witrant, Marc Goniche, E. Tore Supra