3081 search results - page 94 / 617 » A Formal Ontology of Properties |
175
click to vote
SP
2008
IEEE
16 years 21 days ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
213
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
151
click to vote
COLING
1996
15 years 7 months ago
1996
This paper presents a unified theory of verbal irony tbr developing a computational model of irony. The theory claims that an ironic utterance implicitly communicates the fact tha...
134
click to vote
EXPERT
2008
15 years 6 months ago
2008
nition of a common model that abstracted the shared knowledge (ontology); a formalism for representing such knowledge (Knowledge Interchange Format, or KIF); and a transport-indepe...
147
click to vote
AIIA
2007
Springer
16 years 15 days ago
2007
Springer
Relational database (DB) management systems provide the standard means for structuring and querying large amounts of data. However, to access such data the exact structure of the D...