355 search results - page 51 / 71 » An MDA-Based Approach for Inferring Concurrency in Distribut... |
78
Voted
MIDDLEWARE
2005
Springer
15 years 5 months ago
2005
Springer
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Dual-quorum replication combines volume leases and qu...
127
click to vote
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...
110
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: An in-silico experiment can be naturally specified as a workflow of activities implementing, in a standardized environment, the process of data and control analysis. A...
DSN
2009
IEEE
15 years 6 months ago
2009
IEEE
A virtual networked environment (VNE) consists of virtual machines (VMs) connected by a virtual network. It has been adopted to create “virtual infrastructures” for individual...
SOSP
2005
ACM
15 years 8 months ago
2005
ACM
We present a method for automatically extracting from a running system an indexable signature that distills the essential characteristic from a system state and that can be subjec...