321 search results - page 32 / 65 » Testing protocols modeled as FSMs with timing parameters |
81
Voted
MICCAI
2005
Springer
16 years 1 months ago
2005
Springer
Cardiac ablation procedures are becoming more routine to treat arrhythmias. The development of electrophysiological models will allow investigation of treatment strategies. However...
125
click to vote
HYBRID
2004
Springer
15 years 5 months ago
2004
Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
78
Voted
UIC
2007
Springer
15 years 6 months ago
2007
Springer
In mobile ad hoc networks (MANETs), nodes mobility cause network topologies to change dynamically over time, which complicates important tasks such as broadcasting and routing. Mob...
SRDS
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper we investigate dependability issues of nextgeneration distributed multimedia applications. Examples of such applications are autonomous vehicle control, telemedicine...
102
Voted
IWNAS
2008
IEEE
15 years 6 months ago
2008
IEEE
With the increased popularity of replica-based services in distributed systems such as the Grid, consistency control among replicas becomes more and more important. To this end, I...