6308 search results - page 211 / 1262 » Modeling Urgency in Timed Systems |
142
Voted
APN
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
121
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The stability and convergence of the neural networks are the fundamental characteristics in the Hopfield type networks. Since time delay is ubiquitous in most physical and biologi...
152
Voted
MICCAI
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. This paper presents a novel approach for multi-organ (musculoskeletal system) automatic registration and segmentation from clinical MRI datasets, based on discrete deform...
112
click to vote
SOFSEM
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...
150
click to vote
ECRTS
2004
IEEE
15 years 8 months ago
2004
IEEE
The contribution of this paper is threefold. First, an improvement to a previously published paper on the timing analysis of Controller Area Network (CAN) in the presence of trans...