222 search results - page 15 / 45 » A Formal Verification Methodology for Checking Data Integrit... |
IJDE
2007
14 years 11 months ago
2007
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
120
click to vote
ECLIPSE
2005
ACM
15 years 1 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
109
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
103
click to vote
CAV
2006
Springer
15 years 3 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
AAI
2006
14 years 11 months ago
2006
In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply to interaction protocols. Thu...