Sciweavers

12635 search results - page 170 / 2527
» Which semantic web
Sort
View
ICDE
2008
IEEE
200views Database» more  ICDE 2008»
14 years 5 months ago
Enforcing security in semantics driven policy based networks
— Security is emerging as an important requirement for a number of distributed applications such as online banking, social networking etc. due to the private nature of the data b...
Palanivel Balaji Kodeswaran, Sethuram Balaji Kodes...
ENTCS
2008
90views more  ENTCS 2008»
13 years 10 months ago
Formal Verification of Websites
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
Sonia Flores, Salvador Lucas, Alicia Villanueva
WWW
2006
ACM
14 years 11 months ago
Automatic matchmaking of web services
Web services help in achieving increased automation across organizational boundaries. In this paper, we present an approach for annotating WSDL documents with semantically rich de...
Rudi Studer, Sudhir Agarwal
WWW
2007
ACM
14 years 11 months ago
Improving Ontology Recommendation and Reuse in WebCORE by Collaborative Assessments
In this work, we present an extension of CORE [2], a tool for Collaborative Ontology Reuse and Evaluation. The system receives an informal description of a specific semantic domai...
Iván Cantador, Miriam Fernández, Pab...
PPSWR
2004
Springer
14 years 4 months ago
Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
François Bry, Stephanie Spranger