9067 search results - page 30 / 1814 » Adaptive Model Checking |
CAV
2001
Springer
15 years 4 months ago
2001
Springer
64
Voted
CAV
1999
Springer
15 years 4 months ago
1999
Springer
ENTCS
2002
14 years 11 months ago
2002
AH
2008
Springer
15 years 6 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
16 years 1 days 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...