4211 search results - page 501 / 843 » Types as Abstract Interpretations |
156
click to vote
ICPADS
2005
IEEE
16 years 6 days ago
2005
IEEE
Abstract— Multimedia centric P2P must take into consideration the main characteristics and the complex relationships among multimedia objects. In this paper, we propose a cluster...
166
click to vote
TPHOL
2005
IEEE
16 years 6 days ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
188
click to vote
SC
2005
ACM
16 years 5 days ago
2005
ACM
Resource management is a key concern for implementing effective Grid middleware and shielding application developers from low level details. Existing resource managers concentrat...
180
click to vote
CANS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper, we propose a new unsupervised anomaly detection framework for detecting network intrusions online. The framework consists of new anomalousness metrics name...
187
click to vote
CC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...