1034 search results - page 29 / 207 » Formalization of Web Design Patterns Using Ontologies |
AIME
2009
Springer
13 years 8 months ago
2009
Springer
: Clinical Pathways can be viewed as workflows, comprising an ordering of activities with associated execution constraints. Workflow models allow formal representation, analysis an...
AIME
2005
Springer
14 years 1 months ago
2005
Springer
Evidence-based clinical guidelines require frequent updates due to research and technology advances. The quality of guideline updates can be improved if the knowledge underlying th...
TLDI
2009
ACM
14 years 4 months ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
CIMCA
2005
IEEE
14 years 1 months ago
2005
IEEE
In Internet marketing, Web audience analysis is essential to understanding the visitors’ needs. However, the existing analysis tools fail to deliver summarized and conceptual me...
ER
2004
Springer
13 years 11 months ago
2004
Springer
The semantic web envisions a World Wide Web in which data is described with rich semantics and applications can pose complex queries. Ontologies, a cornerstone of the semantic web,...