1375 search results - page 109 / 275 » SDL-2000: A Language with a Formal Semantics |
SPIN
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
108
click to vote
AOSE
2001
Springer
15 years 2 months ago
2001
Springer
In this paper, we present a social model for software agent conversations for action based on social commitments and their negotiation. We depart from the premises that conversati...
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
BNCOD
2004
14 years 11 months ago
2004
When storing data in heterogeneous databases, one of the top-down design issues concerns the usage of multiple query languages. A common language enables querying of database schem...
ESWS
2006
Springer
15 years 1 months ago
2006
Springer
Functional descriptions are a central pillar of Semantic Web services. Disregarding details on how to invoke and consume the service, they shall provide a black box description for...