Sciweavers

108 search results - page 5 / 22
» Automating information flow control in component-based distr...
Sort
View
IJSYSC
2006
92views more  IJSYSC 2006»
13 years 7 months ago
Adaptive control of distributed collector solar fields
: Distributed collector solar fields are spatially distributed engineering systems which aim at collecting and storing energy from solar radiation. They are formed by mirrors which...
J. M. Lemos
CDC
2009
IEEE
127views Control Systems» more  CDC 2009»
13 years 10 months ago
Model driven design in industrial automation
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
Elisabet Estevez, Isabel Sarachaga, Federico Perez...
DEON
2008
Springer
13 years 9 months ago
Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...
Nora Cuppens-Boulahia, Frédéric Cupp...
DIAGRAMS
2006
Springer
13 years 11 months ago
Flow Diagrams: Rise and Fall of the First Software Engineering Notation
Drawings of water are the earliest, least abstract forms of flow diagram. Representations of ideal or generalised sequences for manufacturing or actual paths for materials between ...
Stephen J. Morris, O. C. Z. Gotel
CDC
2008
IEEE
166views Control Systems» more  CDC 2008»
13 years 9 months ago
Distributed coverage verification in sensor networks without location information
In this paper, we present a series of distributed algorithms for coverage verification in sensor networks with no location information. We demonstrate how, in the absence of locali...
Alireza Tahbaz-Salehi, Ali Jadbabaie