Sciweavers

1548 search results - page 27 / 310
» Semantics and Extensions of WS-Agreement
Sort
View
SAC
2009
ACM
14 years 2 months ago
SWOBE - embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the sat
The Semantic Web and its technologies become increasingly important. As more and more Semantic Web applications are being used, developing more stable Semantic Web applications be...
Sven Groppe, Jana Neumann, Volker Linnemann
FORTE
1992
13 years 11 months ago
A constraint-oriented real-time process calculus
A real-time extension of ccs is described, based on true concurrency semantics and a determination to make composition the sole arbiter of real-time behaviour. The resultant calcu...
Colin J. Fidge
IGPL
2008
67views more  IGPL 2008»
13 years 10 months ago
Complete Axiomatisations of Properties of Finite Sets
We study a logic whose formulae are interpreted as properties of a finite set over some universe. The language is propositional, with two unary operators inclusion and extension, ...
Thomas Ågotnes, Michal Walicki
ESWS
2007
Springer
14 years 4 months ago
SPARQLeR: Extended Sparql for Semantic Association Discovery
Complex relationships, frequently referred to as semantic associations, are the essence of the Semantic Web. Query and retrieval of semantic associations has been an important task...
Krys Kochut, Maciej Janik
HICSS
2003
IEEE
107views Biometrics» more  HICSS 2003»
14 years 3 months ago
XML Access Control for Semantically Related XML Documents
The extensible markup language (XML) is a standard for describing information on the Internet and is quickly becoming the most preferred way to store and exchange information. The...
Vijay Parmar, Hongchi Shi, Su-Shing Chen