Sciweavers

5084 search results - page 301 / 1017
» Proving Possibility Properties
Sort
View
ICDCS
2007
IEEE
15 years 10 months ago
Stratification in P2P Networks: Application to BitTorrent
We consider a model for decentralized collaborative networks that is based on stable matching theory. This model is applied to systems with a global ranking utility function, whic...
Anh-Tuan Gai, Fabien Mathieu, Fabien de Montgolfie...
CTRSA
2008
Springer
113views Cryptology» more  CTRSA 2008»
15 years 8 months ago
Aggregate Message Authentication Codes
We propose and investigate the notion of aggregate message authentication codes (MACs) which have the property that multiple MAC tags, computed by (possibly) different senders on ...
Jonathan Katz, Andrew Y. Lindell
NIPS
2007
15 years 8 months ago
Inferring Elapsed Time from Stochastic Neural Processes
Many perceptual processes and neural computations, such as speech recognition, motor control and learning, depend on the ability to measure and mark the passage of time. However, ...
Misha Ahrens, Maneesh Sahani
CMS
2006
175views Communications» more  CMS 2006»
15 years 8 months ago
Attack Graph Based Evaluation of Network Security
Abstract. The perspective directions in evaluating network security are simulating possible malefactor's actions, building the representation of these actions as attack graphs...
Igor V. Kotenko, Mikhail Stepashkin
IJCAI
2001
15 years 8 months ago
Refining the Basic Constraint Propagation Algorithm
Constraint propagation is the main feature of any constraint solver. This is thus of prime importance to manage constraint propagation as efficiently as possible, justifying the us...
Christian Bessière, Jean-Charles Rég...