3335 search results - page 282 / 667 » Grid result checking |
145
click to vote
HASE
2007
IEEE
16 years 27 days ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
161
click to vote
RE
2007
Springer
16 years 21 days ago
2007
Springer
Aspects promote a clear separation of concerns so that tangled and scattered concerns are modularized throughout software development. We propose a framework to trace aspects iden...
143
click to vote
ACSD
2006
IEEE
16 years 19 days ago
2006
IEEE
Signal Transition Graphs (STGs) are a popular formalism for the specification of asynchronous circuits. A necessary condition for the implementability of an STG is the existence ...
159
click to vote
IPCCC
2006
IEEE
16 years 18 days ago
2006
IEEE
We present an approach to the question of evaluating worm defenses against future, yet unseen and possibly defense-aware worm behavior. Our scheme employs model checking to produc...
170
click to vote
DSD
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...