5255 search results - page 899 / 1051 » Formal Methods for Privacy |
130
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow software agents to automatically identify these Web r...
143
click to vote
WWW
2003
ACM
16 years 4 months ago
2003
ACM
An important objective of the Semantic Web is to make Electronic Commerce interactions more flexible and automated. To achieve this, standardization of ontologies, message content...
150
click to vote
WWW
2003
ACM
16 years 4 months ago
2003
ACM
This paper presents a design methodology that deals with the presentation aspects involved in the development of a Semantic Web Information System. The methodology is driven by tw...
116
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Size-change termination involves deducing program termination based on the impossibility of infinite descent. To this end we may use m abstraction in which transitions ar...
132
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...