1056 search results - page 32 / 212 » A Probabilistic Applied Pi-Calculus |
ATVA
2006
Springer
14 years 15 days ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
VLDB
2004
ACM
14 years 2 months ago
2004
ACM
We investigate the problem of ranking answers to a database query when many tuples are returned. We adapt and apply principles of probabilistic models from Information Retrieval f...
ENTCS
2008
13 years 8 months ago
2008
Non-deterministic (also known as possibilistic) and probabilistic state based systems (or automata) have been studied for quite some time. Separately, they are reasonably well-und...
IEEEARES
2009
IEEE
13 years 6 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
UIC
2009
Springer
14 years 3 months ago
2009
Springer
Social networking has provided powerful new ways to find people, organize groups, and share information. Recently, the potential functionalities of the ubiquitous infrastructure le...