4217 search results - page 696 / 844 » Computational indistinguishability logic |
98
Voted
SIGMOD
2010
ACM
15 years 1 months ago
2010
ACM
In massively collaborative projects such as scientific or community databases, users often need to agree or disagree on the content of individual data items. On the other hand, tr...
108
Voted
CORR
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
112
Voted
ENTCS
2008
15 years 27 days ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
90
Voted
ARTMED
2006
15 years 27 days ago
2006
Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomed...
87
Voted
CSDA
2006
15 years 26 days ago
2006
Uncertainty is an attribute of information. The path-breaking work of Shannon has led to a universal acceptance of the thesis that information is statistical in nature. Concomitan...