2595 search results - page 159 / 519 » Modes in Asynchronous Systems |
123
click to vote
ASAP
2003
IEEE
15 years 10 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...
116
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 ...
129
click to vote
PTS
2007
15 years 6 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...
136
click to vote
IANDC
2010
15 years 3 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...