5255 search results - page 365 / 1051 » Formal Methods for Privacy |
137
click to vote
AGTIVE
2003
Springer
15 years 10 months ago
2003
Springer
In this paper, the two types of UML interaction diagrams are considered. A translation of sequence diagrams into collaboration diagrams is constructed by means of graph transformat...
116
Voted
APL
1993
ACM
15 years 9 months ago
1993
ACM
: The problem of a finding of ranging of the objects nearest to the cyclic relation set by the expert between objects is considered. Formalization of the problem arising at it is r...
123
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
We introduce a uniform approach of representing a variety of paraconsistent non-monotonic formalisms by quantified Boolean formulae (QBFs) in the context of four-valued semantics. ...
177
Voted
FIW
1998
15 years 6 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
138
Voted
ACTA
2007
15 years 5 months ago
2007
The recursive descent parsing method for the context-free grammars is extended for their generalization, Boolean grammars, which include explicit set-theoretic operations in the f...