6800 search results - page 1249 / 1360 » Testing with Functions as Specifications |
POPL
2001
ACM
14 years 8 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
STOC
2006
ACM
14 years 8 months ago
2006
ACM
d abstract) Yuval Ishai Eyal Kushilevitz Yehuda Lindell Erez Petrank It is well known that the secure computation of non-trivial functionalities in the setting of no honest majori...
OSDI
2008
ACM
14 years 8 months ago
2008
ACM
Multiprocessor application performance can be limited by the operating system when the application uses the operating system frequently and the operating system services use data ...
VLDB
2007
ACM
14 years 8 months ago
2007
ACM
The growing nature of databases, and the flexibility inherent in the SQL query language that allows arbitrarily complex formulations, can result in queries that take inordinate am...
SIGMOD
2008
ACM
14 years 8 months ago
2008
ACM
How can we efficiently find a clustering, i.e. a concise description of the cluster structure, of a given data set which contains an unknown number of clusters of different shape ...