2470 search results - page 205 / 494 » Liveness-Preserving Simulation Relations |
144
click to vote
EAAI
2010
15 years 4 months ago
2010
This paper addresses the problem of fault detection and isolation in railway track circuits. A track circuit can be considered as a large-scale system composed of a series of trim...
138
click to vote
ADHOC
2006
15 years 4 months ago
2006
ct 9 It is often useful to know the positions of nodes in a network. However, in a large network it is impractical to build a 10 single global map. In this paper, we present a new ...
125
click to vote
ENTCS
2008
15 years 4 months ago
2008
We propose a new biological framework, spatial networks of hybrid input/output automata (SNHIOA), for the efficient modeling and simulation of excitable-cell tissue. Within this f...
152
Voted
FGCS
2008
15 years 4 months ago
2008
This paper proposes a bio-inspired approach tailored to the construction of a Grid information system in which content, specifically metadata descriptors that specify the characte...
118
click to vote
COMCOM
2006
15 years 4 months ago
2006
Proportional delay differentiation (PDD) model is an important approach for relative differentiated services provisioning on the Internet. It aims to maintain pre-specified packet ...