9210 search results - page 6 / 1842 » Analyzing Real-Time Systems |
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
RTSS
1995
IEEE
13 years 11 months ago
1995
IEEE
A distributed protocol is proposed for the synchronization of real-time tasks that have variable resource requirements. The protocol is simple to implement and is intended for lar...
IBPRIA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper describes a framework for analyzing video sequences of a driver and determining his level of attention. The proposed system deals with the computation of eyeli...
SEW
2003
IEEE
14 years 24 days ago
2003
IEEE
Component-based software engineering (CBSE) and the use of (de-facto) standard component models have gained popularity in recent years, particularly in the development of desktop ...
RTSS
1998
IEEE
13 years 11 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....