360 search results - page 45 / 72 » Specifying and Using a Partitionable Group Communication Ser... |
121
click to vote
CLUSTER
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Software Distributed Shared Memory (SDSM) systems provide programmers with a shared memory programming environment across distributed memory architectures. In contrast t...
114
click to vote
BPSC
2009
15 years 3 months ago
2009
Abstract: When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable ...
124
Voted
EON
2008
15 years 3 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
121
click to vote
NOMS
2000
IEEE
15 years 6 months ago
2000
IEEE
The Distributed Resource Controller (DRC) technology described in this paper provides a novel approach to interfacing applications with emerging network mechanisms to deliver Qual...
109
click to vote
ENTCS
2007
15 years 1 months ago
2007
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...