6800 search results - page 956 / 1360 » Testing with Functions as Specifications |
166
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper describes the design and implementation of the eduSource Communication Layer (ECL) protocol. ECL is one outcome of a pan-Canadian project called eduSource Canada to bui...
171
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents a Service-Oriented Process Model (SOM) to build a web-services based process management system, called MIDAS that would support distributed Design and Manufact...
300
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
173
click to vote
STOC
2009
ACM
16 years 7 months ago
2009
ACM
An affine disperser over Fn 2 for sources of dimension d is a function f : Fn 2 F2 such that for any affine space S Fn 2 of dimension at least d, we have {f(s) : s S} = F2. Aff...
188
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
The problem of identifying approximately duplicate records in databases is an essential step for data cleaning and data integration processes. Most existing approaches have relied...