1893 search results - page 170 / 379 » Computational composites |
94
Voted
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
Existing spatial logics for concurrency are intensional, in the sense that they induce an equivalence that coincides with structural congruence. In this work, we study a contextual...
70
Voted
NIME
2004
Springer
15 years 6 months ago
2004
Springer
In this report, we discuss Tree Music, an interactive computer music installation created using GAIA (Graphical Audio Interface Application), a new open-source interface for contr...
121
Voted
ERLANG
2003
ACM
15 years 6 months ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
116
click to vote
GCC
2003
Springer
15 years 6 months ago
2003
Springer
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
112
Voted
GPCE
2003
Springer
15 years 6 months ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...