3429 search results - page 543 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
125
Voted
GI
2009
Springer
15 years 12 days ago
2009
Springer
: We explore the expressiveness of the BPMN workflow modelling language by applying it to MuCoMS, a paper submission system. This well known application domain is a suitable exampl...
131
Voted
IICAI
2007
15 years 4 months ago
2007
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...
112
click to vote
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
141
Voted
EDBT
2010
ACM
15 years 6 months ago
2010
ACM
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...
139
Voted
ACL
2010
15 years 20 days ago
2010
This is a system demo for a set of tools for translating texts between multiple languages in real time with high quality. The translation works on restricted languages, and is bas...