Sciweavers

1401 search results - page 253 / 281
» Randomness in Interactive Proofs
Sort
View
MIDDLEWARE
2010
Springer
14 years 8 months ago
LiFTinG: Lightweight Freerider-Tracking in Gossip
This paper presents LiFTinG, the first protocol to detect freeriders, including colluding ones, in gossip-based content dissemination systems with asymmetric data exchanges. LiFT...
Rachid Guerraoui, Kévin Huguenin, Anne-Mari...
BIOCOMP
2010
14 years 7 months ago
A Model Reduction Technique for Stochastic Biochemical Kinetics
Abstract-- Modeling the intermolecular reactions in a single cell is a critical problem in computational biology. Biochemical reaction systems often involve species in both low and...
Silvana Ilie, Ekaterina Kudashkina
QEST
2010
IEEE
14 years 7 months ago
Information Hiding in Probabilistic Concurrent Systems
Information hiding is a general concept which refers to the goal of preventing an adversary to infer secret information from the observables. Anonymity and Information Flow are exa...
Miguel E. Andrés, Catuscia Palamidessi, Pet...
SEMWEB
2010
Springer
14 years 7 months ago
When owl: sameAs Isn't the Same: An Analysis of Identity in Linked Data
Abstract. In Linked Data, the use of owl:sameAs is ubiquitous in interlinking data-sets. There is however, ongoing discussion about its use, and potential misuse, particularly with...
Harry Halpin, Patrick J. Hayes, James P. McCusker,...
80
Voted
ICMCS
2009
IEEE
151views Multimedia» more  ICMCS 2009»
14 years 7 months ago
High accuracy and language independent document retrieval with a Fast Invariant Transform
This paper presents a tool and a novel Fast Invariant Transform (FIT) algorithm for language independent e-documents access. The tool enables a person to access an e-document thro...
Qiong Liu, Hironori Yano, Don Kimber, Chunyuan Lia...