Sciweavers

202 search results - page 17 / 41
» ideal 2004
Sort
View
77
Voted
TYPES
2004
Springer
15 years 2 months ago
A Machine-Checked Formalization of the Random Oracle Model
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
Gilles Barthe, Sabrina Tarento
AINA
2004
IEEE
15 years 1 months ago
A Time and Distance - Based Multicast Algorithm for IPv6 Mobile Networks
IP multicasting has naturally been considered the ideal technique to be used with multimedia communications. Unfortunately, current multicast protocols do not consider the dynamic...
Wu-Hsiao Hsu, Bin-Hau Lee, Ming-Han Liu, Bor-Yeh S...
CCGRID
2004
IEEE
15 years 1 months ago
A reputation-based trust management system for P2P networks
The open and anonymous nature of a P2P network makes it an ideal medium for attackers to spread malicious content. In this paper, we propose a reputation-based trust management sy...
Ali Aydin Selçuk, Ersin Uzun, Mark Resat Pa...
DIAGRAMS
2004
Springer
15 years 1 months ago
Incorporating Perceptual Task Effort into the Recognition of Intention in Information Graphics
The rapidly increasing availability of electronic publications containing information graphics poses some interesting challenges in terms of information access. For example, visual...
Stephanie Elzer, Nancy Green, Sandra Carberry, Jam...
AIPS
2004
14 years 11 months ago
Distributed Feedback Control for Decision Making on Supply Chains
Decision makers on supply chains face an uncertain, dynamic, and strategic multiagent environment. We report on Deep Maize, an agent we designed to participate in the 2003 Trading...
Christopher Kiekintveld, Michael P. Wellman, Satin...