1034 search results - page 29 / 207 » Formalization of Web Design Patterns Using Ontologies |
112
click to vote
AIME
2009
Springer
15 years 1 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...
104
Voted
AIME
2005
Springer
15 years 6 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...
89
Voted
TLDI
2009
ACM
15 years 9 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...
138
click to vote
CIMCA
2005
IEEE
15 years 6 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...
117
Voted
ER
2004
Springer
15 years 4 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,...