504 search results - page 66 / 101 » Explaining Verification Conditions |
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Software fails and fixing it is expensive. Research in failure prediction has been highly successful at modeling software failures. Few models, however, consider the key cause of ...
SIGMOD
2006
ACM
14 years 8 months ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...
DDEP
2000
Springer
14 years 7 days ago
2000
Springer
As mobile computing becomes widespread, so will the need for digital document delivery by hypertextual means. A further trend will be the provision of the ability for devices to de...
ACSC
2004
IEEE
13 years 11 months ago
2004
IEEE
One of the primary flaws with current digital signature technology is that a digital signature does not "feel" or resemble a traditional seal or personal signature to th...
MOVEP
2000
13 years 11 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...