6251 search results - page 1026 / 1251 » Randomness, Computability, and Density |
119
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
Unpredictability in COTS-based systems often manifests as occasional instances of uncontrollably-high response times. A particular category of COTS systems, fault-tolerant (FT) mid...
163
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
155
Voted
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
We consider a class of queueing networks referred to as “generalized constrained queueing networks” which form the basis of several different communication networks and inform...
142
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
- Monte Carlo localization is known to be one of the most reliable methods for pose estimation of a mobile robot. Many studies have been conducted to improve performance of MCL. Al...
151
click to vote
P2P
2006
IEEE
15 years 10 months ago
2006
IEEE
Content storage in a distributed collaborative environment uses redundancy for better resilience and thus provides good availability and durability. In a peer-to-peer environment,...