15372 search results - page 2794 / 3075 » The Semantics of Semantic Annotation |
157
click to vote
SP
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
126
click to vote
SPE
2008
15 years 4 months ago
2008
This paper presents a variation of the visitor pattern which allows programmers to write visitor-like code in a concise way. The Runabout is a library extension that adds a limited...
122
click to vote
STTT
2008
15 years 4 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
140
click to vote
AMC
2005
15 years 4 months ago
2005
A convertible authenticated encryption scheme allows a designated receiver to recover and verify a message simultaneously, during which the recipient can prove the dishonesty of t...
161
click to vote
IJSWIS
2007
15 years 4 months ago
2007
This paper presents a hybrid, extensional and asymmetric matching approach designed to find out semantic relations (equivalence and subsumption) between entities issued from two ...