1034 search results - page 115 / 207 » Formalization of Web Design Patterns Using Ontologies |
IJSWIS
2007
13 years 9 months ago
2007
This paper presents a hybrid, extensional and asymmetric matching approach designed to find out semantic relations (equivalence and subsumption) between entities issued from two ...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
The Web is constantly changing, but most tools used to access Web content deal only with what can be captured at a single instance in time. As a result, Web users may not have a g...
TMRA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Topincs provides a RESTful web service interface for retrieval and manipulation of topic maps. A Topincs Server implementing the interface can host many stores, which are...
AAAI
2007
13 years 11 months ago
2007
In this paper, we consider the problem of composing a set of web services, where the requirements are specified in terms of the input and output messages of the composite workfl...
POPL
2008
ACM
14 years 9 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...