4418 search results - page 408 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
190
click to vote
CIDR
2003
15 years 8 months ago
2003
Web cache technologies have been developed as an extension of CPU cache, by modifying LRU (Least Recently Used) algorithms. Actually in web cache systems, we can use disks and ter...
210
Voted
IJCAI
2003
15 years 8 months ago
2003
Writer’s Aid is a collaborative system that works simultaneously with an author editing a document providing assistance in identifying and inserting citation keys and autonomous...
161
click to vote
VLDB
1987
ACM
15 years 10 months ago
1987
ACM
Beginning to create the New Oxford English Dictionary database has resulted in the realization that databases for reference texts are unlike those for conventional enterprises. Wh...
188
click to vote
AI
2007
Springer
15 years 7 months ago
2007
Springer
It is not surprising that reaching human-level AI has proved to be difficult and progress has been slow— though there has been important progress. The slowness and the demand t...
181
click to vote
VMCAI
2005
Springer
16 years 10 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...