1980 search results - page 115 / 396 » Compositional Model Checking of Real Time Systems |
111
click to vote
REFSQ
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
126
click to vote
ICPR
2002
IEEE
15 years 6 months ago
2002
IEEE
Abstract Target detection and tracking is one of the most important and fundamental technologies to develop real world computer vision systems such as security and traffic monitori...
164
click to vote
PSIVT
2007
Springer
15 years 7 months ago
2007
Springer
In this article a robust and real-time hand gesture detection and recognition system for dynamic environments is proposed. The system is based on the use of boosted classifiers for...
122
click to vote
QEST
2007
IEEE
15 years 8 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
122
Voted
DSRT
2003
IEEE
15 years 7 months ago
2003
IEEE
Many-to-many multicast transmission is an essential network capability for scalable distributed simulation. The many open issues that make network-layer multicast impractical over...