22 search results - page 2 / 5 » A Refinement Calculus for the Development of Real-Time Syste... |
ANSOFT
2002
13 years 5 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
DATE
1999
IEEE
13 years 9 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
ECCV
2004
Springer
14 years 7 months ago
2004
Springer
Abstract. This paper presents a method for tracking multiple skincolored objects in images acquired by a possibly moving camera. The proposed method encompasses a collection of tec...
POLICY
2004
Springer
13 years 10 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
COMPSEC
2010
13 years 1 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...