3429 search results - page 440 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
134
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
The information that is made available through the semantic web will be accessed through complex programs (web-services, sensors, etc.) that may interact in sophisticated ways. Com...
136
click to vote
ICCS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper, we extend Simple Conceptual Graphs with Reiter’s default rules. The motivation for this extension came from the type of reasonings involved in an agronom...
150
click to vote
KONVENS
2000
15 years 8 months ago
2000
Speech repairs occur often in spontaneous spoken dialogues. The ability to detect and correct those repairs is necessary for any spoken language system. We present a framework to ...
171
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
138
click to vote
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...