1369 search results - page 57 / 274 » Graphical Design of Reactive Systems |
SI3D
1995
ACM
15 years 1 months ago
1995
ACM
This paper describes the client-server design, implementation and experimental results for a system that supports real-time visual interaction between a large number of users in a...
102
click to vote
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
FASE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
115
click to vote
SIGCOMM
1991
ACM
15 years 1 months ago
1991
ACM
This paper presents a control-theoretic approach to reactive flow control in networks that do not reserve bandwidth. We assume a round-robin-like queue service discipline in the o...
CACM
2000
14 years 9 months ago
2000
The KidsRoom is a perceptually-based, interactive, narrative playspace for children. Images, music, narration, light, and sound effects are used to transform a normal child's...