3765 search results - page 184 / 753 » Formal Methods for Systems Engineering Behavior Models |
177
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allow...
177
click to vote
AMAST
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
143
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
We present a distributed, surveillance system that works in large and complex indoor environments. To track and recognize behaviors of people, we propose the use of the Hidden Mar...
164
click to vote
IJCAI
1993
15 years 7 months ago
1993
: This paper presents a causal simulation method for incompletely known dynamic systems in process engineering. The causal model of a process is represented as both a causal networ...
217
click to vote
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...