1640 search results - page 78 / 328 » Design of Synchronous Action Systems |
108
Voted
LCTRTS
2001
Springer
15 years 7 months ago
2001
Springer
When the Asynchronous Method Invocation (AMI) model was introduced into the CORBA specification, client applications benefited from the ability to invoke nonblocking two-way reque...
143
Voted
CSCW
2004
ACM
15 years 2 months ago
2004
ACM
Abstract. In order to support co-located collaboration, many researchers are now investigating how to effectively augment tabletops with electronic displays. As far back as 1988, o...
115
Voted
LORI
2009
Springer
15 years 9 months ago
2009
Springer
We introduce a new type of arrow in the update frames (or “action models”) of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in m...
103
Voted
AVI
2006
15 years 4 months ago
2006
Teams that are geographically distributed often share information both in real-time and asynchronously. When such sharing is through groupware, change conflicts can arise when peo...
121
click to vote
DAC
2000
ACM
16 years 3 months ago
2000
ACM
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...