12981 search results - page 2474 / 2597 » Model Checking and Abstraction |
131
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
We give the first systematic investigation of the design space of worm defense system strategies. We accomplish this by g a taxonomy of defense strategies by abstracting away impl...
122
click to vote
ECCV
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Assessing the matching error rates of a biometric identification devices is integral to understanding its performance. Here we propose and evaluate several methods for cr...
116
click to vote
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Computational Game Theory is a way to study and evaluate behaviors using game theory models, via agent-based computer simulations. One of the most known example of this a...
122
click to vote
COMPGEOM
2001
ACM
15 years 5 months ago
2001
ACM
This presentation illustrates examples of my geometric sculpture and outlines certain design techniques. I apply methods from the field of computational geometry to the creation o...
PATMOS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The emergence of data-intensive applications in mobile environments has resulted in portable electronic systems with increasingly large dynamic memories. The typical oper...