5255 search results - page 432 / 1051 » Formal Methods for Privacy |
163
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
190
click to vote
SFM
2007
Springer
16 years 29 days ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
164
click to vote
ENC
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper explores the process of validation for the syntax of a graphical notation. We define a unified specification for five of the UML diagrams used by the Discovery Method a...
151
click to vote
AMAST
2004
Springer
16 years 7 days ago
2004
Springer
We develop an equational definition of exception monads that characterizes Moggi’s exception monad transformer. This axiomatization is then used to define an extension of previ...
149
click to vote
IFL
2004
Springer
16 years 6 days ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...