1636 search results - page 15 / 328 » Dynamic and Distributed Interaction Protocols |
PPOPP
1997
ACM
15 years 3 months ago
1997
ACM
Some of the most common parallel programming idioms include locks, barriers, and reduction operations. The interaction of these programming idioms with the multiprocessor's c...
COMCOM
2006
14 years 11 months ago
2006
-- Future distributed applications are expected to be deployed in an environment that is more dynamic and heterogeneous than ever before. The environment features are difficult to ...
ECOOP
2008
Springer
15 years 1 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...
120
click to vote
SEMWEB
2004
Springer
15 years 5 months ago
2004
Springer
A central requirement for achieving the vision of run-time discovery and dynamic composition of services is the provision of appropriate descriptions of the operation of a service,...
106
click to vote
FM
2006
Springer
15 years 3 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...