12670 search results - page 2099 / 2534 » Requirements Modeling |
183
click to vote
DFG
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
133
click to vote
DNA
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Speed of computation and power consumption are the two main parameters of conventional computing devices implemented in microelectronic circuits. As performance of such d...
160
click to vote
EUC
2004
Springer
16 years 6 days ago
2004
Springer
Every computer needs a timer mechanism to keep track of current time and also for various accounting purposes such as calculating the time spent by a process in CPU utilization, di...
186
click to vote
FIDJI
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. GOLD (Grid-based Information Models to Support the Rapid Innovation of New High Value-Added Chemicals) is concerned with the dynamic formation and management of virtual o...
175
click to vote
FORMATS
2004
Springer
16 years 6 days ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...