12562 search results - page 2261 / 2513 » Distributed Xbean Applications |
121
click to vote
SIGIR
2008
ACM
15 years 3 months ago
2008
ACM
Collections are a fundamental tool for reproducible evaluation of information retrieval techniques. We describe a new method for distributing the document lengths and term counts ...
140
click to vote
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
134
click to vote
IJET
2007
15 years 3 months ago
2007
— The use of digital learning resources creates an increasing need for semantic metadata, describing the whole resource, as well as parts of resources. Traditionally, schemas suc...
133
click to vote
ADT
2005
15 years 3 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
124
click to vote
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...