1887 search results - page 33 / 378 » Annotation Framework Validation Using Domain Models |
KES
2008
Springer
14 years 11 months ago
2008
Springer
One of the main problems facing the development of ontology-aware authoring systems (OAS) is to link well-designed domain-independent knowledge (ontologies) with domain content. Su...
101
click to vote
CAV
2005
Springer
15 years 5 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
108
click to vote
MIG
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Navigational performance of artificial intelligence (AI) characters in computer games is gaining an increasingly important role in the perception of their behavior. Whil...
GRID
2003
Springer
15 years 5 months ago
2003
Springer
With the advent of web services standards and a serviceoriented Grid architecture, it is foreseeable that competing as well as complimenting computational services will proliferat...
131
click to vote
ASM
2008
ASM
15 years 1 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...