2136 search results - page 92 / 428 » A Game-Theoretic Operational Semantics |
COORDINATION
2006
Springer
14 years 28 days ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
RE
2009
Springer
14 years 3 months ago
2009
Springer
With the popularity of model-driven methodologies, and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modell...
AAAI
2007
13 years 11 months ago
2007
Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on complex logical representation...
DFG
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
ER
2004
Springer
14 years 29 days 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,...