Sciweavers

2321 search results - page 285 / 465
» A Protocol for a Distributed Recommender System
Sort
View
HOLOMAS
2003
Springer
15 years 9 months ago
Integration of Automation Resources in Holonic Manufacturing Applications
Holonic and agent-based paradigms are very suitable in the development of distributed manufacturing control systems, taking advantage of their modularity, decentralization, and abi...
Paulo Leitão, Raymond Boissier, Francisco C...
EUROMICRO
2004
IEEE
15 years 8 months ago
CoBFIT: A Component-Based Framework for Intrusion Tolerance
In this paper, we present the architecture of CoBFIT, a component-based framework for building intrusion-tolerant distributed systems. The CoBFIT framework, by virtue of its desig...
HariGovind V. Ramasamy, Adnan Agbaria, William H. ...
SPIN
2000
Springer
15 years 8 months ago
Logic Verification of ANSI-C Code with SPIN
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
Gerard J. Holzmann
ATAL
2005
Springer
15 years 10 months ago
Decentralized voting with unconditional privacy
The aggregation of conflicting preferences is a key issue in multiagent systems. Due to its universality, voting has a central role among preference aggregation mechanisms. Votin...
Felix Brandt, Tuomas Sandholm
OSDI
2000
ACM
15 years 5 months ago
End-to-End Authorization
Many boundaries impede the flow of authorization information, forcing applications that span those boundaries into hop-by-hop approaches to authorization. We present a unified app...
Jon Howell, David Kotz