Sciweavers

1412 search results - page 65 / 283
» types 2004
Sort
View
133
Voted
APLAS
2004
ACM
15 years 8 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
101
Voted
SAC
2004
ACM
15 years 8 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
109
Voted
ACOM
2004
Springer
15 years 8 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 ...
106
Voted
ARGMAS
2004
Springer
15 years 8 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
116
Voted
CCS
2004
ACM
15 years 8 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