4356 search results - page 62 / 872 » Communicating Transactions - (Extended Abstract) |
CACM
2007
13 years 11 months ago
2007
ACTION THE KEY TO COMPUTING? Why is it that some software engineers and computer scientists are able to produce clear, elegant designs and programs, while others cannot? Is it poss...
INFOCOM
1999
IEEE
14 years 3 months ago
1999
IEEE
Abstract
PLDI
2004
ACM
14 years 4 months ago
2004
ACM
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...
IFIP
2010
Springer
13 years 5 months ago
2010
Springer
Abstract Internet auction fraud has become prevalent. Methodologies for detecting fraudulent transactions use historical information about Internet auction participants to decide w...
MFCS
2004
Springer
14 years 4 months ago
2004
Springer
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed commu...