655 search results - page 25 / 131 » Testing Properties of Collections of Distributions |
118
click to vote
CONCURRENCY
2000
15 years 1 months ago
2000
The contribution of this paper is twofold. First a distributed garbage collector (DGC) is presented that is optimized for remote method invocation in reliable networks, such as cu...
112
click to vote
COMPSAC
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
CIKM
2005
Springer
15 years 7 months ago
2005
Springer
We approached the problem as learning how to order documents by estimated relevance with respect to a user query. Our support vector machines based classifier learns from the rele...
116
click to vote
ECIR
2004
Springer
15 years 2 months ago
2004
Springer
We simulate different architectures of a distributed Information Retrieval system on a very large Web collection, in order to work out the optimal setting for a particular set of r...
114
click to vote
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...