722 search results - page 6 / 145 » The State Operator in Real Time Process Algebra |
FORTE
2010
15 years 1 months ago
2010
Abstract. In this paper, we propose the notion of partial time abstraction for timed process algebras, which introduces the possibility to abstract away parts of the timing of syst...
RTSS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
TACAS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
107
click to vote
MVA
2000
15 years 1 months ago
2000
We have developed a novel human face tracking system that operates in real time at the video frame rate without a need for any special hardware. Our approach is based on the use o...
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...