2468 search results - page 69 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
135
click to vote
ECOOPW
2001
Springer
15 years 7 months ago
2001
Springer
Many object-oriented information systems share an architectural style that emphasizes flexibility and dynamically configurable. Business rules are stored in a database instead of ...
125
click to vote
JMIV
2002
15 years 3 months ago
2002
We consider a median pyramidal transform for denoising applications. Traditional techniques of pyramidal denoising are similar to those in wavelet-based methods. In order to remove...
151
click to vote
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
121
click to vote
ACL
2008
15 years 4 months ago
2008
We propose a succinct randomized language model which employs a perfect hash function to encode fingerprints of n-grams and their associated probabilities, backoff weights, or oth...
131
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...