4814 search results - page 717 / 963 » Combining abstract interpreters |
130
click to vote
ARGMAS
2007
Springer
15 years 7 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...
108
Voted
ATC
2007
Springer
15 years 7 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...
93
Voted
CC
2007
Springer
15 years 7 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 ...
89
Voted
CHES
2007
Springer
15 years 7 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...
117
Voted
CIARP
2007
Springer
15 years 7 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...