458 search results - page 25 / 92 » Designing and executing protocols using the event calculus |
ASPLOS
2000
ACM
14 years 1 months ago
2000
ACM
This paper describes the architecture and implementation of the AlphaServer GS320, a cache-coherent non-uniform memory access multiprocessor developed at Compaq. The AlphaServer G...
BPM
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
ENTCS
2007
13 years 8 months ago
2007
Recently the term Web Services choreography has been introduced to address some issues related to Web Services composition and coordination. Several proposals for describing chore...
ENTCS
2008
13 years 9 months ago
2008
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
AOSD
2009
ACM
14 years 3 months ago
2009
ACM
ive semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented fro...