Sciweavers

2595 search results - page 150 / 519
» Modes in Asynchronous Systems
Sort
View
HICSS
1998
IEEE
142views Biometrics» more  HICSS 1998»
15 years 9 months ago
Meetings in a Virtual Space: Creating a Digital Document
Improvements in computer network infrastructures and information utilities have led to an increase in the number of social and work interactions carried out `virtually' by ge...
Lori Toomey, Lia Adams, Elizabeth F. Churchill
TPPP
1994
15 years 8 months ago
Advanced Component Interface Specification
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
Manfred Broy
ATVA
2006
Springer
100views Hardware» more  ATVA 2006»
15 years 8 months ago
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
Ming-Ying Chung, Gianfranco Ciardo, Andy Jinqing Y...
WSCG
2004
117views more  WSCG 2004»
15 years 6 months ago
A Supply-Chain for Computer-Mediated Communication and Visualization
The paper specifies modular software for synchronous and asynchronous computer-mediated communication and visualization in network-distributed environments. It is new because the ...
Nils Jensen, Ralf Einhorn, Gabriele von Voigt
FTCS
1993
97views more  FTCS 1993»
15 years 6 months ago
Virtually-Synchronous Communication Based on a Weak Failure Suspector
Failure detectors (or, more accurately Failure Suspectors { FS) appear to be a fundamental service upon which to build fault-tolerant, distributed applications. This paper shows t...
André Schiper, Aleta Ricciardi