5015 search results - page 288 / 1003 » Model Checking a Path |
178
click to vote
COMPGEOM
2005
ACM
15 years 8 months ago
2005
ACM
An open question in Exact Geometric Computation is whether there are transcendental computations that can be made “geometrically exact”. Perhaps the simplest such problem in c...
193
click to vote
DFG
2004
Springer
15 years 10 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
200
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...
181
click to vote
WDAG
2007
Springer
16 years 18 days ago
2007
Springer
We study adaptive routing algorithms in a round-based model. Suppose we are given a network equipped with load-dependent latency functions on the edges and a set of commodities eac...
159
click to vote
PODC
2003
ACM
15 years 11 months ago
2003
ACM
We consider the model of unreliable network links, where at each time unit a link might be either up or down. We consider two related problems. The first, establishing end to end...