5255 search results - page 243 / 1051 » Formal Methods for Privacy |
172
click to vote
TDSC
2008
15 years 4 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
163
click to vote
SIAMCOMP
2002
15 years 3 months ago
2002
This paper presents a formal design for a novel group communication service targeted for WANs. The service provides Virtual Synchrony semantics. Such semantics facilitate the desi...
143
Voted
JCST
2010
14 years 11 months ago
2010
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...
117
Voted
JUCS
2010
15 years 2 months ago
2010
: The situational method engineering (SME) literature is surveyed and a synoptic evaluation presented in the context of formalizing and regularizing the conceptual framework and un...
133
Voted
ISEMANTICS
2010
15 years 5 months ago
2010
We present the STEX system, a semantic extension of LATEX, that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc docu...