3429 search results - page 522 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
233
click to vote
ICDE
2001
IEEE
16 years 5 months ago
2001
IEEE
Current workflow management technology does not provide adequate means for inter-workflow coordination as concurrently executing workflows are considered completely independent. W...
140
click to vote
WWW
2005
ACM
15 years 9 months ago
2005
ACM
An important issue arising from P2P applications is how to accurately and efficiently retrieve the required Web services from large-scale repositories. This paper resolves this is...
105
click to vote
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
131
click to vote
PKDD
2009
Springer
15 years 10 months ago
2009
Springer
Probabilistic logics have attracted a great deal of attention during the past few years. While logical languages have taken a central position in research on knowledge representati...
134
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...