Sciweavers

3429 search results - page 107 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
ECMDAFA
2006
Springer
104views Hardware» more  ECMDAFA 2006»
13 years 11 months ago
The Epsilon Object Language (EOL)
Model-Driven Development requires model management languages and tools for supporting model operations such as editing, consistency checking, and transformation. At the core of the...
Dimitrios S. Kolovos, Richard F. Paige, Fiona Pola...
WWW
2006
ACM
14 years 8 months ago
Position paper: a comparison of two modelling paradigms in the Semantic Web
Classical logics and Datalog-related logics have both been proposed as underlying formalisms for the Semantic Web. Although these two different formalism groups have some commonal...
Peter F. Patel-Schneider, Ian Horrocks
ICTAC
2004
Springer
14 years 1 months ago
Verifying OWL and ORL Ontologies in PVS
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li
IUI
2009
ACM
14 years 4 months ago
Positive effects of redundant descriptions in an interactive semantic speech interface
Spoken language interfaces based on interactive semantic language models [16, 14] allow probabilities for hypothesized words to be conditioned on the semantic interpretation of th...
Lane Schwartz, Luan Nguyen, Andrew Exley, William ...
ISSRE
2002
IEEE
14 years 25 days ago
Inter-Class Mutation Operators for Java
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
Yu-Seung Ma, Yong Rae Kwon, Jeff Offutt