2468 search results - page 415 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
145
click to vote
HPDC
2002
IEEE
15 years 8 months ago
2002
IEEE
The increasingly common practice of replicating datasets and using resources as distributed data stores in Grid environments has led to the problem of determining which replica ca...
149
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
This demo illustrates MAS-DisCoSim 4 PDP, a testbed environment for evaluating distributed multi-agent system solutions to pickup and delivery problems (PDPs). PDPs are well-studi...
116
Voted
TON
2008
15 years 3 months ago
2008
As the Internet infrastructure grows to support a variety of services, its legacy protocols are being overloaded with new functions such as traffic engineering. Today, operators en...
134
click to vote
ASMTA
2008
Springer
15 years 5 months ago
2008
Springer
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of paralle...
98
Voted
IPMI
2007
Springer
16 years 4 months ago
2007
Springer
This paper describes a system for detecting pulmonary nodules in CT images. It aims to label individual image voxels in accordance to one of a number of anatomical (pulmonary vesse...