9067 search results - page 30 / 1814 » Adaptive Model Checking |
CAV
2001
Springer
14 years 2 months ago
2001
Springer
CAV
1999
Springer
14 years 2 months ago
1999
Springer
ENTCS
2002
13 years 9 months ago
2002
AH
2008
Springer
14 years 4 months ago
2008
Springer
Abstract. This paper presents an approach to create adaptive web-based educative systems that can be automatically audited by means of standard web testing tools. The auditing tool...
OSDI
2006
ACM
14 years 10 months ago
2006
ACM
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy...