2688 search results - page 144 / 538 » A formal semantics for P3P |
213
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Latest results of statistical learning theory have provided techniques such us pattern analysis and relational learning, which help in modeling system behavior, e.g. the semantics ...
158
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
A relation between two secrets, known in the literature as nondeducibility, was originally introduced by Sutherland. We extend it to a relation between sets of secrets that we call...
168
click to vote
DALT
2003
Springer
15 years 11 months ago
2003
Springer
We propose a logic-based rendition of electronic institutions – these are means to specify open agent organisations. We employ a simple notation based on first-order logic and s...
146
click to vote
ECAI
2004
Springer
15 years 10 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. ...
146
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
Unlike Z, Object-Z allows schemas to be defined recursively. This enables mutual and self recursive structures, commonly occurring in object-oriented programs, to be readily specif...