2004 search results - page 48 / 401 » Comparison of Model Checking Tools for Information Systems |
117
click to vote
ICEGOV
2009
ACM
14 years 9 months ago
2009
ACM
An e-Government portal represents not only a reputable public image of the sovereignty of a region, it is responsible for serving many users from local citizens and beyond, in a r...
SAFECOMP
2007
Springer
15 years 6 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
112
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...
116
click to vote
IRI
2008
IEEE
15 years 6 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
190
click to vote
ACL2
2006
ACM
15 years 3 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...