15644 search results - page 77 / 3129 » Brittle System Analysis |
144
click to vote
ISSTA
2000
ACM
15 years 10 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...
148
click to vote
CDC
2010
IEEE
15 years 1 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...
175
click to vote
ICIP
2006
IEEE
16 years 7 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...
180
click to vote
IESS
2007
Springer
16 years 9 days 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...
158
click to vote
IPPS
2006
IEEE
16 years 5 days 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...