Sciweavers

511 search results - page 71 / 103
» Finite System Composition and Interaction
Sort
View
ENTCS
2007
137views more  ENTCS 2007»
13 years 8 months ago
Formal Sequentialization of Distributed Systems via Program Rewriting
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
Miquel Bertran, Francesc-Xavier Babot, August Clim...
ECOOPW
1999
Springer
14 years 1 months ago
Dimensions of Component Based Development
As the properties of components have gradually become clearer, attention has started to turn to the architectural issues which govern their interaction and composition. In this pa...
Colin Atkinson, Thomas Kühne, Christian Bunse
EVOW
2006
Springer
14 years 13 days ago
A Connectionist Architecture for the Evolution of Rhythms
In this paper we propose the use of an interactive multi-agent system for the study of rhythm evolution. The aim of the model proposed here is to show to what extent new rhythms em...
João Magalhães Martins, Eduardo Reck...
IRI
2003
IEEE
14 years 2 months ago
A Formal Framework for Design Component Contracts
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
EACL
1993
ACL Anthology
13 years 10 months ago
Delimitedness And Trajectory-Of-Motion Events
The first part of the paper develops a novel, sortally-based approach to the problem of aspectual composition. The account is argued to be superior on both empirical and computati...
Michael White