15644 search results - page 77 / 3129 » Brittle System Analysis |
126
click to vote
ISSTA
2000
ACM
15 years 9 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
130
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper presents a sum of squares (SOS) approach to the stability analysis of networked control systems (NCSs) incorporating time-varying delays and time-varying transmission in...
147
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
In this paper we present an approach for lip motion analysis that can be used in conjunction with a person authentication system based on face recognition, to avoid attacks on the...
162
click to vote
IESS
2007
Springer
15 years 10 months ago
2007
Springer
: The performance of feasibility tests is crucial in many applications. When using feasibility tests online only a limited amount of analysis time is available. Run-time efficiency...
138
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...