3387 search results - page 411 / 678 » Model-Checking for Real-Time Systems |
206
click to vote
DATE
2000
IEEE
15 years 12 months ago
2000
IEEE
Embedded systems make a heavy use of software to perform Real-Time embedded control tasks. Embedded software is characterized by a relatively long lifetime and by tight cost, perf...
193
click to vote
CONCUR
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
256
Voted
CORR
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
170
click to vote
ICIP
2008
IEEE
16 years 9 months ago
2008
IEEE
Real-time face alignment in video is very critical in many applications such as facial expression analysis, driver fatigue monitoring, etc. This paper presents a real time algorit...
187
click to vote
RTAS
2009
IEEE
16 years 2 months ago
2009
IEEE
—The Collaborative Sensing Language (CSL) is a high-level feedback control language for mobile sensor networks (MSN). It specifies MSN controllers to accomplish network objectiv...