923 search results - page 105 / 185 » Proving the value of formal methods |
156
click to vote
INFOCOM
2009
IEEE
16 years 28 days ago
2009
IEEE
Abstract—This paper is about designing optimal highthroughput hashing schemes that minimize the total number of memory accesses needed to build and access an hash table. Recent s...
167
click to vote
PPDP
2009
Springer
16 years 25 days ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
177
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
164
click to vote
IJAR
2007
15 years 6 months ago
2007
In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent...
191
click to vote
ICDE
2009
IEEE
15 years 4 months ago
2009
IEEE
Data provenance is information that describes how a given data item was produced. The provenance includes source and intermediate data as well as the transformations involved in pr...