Sciweavers

4356 search results - page 604 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
WDAG
1992
Springer
104views Algorithms» more  WDAG 1992»
15 years 10 months ago
Choice Coordination with Multiple Alternatives (Preliminary Version)
Abstract. The Choice Coordination Problem with k alternatives (kCCP) was introduced by Rabin in 1982 [Rab82]. The goal is to design a wait-free protocol for n asynchronous processe...
David S. Greenberg, Gadi Taubenfeld, Da-Wei Wang
ACII
2007
Springer
15 years 10 months ago
Affective Text Variation and Animation for Dynamic Advertisement
Abstract. The largest part of the advertising market is already electronic. This means there is an opportunity for automatizing some of the production processes, such as producing ...
Carlo Strapparava, Alessandro Valitutti, Oliviero ...
AIME
2007
Springer
15 years 10 months ago
Analyzing Differences in Operational Disease Definitions Using Ontological Modeling
Abstract. In medicine, there are many diseases which cannot be precisely characterized but are considered as natural kinds. In the communication between health care professionals, ...
Linda Peelen, Michel C. A. Klein, Stefan Schlobach...
APSEC
2007
IEEE
15 years 10 months ago
Realizability of Collaboration-based Service Specifications
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...
Humberto Nicolás Castejón, Rolv Br&a...
FC
2010
Springer
188views Cryptology» more  FC 2010»
15 years 10 months ago
Building Incentives into Tor
Abstract. Distributed anonymous communication networks like Tor depend on volunteers to donate their resources. However, the efforts of Tor volunteers have not grown as fast as th...
Tsuen-Wan Ngan, Roger Dingledine, Dan S. Wallach