Sciweavers

290 search results - page 30 / 58
» The Intersection Probability and Its Properties
Sort
View
119
Voted
EUROPAR
2007
Springer
15 years 7 months ago
On the Connectivity of Bluetooth-Based Ad Hoc Networks
We study the connectivity properties of a family of random graphs which closely model the Bluetooth’s device discovery process, where each device tries to connect to other device...
Pilu Crescenzi, Carlo Nocentini, Andrea Pietracapr...
TCC
2004
Springer
173views Cryptology» more  TCC 2004»
15 years 6 months ago
Soundness of Formal Encryption in the Presence of Active Adversaries
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
Daniele Micciancio, Bogdan Warinschi
103
Voted
CMSB
2008
Springer
15 years 2 months ago
A Model Checking Approach to the Parameter Estimation of Biochemical Pathways
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
Robin Donaldson, David Gilbert
88
Voted
CLIN
2003
15 years 2 months ago
On the Statistical Consistency of DOP Estimators
A statistical estimator attempts to guess an unknown probability distribution by analyzing a sample from this distribution. One desirable property of an estimator is that its gues...
Detlef Prescher, Remko Scha, Khalil Sima'an, Andre...
130
Voted
PODS
2008
ACM
174views Database» more  PODS 2008»
16 years 28 days ago
Epistemic privacy
We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a description of sensitive data, ...
Alexandre V. Evfimievski, Ronald Fagin, David P. W...