1034 search results - page 76 / 207 » Formalization of Web Design Patterns Using Ontologies |
FM
2005
Springer
14 years 1 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
SKG
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
Ontology-based applications play an increasingly important role in the public and corporate Semantic Web. While today there exist a range of tools and technologies to support speci...
ICSR
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Refinement concepts, such as procedural and data refinement, are among the most important ideas of software engineering. In this paper, we investigate the idea of design ...
KCAP
2009
ACM
14 years 2 months ago
2009
ACM
In this paper we give an overview of a multiontology disambiguation method, targeted to discover the intended meaning of words in unstructured web contexts. It receives an ambiguo...