2838 search results - page 158 / 568 » Verifying Controlled Components |
95
Voted
SAFECOMP
1999
Springer
15 years 5 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...
85
Voted
ICECCS
2007
IEEE
15 years 4 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...
93
Voted
ISLPED
1995
ACM
15 years 4 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...
88
Voted
FOIS
2010
15 years 2 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...
101
Voted
GRAPHICSINTERFACE
2001
15 years 2 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...