Sciweavers

321 search results - page 7 / 65
» concurrency 2004
Sort
View
CAV
2004
Springer
97views Hardware» more  CAV 2004»
14 years 25 days ago
Zing: A Model Checker for Concurrent Software
Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jak...
CONCURRENCY
2004
81views more  CONCURRENCY 2004»
13 years 7 months ago
Global multimedia collaboration system
In order to build an integrated collaboration system over heterogeneous collaboration technologies, we propose a Global Multimedia Collaboration System (Global-MMCS) based on XGSP...
Geoffrey Fox, Wenjun Wu, Ahmet Uyar, Hasan Bulut, ...
FIDJI
2004
Springer
14 years 25 days ago
An MDA-Based Approach for Inferring Concurrency in Distributed Systems
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
Raul Silaghi, Alfred Strohmeier
DSS
2007
140views more  DSS 2007»
13 years 7 months ago
A decision support system for product design in concurrent engineering
Compared with the traditional sequential design method, concurrent engineering is a systematic approach to integrate concurrent design of products and their related processes. One...
Li Da Xu, Zongbin Li, Shancang Li, Fengming Tang
AINA
2004
IEEE
13 years 11 months ago
Concurrency Control in Mobile Database Systems
In this paper, we propose an Concurrency Control Mechanism (CCM) for Mobile Database Systems (MDS) that ensures epsilon serializability and report its performance.
Nitin Prabhu, Vijay Kumar, Indrakshi Ray, Gi-Chul ...