1690 search results - page 47 / 338 » Algorithmic Properties of Millstream Systems |
140
Voted
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
101
click to vote
MSN
2005
Springer
15 years 9 months ago
2005
Springer
Systems that track sensed data trigger alerts based on the evaluation of some condition. In the presence of loss data a conservative condition may not generate a necessary alert an...
134
Voted
SPAA
2005
ACM
15 years 9 months ago
2005
ACM
We prove that with high probability a skip graph contains a 4-regular expander as a subgraph, and estimate the quality of the expansion via simulations. As a consequence skip grap...
122
Voted
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
110
click to vote
ISSAC
2004
Springer
15 years 9 months ago
2004
Springer
An orthogonal Ore ring is an abstraction of common properties of linear partial differential, shift and q-shift operators. Using orthogonal Ore rings, we present an algorithm for...