Sciweavers

1177 search results - page 78 / 236
» A Theory of Role Composition
Sort
View
EMSOFT
2004
Springer
15 years 11 months ago
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
Albert Benveniste, Benoît Caillaud, Luca P. ...
FMCAD
2006
Springer
15 years 9 months ago
Synchronous Elastic Networks
We formally define--at the stream transformer level--a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properti...
Sava Krstic, Jordi Cortadella, Michael Kishinevsky...
ROOM
2000
15 years 7 months ago
Object-Oriented Refinement and Proof using Behaviour Functions
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
Tony Clark
COLING
1996
15 years 7 months ago
An Underspecified HPSG Representation for Information Structure
hfformation structure can be of great use in linguistic applications, especially in those involving a speech component. However, focus marking by prosody is often ambiguous. Exist...
Jonas Kuhn
CMMR
2007
Springer
140views Music» more  CMMR 2007»
16 years 7 days ago
Emergent Rhythms through Multi-agency in Max/MSP
This paper presents a multiple-agent architecture created in Max/ MSP that generates polyphonic rhythmic patterns which continuously evolve and develop in a musically intelligent m...
Arne Eigenfeldt