2468 search results - page 259 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
169
click to vote
SODA
2012
ACM
13 years 6 months ago
2012
ACM
In this paper we prove lower bounds on randomized multiparty communication complexity, both in the blackboard model (where each message is written on a blackboard for all players ...
STTT
2008
15 years 4 months ago
2008
Military logistics concerns the activities required to support operational forces. It encompasses the storage and distribution of materiel, management of personnel and the provisio...
153
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Modeling and recognizing landmarks at world-scale is a
useful yet challenging task. There exists no readily available
list of worldwide landmarks. Obtaining reliable visual
mode...
132
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
Load balance is a critical issue in distributed systems, such as server grids. In this paper, we propose a Balanced Load Queue (BLQ) model, which combines the queuing theory and hy...
147
click to vote
FMAM
2010
15 years 2 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...