504 search results - page 35 / 101 » Explaining Verification Conditions |
DCC
2003
IEEE
14 years 7 months ago
2003
IEEE
In this paper we discuss the security of digital signature schemes based on error? correcting codes. Several attacks to the Xinmei scheme are surveyed, and some reasons given to e...
KCAP
2009
ACM
14 years 2 months ago
2009
ACM
Debugging inconsistent OWL ontologies is a timeconsuming task. Debugging services included in existing ontology engineering tools are still far from providing adequate support to ...
ISQED
2000
IEEE
14 years 6 days ago
2000
IEEE
Power and energy consumption of digital systems may increase significantly during testing. This extra power consumption due to test application may give rise to severe hazards to ...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
Adaptive Random Testing subsumes a class of algorithms that detect the first failure with less test cases than Random Testing. The present paper shows that a "reference metho...
ERSHOV
2006
Springer
13 years 9 months ago
2006
Springer
We improve the decision procedure from [10] for the problem of generalized soundness of workflow nets. A workflow net is generalized sound iff every marking reachable from an initi...