3995 search results - page 441 / 799 » Linearization of hybrid processes |
203
click to vote
RAID
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
163
click to vote
SGAI
2007
Springer
16 years 27 days ago
2007
Springer
In this paper we describe the concept of Meta ARM in the context of its objectives and challenges and go on to describe and analyse a number of potential solutions. Meta ARM is de...
187
click to vote
CGI
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper presents a quasi-physically based approach for interactively simulating large-scale dynamic forest scenes under different wind conditions. We introduce theories from th...
187
Voted
DATE
2006
IEEE
16 years 25 days ago
2006
IEEE
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
176
click to vote
DIAL
2006
IEEE
16 years 25 days ago
2006
IEEE
It is common for libraries to provide public access to historical and ancient document image collections. It is common for such document images to require specialized processing i...