4814 search results - page 657 / 963 » Combining abstract interpreters |
165
click to vote
KI
2007
Springer
16 years 25 days 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...
192
click to vote
MIDDLEWARE
2007
Springer
16 years 24 days 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...
202
click to vote
DASC
2006
IEEE
16 years 22 days 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 ...
180
click to vote
IPPS
2006
IEEE
16 years 21 days 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...
198
click to vote
SSD
2005
Springer
16 years 4 days 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 ...