4814 search results - page 657 / 963 » Combining abstract interpreters |
128
click to vote
KI
2007
Springer
15 years 11 months ago
2007
Springer
Readylog is a logic-based agent programming language and combines many important features from other Golog dialects. One of the features of Readylog is to make use of decision-theo...
172
click to vote
MIDDLEWARE
2007
Springer
15 years 11 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
172
click to vote
DASC
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
146
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Users and developers of grid applications have access to increasing numbers of resources. While more resources generally mean higher capabilities for an application, they also rai...
174
click to vote
SSD
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A top-k OLAP query groups measures with respect to some abstraction level of interesting dimensions and selects the k groups with the highest aggregate value. An example ...