4814 search results - page 717 / 963 » Combining abstract interpreters |
166
Voted
ARGMAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
150
click to vote
ATC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Grid applications have increasingly sophisticated functional and security requirements. However, current techniques mostly protect only the resource provider from attacks...
137
click to vote
CC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...
127
click to vote
CHES
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper presents a design-space exploration of the Galois/Counter Mode (GCM) algorithm with Advanced Encryption Standard (AES) as underlying block cipher for high thro...
167
Voted
CIARP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper presents a methodology for the automatic segmentation of rock-scenes using a combination of range and intensity vision. A major problem in rock scene segmentat...