2595 search results - page 61 / 519 » Modes in Asynchronous Systems |
119
click to vote
TPDS
2010
15 years 2 months ago
2010
—Considering an asynchronous system made up of n processes and where up to t of them can crash, finding the weakest assumption that such a system has to satisfy for a common lea...
131
click to vote
CISS
2008
IEEE
15 years 10 months ago
2008
IEEE
— Probe based data storage is a promising solution for satisfying the demand for ultra-high capacity storage devices. One of the main problems with probe storage devices is the w...
134
click to vote
NORDICHI
2004
ACM
15 years 9 months ago
2004
ACM
Proactivity has recently arisen as one of the focus areas within HCI. Proactive systems adhere to two premises: 1) working on behalf of, or pro, the user, and 2) acting on their o...
153
click to vote
ACSD
2009
IEEE
15 years 10 months ago
2009
IEEE
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...
122
click to vote
ASIAN
1999
Springer
15 years 8 months ago
1999
Springer
This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We intro...