6031 search results - page 395 / 1207 » Communicating Transaction Processes |
178
click to vote
COORDINATION
2009
Springer
16 years 7 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
173
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
The concept of the Virtual Software Corporation (VSC) has recently become a practical reality as a result of advances in communication and distributed technologies. However, there...
158
click to vote
PACT
1997
Springer
15 years 11 months ago
1997
Springer
This paper argues for an alternative way of designing coordination models for parallel and distributed environments based on a complete symmetry between and decoupling of producers...
189
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
A fair contract signing protocol allows two potentially mistrusted parities to exchange their commitments (i.e., digital signatures) to an agreed contract over the Internet in a f...
147
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
It is widely recognized that distributed denial-of-service (DDoS) attacks can disrupt electronic commerce and cause large revenue losses. However, effective defenses continue to b...