15840 search results - page 748 / 3168 » The Control of Synchronous Systems |
213
click to vote
LCTRTS
2001
Springer
15 years 12 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...
197
click to vote
CSCW
1998
ACM
15 years 11 months ago
1998
ACM
Users of synchronous groupware systems act both as individuals and as members of a group, and designers must try to support both roles. However, the requirements of individuals an...
200
Voted
EMSOFT
2007
Springer
15 years 11 months ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
224
click to vote
LCPC
1995
Springer
15 years 11 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
189
click to vote
ENTCS
2007
15 years 7 months ago
2007
PAGODA (Policy And GOal Based Distributed Autonomy) is a modular architecture for specifying and prototyping autonomous systems. A PAGODA node (agent) interacts with its environme...