2468 search results - page 236 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
140
click to vote
IIWAS
2008
15 years 5 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
122
click to vote
SIGMETRICS
2002
ACM
15 years 3 months ago
2002
ACM
Probability distributions of response times are important in the design and analysis of transaction processing systems and computercommunication systems. We present a general tech...
245
click to vote
SPIRE
2001
Springer
15 years 8 months ago
2001
Springer
In this paper, we study query processing in a distributed text database. The novelty is a real distributed architecture implementation that offers concurrent query service. The di...
156
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
With the availability of large datasets in a variety of scientific and commercial domains, data mining has emerged as an important area within the last decade. Data mining techni...
144
click to vote
SIGIR
2006
ACM
15 years 10 months ago
2006
ACM
Traditional web link-based ranking schemes use a single score to measure a page’s authority without concern of the community from which that authority is derived. As a result, a...