6047 search results - page 322 / 1210 » Modeling with Extend |
163
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
162
click to vote
AMDO
2006
Springer
15 years 8 months ago
2006
Springer
The ability to detect and track human heads and faces in video sequences is useful in a great number of applications, such as human-computer interaction and gesture recognition. Re...
147
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- This paper focuses on the identification of nonlinear hybrid systems involving unknown nonlinear dynamics. The proposed method extends the framework of [1] by introducin...
148
click to vote
ASWEC
2008
IEEE
15 years 11 months ago
2008
IEEE
Security is an integral part of most software systems but it is not considered as an explicit part in the development process yet. Input validation is the most critical part of so...
119
click to vote
ACOM
2004
Springer
15 years 8 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...