5084 search results - page 98 / 1017 » Proving Possibility Properties |
240
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
110
click to vote
SODA
2010
ACM
16 years 2 months ago
2010
ACM
Let be a disk of radius R in the plane. A set F of closed unit disks contained in forms a maximal packing if the unit disks are pairwise disjoint and the set is maximal: i.e., i...
159
click to vote
ICML
2009
IEEE
16 years 5 days ago
2009
IEEE
One of the main problems in probabilistic grammatical inference consists in inferring a stochastic language, i.e. a probability distribution, in some class of probabilistic models...
173
click to vote
ICECCS
2009
IEEE
16 years 1 days ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
165
click to vote
ICNP
2009
IEEE
16 years 1 days ago
2009
IEEE
—Wormhole attack is a severe threat to wireless ad hoc and sensor networks. Most existing countermeasures either require specialized hardware devices or make strong assumptions o...