2639 search results - page 17 / 528 » Biological Systems as Reactive Systems |
TCC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
JSS
2008
13 years 9 months ago
2008
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...
VLSID
2003
IEEE
14 years 10 months ago
2003
IEEE
Control dominated embedded systems have to be designed for fast reaction to asynchronous external events occurring in the environment. Such systems must be able to perform signal ...
WSC
1997
13 years 11 months ago
1997
We introduce SIDE (the acronym stands for Sensors In a Distributed Environment)—a software package for developing control programs for reactive systems. One distinctive feature ...
HICSS
2009
IEEE
14 years 4 months ago
2009
IEEE
This paper addresses the problem of reactive power dispatch in a power system partitioned into several areas controlled by different transmission system operators. Previous resear...