Sciweavers

2639 search results - page 21 / 528
» Biological Systems as Reactive Systems
Sort
View
DAC
1998
ACM
14 years 10 months ago
Rate Derivation and Its Applications to Reactive, Real-Time Embedded Systems
An embedded system the system continuously interacts with its environment under strict timing constraints, called the external constraints, and it is important to know how these e...
Ali Dasdan, Dinesh Ramanathan, Rajesh K. Gupta
RTCSA
1998
IEEE
14 years 2 months ago
Distributed Reactive Machines
Jean-Ferdy Susini, Laurent Hazard, Fréd&eac...
RISE
2005
Springer
14 years 3 months ago
Formal Development of Reactive Fault Tolerant Systems
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
Linas Laibinis, Elena Troubitsyna
ICCS
2007
Springer
14 years 4 months ago
AMBROSia: An Autonomous Model-Based Reactive Observing System
Observing systems facilitate scientific studies by instrumenting the real world and collecting corresponding measurements, with the aim of detecting and tracking phenomena of inte...
David Caron, Abhimanyu Das, Amit Dhariwal, Leana G...
FASE
1999
Springer
14 years 2 months ago
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
Eva Coscia, Gianna Reggio