2838 search results - page 158 / 568 » Verifying Controlled Components |
SAFECOMP
1999
Springer
14 years 2 months ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
ICECCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
ISLPED
1995
ACM
14 years 1 months ago
1995
ACM
Abstract: We describe a technique to estimate the energy consumed by speed-independent asynchronous (clockless) control circuits. Because speed-independent circuits are hazard-free...
FOIS
2010
13 years 12 months ago
2010
This paper presents the development of a set of ontologies for use in messaging systems within military and emergency first responder command and control applications. These ontolo...
GRAPHICSINTERFACE
2001
13 years 11 months ago
2001
We introduce a set of techniques that are used together to produce realistic-looking animations of burning objects. These include a new method for simulating spreading on polygona...