1615 search results - page 59 / 323 » Distributed Forward Checking |
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we study the complexity of model-checking formulas of three important real-time logics (MTL, MITL, and TCTL) over restricted sets of timed paths. The classes of rest...
FORMATS
2003
Springer
14 years 29 days ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...
DEXA
2005
Springer
14 years 1 months ago
2005
Springer
Bitmap indices are efficient data structures for processing complex, multi-dimensional queries in data warehouse applications and scientific data analysis. For high-cardinality at...
ICPP
2005
IEEE
14 years 1 months ago
2005
IEEE
The existing searching schemes in Peer-to-Peer (P2P) networks are either forwarding-based or non-forwarding based. In forwarding-based schemes, queries are forwarded from the quer...
ICECCS
2002
IEEE
14 years 21 days ago
2002
IEEE
Distributed Java applications represent a large growth area in software. Validating such applications using information from runtime interactions is a challenge. We propose techni...