603 search results - page 97 / 121 » A Formal Operational Semantics for SOFL |
115
click to vote
PKDD
1999
Springer
15 years 6 months ago
1999
Springer
We describe the problem of mining possibilistic set-valued rules in large relational tables containing categorical attributes taking a finite number of values. An example of such a...
115
click to vote
FOIKS
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...
ICDT
1995
ACM
15 years 5 months ago
1995
ACM
Partial information in databases can arise when information from several databases is combined. Even if each database is complete for some \world", the combined databases wil...
128
Voted
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
149
click to vote
IWFM
2003
15 years 3 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...