7766 search results - page 1284 / 1554 » Testing Nondeterminate Systems |
87
Voted
SIGIR
2005
ACM
15 years 6 months ago
2005
ACM
We propose a fully decentralized collaborative filtering approach that is self-organizing and operates in a distributed way. The relevances between downloading files (items) are...
123
Voted
AADEBUG
2005
Springer
15 years 6 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
75
Voted
ACNS
2005
Springer
15 years 6 months ago
2005
Springer
We have developed techniques to automatically infer mother's maiden names from public records. We demonstrate our techniques using publicly available records from the state o...
106
click to vote
ADAEUROPE
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
86
Voted
AIED
2005
Springer
15 years 6 months ago
2005
Springer
: In this paper we present two computational approaches that can be used characterize and measure online threaded discussions and demonstrate that they can objectively validate stu...