3429 search results - page 205 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
127
click to vote
PROCOMET
1998
15 years 5 months ago
1998
We develop a theory of bisimulations in the join-calculus. We introduce a refined operational model that makes interactions with the environment explicit, and discuss the impact o...
134
Voted
ENTCS
2006
15 years 4 months ago
2006
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...
138
click to vote
ICALP
1997
Springer
15 years 7 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
151
Voted
EMNLP
2010
15 years 1 months ago
2010
We show that jointly performing semantic role labeling (SRL) on bitext can improve SRL results on both sides. In our approach, we use monolingual SRL systems to produce argument c...
136
click to vote
ACL
2012
13 years 6 months ago
2012
Comprehending action preconditions and effects is an essential step in modeling the dynamics of the world. In this paper, we express the semantics of precondition relations extrac...