1581 search results - page 50 / 317 » Domain semantics of possibility computations |
REST
2010
ACM
13 years 11 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
EUROCRYPT
2010
Springer
14 years 2 months ago
2010
Springer
A seminal result of Cleve (STOC ’86) is that, in general, complete fairness is impossible to achieve in two-party computation. In light of this, various techniques for obtaining...
ICSEA
2009
IEEE
14 years 4 months ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...
JLP
2006
13 years 10 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
SAC
2010
ACM
14 years 4 months ago
2010
ACM
This paper presents SAAF, a Semantic Accessibility Assessment Framework for personalised Web accessibility assessment procedures. We define four domains as a way to decouple gene...