7557 search results - page 428 / 1512 » Modeling Timed Concurrent Systems |
238
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
Abstract--Power analysis early in the design cycle is critical for the design of lowpower systems. With the move to system-level specifications and design methodologies, there has ...
183
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
214
click to vote
ISI
2008
Springer
15 years 6 months ago
2008
Springer
An Intrusion Detection Program (IDP) analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. In this talk, we p...
173
click to vote
COMSIS
2007
15 years 6 months ago
2007
The theoretical outcomes and experimental results of new color model implemented in algorithms and software of image processing are presented in the paper. This model, as it will b...
197
click to vote
ICALP
1992
Springer
15 years 11 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...