827 search results - page 45 / 166 » Patterns for Timed Property Specifications |
103
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We study Maker-Breaker games played on the edge set of a random graph. Specifically, we consider the random graph process and analyze the first time in a typical random graph proc...
129
click to vote
ENTCS
2006
15 years 2 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
130
click to vote
SNPD
2008
15 years 3 months ago
2008
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...
195
click to vote
VLDB
2007
ACM
16 years 2 months ago
2007
ACM
In this paper we study the trade-offs between time series compressibility and partial information hiding and their fundamental implications on how we should introduce uncertainty ...
107
click to vote
PATMOS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we present a new approach to power modeling and runtime power estimation for wireless network interface cards (WNICs). We obtain run-time power estimates by...