4426 search results - page 94 / 886 » Concurrent Constraint Programming |
112
Voted
ICALP
1998
Springer
15 years 8 months ago
1998
Springer
140
click to vote
JOT
2008
15 years 4 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
105
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
While WS-BPEL is emerging as the prominent language for modeling executable business processes, it provides limited support for designing flexible processes. An important need of ...
133
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
General purpose object-oriented programs typically aren’t embarrassingly parallel. For these applications, finding enough concurrency remains a challenge in program design. To ...