4507 search results - page 424 / 902 » Generalized Binet dynamics |
154
click to vote
ASPLOS
2006
ACM
16 years 23 days ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...
150
click to vote
HT
2006
ACM
16 years 23 days ago
2006
ACM
This paper presents a new definition of context for contextaware computing based on a model that relies on dynamic queries over structured objects. This new model enables develop...
185
click to vote
CODES
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper presents a novel approach for multiprocess synthesis supporting well-tailored module integration at system level. The goal is to extend the local scope of existing arch...
150
click to vote
ICAC
2005
IEEE
16 years 12 days ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
175
click to vote
INFOCOM
2005
IEEE
16 years 12 days ago
2005
IEEE
— Distributed Denial of Service (DDoS) attacks pose a serious threat to service availability of the victim network by severely degrading its performance. Recently, there has been...