5255 search results - page 229 / 1051 » Formal Methods for Privacy |
131
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
In this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allo...
195
click to vote
FCA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in our understanding of mathem...
134
Voted
ENTCS
2006
15 years 4 months ago
2006
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...
150
click to vote
FCA
2005
Springer
15 years 9 months ago
2005
Springer
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...
121
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...