827 search results - page 60 / 166 » Patterns for Timed Property Specifications |
154
click to vote
SIAMMA
2011
14 years 10 months ago
2011
It has been unknown since the time of Euler whether or not time-periodic sound wave propagation is physically possible in the compressible Euler equations, due mainly to the ubiqui...
131
click to vote
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
With the current trend in integration of more complex systems on chip there is a need for better communication infrastructure on chip that will increase the available bandwidth an...
126
click to vote
DAGM
2010
Springer
15 years 3 months ago
2010
Springer
The selection of an optical flow method is mostly a choice from among accuracy, efficiency and ease of implementation. While variational approaches tend to be more accurate than lo...
130
click to vote
FSTTCS
2006
Springer
15 years 6 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
155
click to vote
NETWORKING
2011
14 years 6 months ago
2011
Abstract. In this paper we introduce Spatio-TEmporal Parametric Stepping (STEPS) - a simple parametric mobility model which can cover a ectrum of human mobility patterns. STEPS mak...