256 search results - page 45 / 52 » Uncertainty Reasoning for Linked Data |
116
click to vote
SP
2008
IEEE
15 years 8 days 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 ...
CORR
2002
Springer
15 years 5 days ago
2002
Springer
A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the t...
104
Voted
TGIS
2002
15 years 25 min ago
2002
Traditional GISystems are no longer appropriate for modern distributed, heterogeneous network environments due to their closed architecture, and their lack of interoperability, reu...
80
Voted
EMNLP
2010
14 years 10 months ago
2010
Linguistic Steganography is concerned with hiding information in natural language text. One of the major transformations used in Linguistic Steganography is synonym substitution. ...
106
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
An important obstacle to the success of the Semantic Web is that the establishment of the semantic relationship is labor-intensive. This paper proposes an automatic semantic relat...