1716 search results - page 190 / 344 » Proving Conditional Termination |
126
Voted
CSCWD
2001
Springer
15 years 5 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
112
Voted
PODS
2000
ACM
15 years 5 months ago
2000
ACM
We study the problem of auditing databases which support statistical sum queries to protect the security of sensitive information; we focus on the special case in which the sensit...
102
Voted
SP
1998
IEEE
15 years 5 months ago
1998
IEEE
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
106
click to vote
ISAAC
1998
Springer
15 years 5 months ago
1998
Springer
In this paper we present a randomized parallel algorithm to sample matchings from an almost uniform distribution on the set of matchings of all sizes in a graph. First we prove th...
100
Voted
SOFSEM
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Formal methods based on the mathematical theory of partially ordered sets (i.e., posets) have been used in the database field for the modelling of spatial data since many...