5243 search results - page 1008 / 1049 » Reasoning About Strategies |
SIGIR
2000
ACM
14 years 2 months ago
2000
ACM
: This paper presents a novel way of examining the accuracy of the evaluation measures commonly used in information retrieval experiments. It validates several of the rules-of-thum...
CAV
2000
Springer
14 years 2 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
CSEE
2000
Springer
14 years 2 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
CHI
1999
ACM
14 years 2 months ago
1999
ACM
not abstract asymmetry: different sides looks different clumps different from ”data objects” need grid structure, alignment [Design Guidelines for Landmarks to Support Navigati...
IPCCC
1999
IEEE
14 years 2 months ago
1999
IEEE
Performance of Web servers is critical to the success of many corporations and organizations. However, very few results have been published that quantitatively study the server be...