Sciweavers

1412 search results - page 65 / 283
» types 2004
Sort
View
APLAS
2004
ACM
14 years 2 months ago
Concurrency Combinators for Declarative Synchronization
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
Pawel T. Wojciechowski
SAC
2004
ACM
14 years 2 months ago
The effectiveness of combining information retrieval strategies for European languages
Building an effective Information Retrieval system requires various design choices, ranging from the weighting scheme to the type of morphological normalization. The combination ...
Jaap Kamps, Maarten de Rijke
ACOM
2004
Springer
14 years 2 months ago
Agent Communication and Institutional Reality
Abstract. In this paper we propose to regard an Agent Communication Language (ACL) as a set of conventions to act on a fragment of institutional reality, defined in the context of...
Nicoletta Fornara, Francesco Viganò, Marco ...
ARGMAS
2004
Springer
14 years 2 months ago
Layered Strategies and Protocols for Argumentation-Based Agent Interaction
Abstract. Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics ...
Antonis C. Kakas, Nicolas Maudet, Pavlos Moraitis
CCS
2004
ACM
14 years 2 months ago
Security policies for downgrading
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...
Stephen Chong, Andrew C. Myers