Sciweavers

4045 search results - page 85 / 809
» Special Section on Parallel Distributed Computing and Networ...
Sort
View
COORDINATION
2006
Springer
15 years 8 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
IPPS
1998
IEEE
15 years 8 months ago
Protocols for Non-Deterministic Communication over Synchronous Channels
In this paper, we propose several deadlock-free protocols for implementing the generalized alternative construct, where a process non-deterministically chooses between sending or ...
Erik D. Demaine
108
Voted
CLUSTER
2003
IEEE
15 years 10 months ago
Shared Memory Mirroring for Reducing Communication Overhead on Commodity Networks
Bruce Palmer, Jarek Nieplocha, Edoardo Aprà