2681 search results - page 134 / 537 » Topics in asynchronous systems |
120
click to vote
ASAP
2003
IEEE
15 years 9 months ago
2003
IEEE
— In industry, embedded systems for stream-based processing are often modelled and verified by using process networks, such as Kahn process networks. An advantage of Kahn networ...
184
click to vote
CONCUR
1994
Springer
15 years 8 months ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
179
click to vote
PODC
1995
ACM
15 years 8 months ago
1995
ACM
Asynchronous Transfer Mode (ATM) network technology is expected to become a central part of the emerging global information infrastructure. ATM networks introduce a number of feat...
115
click to vote
HCI
2007
15 years 6 months ago
2007
This paper presents a “persistent chat” extension to the ePresence Interactive Media webcasting infrastructure to support real-time commenting on and discussing of issues that ...
128
click to vote
PTS
2007
15 years 5 months ago
2007
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...