6607 search results - page 868 / 1322 » Making TeX Work |
219
click to vote
WOSP
2005
ACM
16 years 14 days ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
164
click to vote
WPES
2005
ACM
16 years 14 days ago
2005
ACM
This paper introduces a novel approach for augmenting attributebased access control systems in a way that allows them to offer fully anonymous access to resources while at the sam...
202
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
210
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
188
click to vote
BIRTHDAY
2005
Springer
16 years 13 days ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...