1678 search results - page 133 / 336 » An ASM Specification of C |
168
click to vote
IBPRIA
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we address the problem of on-line recognition of human activities taking place in a public area such as a shopping center. We consider standard activities; namely, en...
145
click to vote
APN
2006
Springer
15 years 9 months ago
2006
Springer
Dynamic nets are an extension of Petri nets where the net topology may change dynamically. This is achieved by allowing (i) tokens to be coloured with place names (carried on as da...
154
click to vote
ARCS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
170
click to vote
CODES
2004
IEEE
15 years 9 months ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...
136
click to vote
APSEC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...