4693 search results - page 686 / 939 » Verifying Hybrid Systems |
132
Voted
DATE
2009
IEEE
16 years 27 days ago
2009
IEEE
A new approach in hierarchical optimisation is presented which is capable of optimising both the performance and yield of an analogue design. Performance and yield trade offs are ...
173
click to vote
SPIN
2009
Springer
16 years 21 days ago
2009
Springer
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
158
click to vote
ICPR
2008
IEEE
16 years 18 days ago
2008
IEEE
In facial image analysis, image resolution is an important factor which has great influence on the performance of face recognition systems. As for lowresolution face recognition p...
145
Voted
ISCC
2008
IEEE
16 years 17 days ago
2008
IEEE
In this paper, a novel solution to dynamically control the resources of a WiMAX system is proposed. The presented solution is aligned with the NGN trends, as well as with the WiMA...
169
Voted
KBSE
2008
IEEE
16 years 16 days ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...