1105 search results - page 166 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
112
click to vote
BMVC
2000
15 years 4 months ago
2000
Vision-based systems for remote surveillance usually involve change detection algorithms for intruders, obstacles or irregularities detection. In particular, there is a potentiall...
135
click to vote
RTCSA
2007
IEEE
15 years 9 months ago
2007
IEEE
— To use the tremendous hardware resources available in next generation MultiProcessor Systems-on-Chip (MPSoC) efficiently, rapid and accurate design space exploration (DSE) met...
159
click to vote
WSCG
2004
15 years 4 months ago
2004
In this paper we describe a robust and efficient procedure to detect skin region with homogeneous color values in monocular indoor images. The mathematical background is a functio...
137
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
—In network measurement systems, packet sampling techniques are usually adopted to reduce the overall amount of data to collect and process. Being based on a subset of packets, t...
158
Voted
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...