Sciweavers

6031 search results - page 121 / 1207
» Communicating Transaction Processes
Sort
View
109
Voted
EPEW
2005
Springer
15 years 8 months ago
Executable Semantics for Compensating CSP
Compensation is an error recovery mechanism for long-running transactions. Compensating CSP is a variant of the CSP process algebra with constructs for orchestration of compensatio...
Michael J. Butler, Shamim Ripon
CVPR
1997
IEEE
15 years 7 months ago
Multi-Modal Tracking of Faces for Video Communications
This paper describes a system which uses multiple visual processes to detect and track faces for video compression and transmission. The system is based on an architecture in whic...
James L. Crowley, François Bérard
PRDC
2006
IEEE
15 years 8 months ago
A Pragmatic Protocol for Database Replication in Interconnected Clusters
Multi-master update everywhere database replication, as achieved by protocols based on group communication such as DBSM and Postgres-R, addresses both performance and availability...
J. Grov, L. Soares, Alfrânio Correia Jr., Jo...
ICCS
2004
Springer
15 years 8 months ago
A Two-Leveled Mobile Agent System for E-commerce with Constraint-Based Filtering
This paper presents a two-leveled mobile agent system for electronic commerce. It is based on mobile agents as mediators and uses the publish/subscribe paradigm for registration an...
Ozgur Koray Sahingoz, Nadia Erdogan
JLP
2006
98views more  JLP 2006»
15 years 2 months ago
Partiality I: Embedding relation algebras
As long as no cooperation between processes is supposed to take place, one may consider them separately and need not ask for the progress of the respective other processes. If a c...
Gunther Schmidt