17185 search results - page 241 / 3437 » Computational and Quantitative Studies |
181
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
186
click to vote
CHI
2010
ACM
15 years 5 months ago
2010
ACM
In the field of Human-Computer Interaction, provenance refers to the history and genealogy of a document or file. Provenance helps us to understand the evolution and relationships...
168
click to vote
IEEESCC
2006
IEEE
16 years 1 months ago
2006
IEEE
Current business process development is a process that needs to apply software development principles and at the same time incorporate the special requirements of service oriented...
182
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
We have analyzed a corpus of human-authored arguments expressed in text and information graphics, non-pictorial graphics such as bar graphs. The goal of our research is to enable i...
200
click to vote
ASM
1998
ASM
15 years 11 months ago
1998
ASM
This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corn...