1356 search results - page 76 / 272 » A variable-free dynamic semantics |
ICIW
2007
IEEE
15 years 4 months ago
2007
IEEE
—In this paper, we present a new approach for service discovery combining semantic web and peer-to-peer techniques. A reference ontology is used to describe and discover services...
OTM
2007
Springer
15 years 4 months ago
2007
Springer
We show how Semantic Web technologies can be used to build an access control system. We follow the role-based access control approach (RBAC) and extend it with contextual attribute...
CCGRID
2005
IEEE
15 years 3 months ago
2005
IEEE
Addressing the long term preservation issues associated with scientific data is a complex challenge compounded by: the scale and multidisciplinary nature of the problem; the wide ...
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
WEBI
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we particularly focused our attention on how to enhance expressivity of ontologies when used as organized space values in a catalogue request process. Using the Wis...