2468 search results - page 199 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
114
click to vote
ICDCSW
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Online feedback-based rating systems are gaining popularity. Dealing with unfair ratings in such systems has been recognized as an important but difficult problem. Thi...
224
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
An emerging challenge in modern distributed querying is to efficiently process multiple continuous aggregation queries simultaneously. Processing each query independently may be i...
123
click to vote
EOR
2006
15 years 4 months ago
2006
In this paper we develop an open queueing network for optimal design of multi-stage assemblies, in which each service station represents a manufacturing or assembly operation. The...
117
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
As part of the evolution of software systems, effort is often invested to discover in what parts of the source code a feature (or other concern) is implemented. Unfortunately, kn...
173
click to vote
CORR
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...