3018 search results - page 239 / 604 » Replicating for Performance: Case Studies |
183
click to vote
VALUETOOLS
2006
ACM
16 years 15 days ago
2006
ACM
Motivated by the need to study traffic flow affected by incidents we consider M/M/C queueing system where servers operate in a Markovian environment. When a traffic incident hap...
175
click to vote
EUROMICRO
2005
IEEE
16 years 5 days ago
2005
IEEE
When an organization faces new types of collaboration, for example after a company merger, there is a need to integrate the existing software. Two main process challenges are how ...
151
click to vote
ICRA
2005
IEEE
16 years 4 days ago
2005
IEEE
Abstract— In this paper we consider the problem of simultaneously localizing all members of a team of robots. Each robot is equipped with proprioceptive sensors and exteroceptive...
159
click to vote
WOSP
2005
ACM
16 years 3 days ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
141
click to vote
CHARME
2005
Springer
16 years 2 days ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...