2468 search results - page 414 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
143
Voted
PE
2010
Springer
15 years 1 months ago
2010
Springer
We consider a push pull queueing system with two servers and two types of jobs which are processed by the two servers in opposite order, with stochastic generally distributed proc...
159
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
167
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
In this paper, we study methods for improving the utility and privacy of reputation scores for online auctions, such as used in eBay, so as to reduce the effectiveness of feedbac...
125
Voted
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
Bioinformatics algorithms such as sequence alignment methods based on profile-HMM (Hidden Markov Model) are popular but CPU-intensive. If large amounts of data are processed, a s...
139
click to vote
MIDDLEWARE
2005
Springer
15 years 9 months ago
2005
Springer
These last years, the evolution of nomadic terminals and mobile networks has yield to the development of the ubiquitous computing. In this context, actual query evaluation and opt...