1837 search results - page 118 / 368 » Abstraction and the C Machine Model |
160
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
170
click to vote
ICTAC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
171
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
163
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract— Routers handle data packets from sources unresponsive to TCP’s congestion avoidance feedback. We are interested in the impact these sources have on AQM’s control of...
186
click to vote
CONTEXT
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Temporal reference in natural language is inherently context dependent: what counts as a moment in one context may be structurally analysed in another context, and vice v...