Sciweavers

6031 search results - page 152 / 1207
» Communicating Transaction Processes
Sort
View
TC
2002
15 years 2 months ago
The Timewheel Group Communication System
This paper describes a group communication system called the timewheel group communication system that has been designed for a timed asynchronous distributed system model. The tim...
Shivakant Mishra, Christof Fetzer, Flaviu Cristian
HICSS
1997
IEEE
151views Biometrics» more  HICSS 1997»
15 years 7 months ago
Intelligent Agent Based Contract Process in Electronic Commerce: UNIK-AGENT Approach
As the second generation of electronic commerce, the framework of agent based commerce is proposed. Since the communication messages and solution methods of agents are significant...
Jae Kyu Lee, Woongkyu Lee
CAV
2008
Springer
130views Hardware» more  CAV 2008»
15 years 5 months ago
A Hybrid Type System for Lock-Freedom of Mobile Processes
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
Naoki Kobayashi, Davide Sangiorgi
SC
2000
ACM
15 years 7 months ago
The Implementation of MPI-2 One-Sided Communication for the NEC SX-5
We describe the MPI/SX implementation of the MPI-2 standard for one-sided communication (Remote Memory Access) for the NEC SX-5 vector supercomputer. MPI/SX is a non-threaded impl...
Jesper Larsson Träff, Hubert Ritzdorf, Rolf H...
DAGSTUHL
2003
15 years 4 months ago
A DSL Paradigm for Domains of Services: A Study of Communication Services
The domain of services for mobile communication terminals has long become a fast-moving target. Indeed, this domain has been affected by a continuous stream of technological advan...
Charles Consel, Laurent Réveillère