2632 search results - page 155 / 527 » Alternating Timed Automata |
207
click to vote
WAOA
2010
Springer
15 years 2 months ago
2010
Springer
We study flows over time in networks with transit times on the arcs. Transit times describe how long it takes to traverse an arc. A flow over time specifies for each arc a time-dep...
114
click to vote
IPCCC
2007
IEEE
15 years 11 months ago
2007
IEEE
In a MANET network where nodes move frequently, the probability of connectivity loss between nodes might be high, and communication sessions may easily loose connectivity during t...
113
click to vote
IFM
2005
Springer
15 years 10 months ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
149
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the pro...
139
click to vote
DASFAA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. Web services are increasingly being used in business critical environments, enabling uniform access to services provided by distinct parties. In these environments, an op...