722 search results - page 33 / 145 » The State Operator in Real Time Process Algebra |
129
Voted
ZUM
2000
Springer
15 years 7 months ago
2000
Springer
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
118
Voted
QSIC
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we propose a metric for finite processes in a probabilistic extension of CSP. The kernel of the metric corresponds to trace equivalence and most of the operators in...
140
Voted
ECRTS
2008
IEEE
15 years 10 months ago
2008
IEEE
The commonly used task models for real-time systems focus on execution windows expressing earliest start times and deadlines of tasks for feasibility. Within these windows, execut...
155
Voted
ICIAR
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. In this paper we propose a method for automating the process of detecting regions of motion in a video sequence in real time. The main idea of this work is to detect moti...
128
click to vote
IWSAS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Self-adaptive systems must recon gure themselves, at runtime, to compensate for changing environments, objectives, and system capabilities. This paper discusses how the S...