6308 search results - page 297 / 1262 » Modeling Urgency in Timed Systems |
182
click to vote
ECCV
2004
Springer
16 years 8 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...
150
click to vote
ECRTS
2005
IEEE
16 years 7 days ago
2005
IEEE
In previous work, we presented a tight approximate response-time analysis for tasks with offsets. While providing a tight bound on response times, the tight analysis exhibits simi...
171
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
181
click to vote
ISORC
1998
IEEE
15 years 11 months ago
1998
IEEE
The Time-Triggered Architecture (TTA) provides a computing infrastructure for the design and implementation of dependable distributed embedded systems. A large real-time applicatio...
208
click to vote
CUZA
2002
15 years 6 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...