2662 search results - page 173 / 533 » Tools Demonstrations |
124
click to vote
ISI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Information technologies and infectious disease informatics are playing an increasingly important role in preventing, detecting, and managing infectious disease outbreaks...
161
click to vote
HPDC
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we present a scalable protocol for conducting periodic probes of network performance in a way that minimizes collisions between separate probes. The goal of the prot...
116
click to vote
MASCOTS
1998
15 years 6 months ago
1998
In this work, we propose a method for using simulation to analyze the robustness of multiparty (multicastbased) protocols in a systematic fashion. We call our method Systematic Te...
141
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
- In this paper, computational aspects of the panel aggregation problem are addressed. Motivated primarily by applications of risk assessment, an algorithm is developed for aggrega...
121
click to vote
JAR
2008
15 years 4 months ago
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...