5255 search results - page 965 / 1051 » Formal Methods for Privacy |
144
click to vote
MAGS
2008
15 years 2 months ago
2008
This paper presents approaches for building, managing, and evaluating consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent h...
111
click to vote
MICS
2008
15 years 2 months ago
2008
Abstract. OpenMath [6] is a standard for representing the semantics of mathematical objects. It differs from Presentation MathML [8] in not being directly concerned with the presen...
109
click to vote
ENTCS
2007
15 years 2 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
122
click to vote
ENTCS
2007
15 years 2 months ago
2007
We use the interactive theorem prover Isabelle to prove that the algebraic axiomatization of bisimulation equivalence in the pi-calculus is sound and complete. This is the first ...
103
click to vote
JSAC
2006
15 years 2 months ago
2006
Abstract-- Information about the topology and link-level characteristics of a network is critical for many applications including network diagnostics and management. However, this ...