Sciweavers

1679 search results - page 164 / 336
» Variability and Component Composition
Sort
View
FCT
1999
Springer
15 years 6 months ago
Tile Transition Systems as Structured Coalgebras
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
Andrea Corradini, Reiko Heckel, Ugo Montanari
SCP
2011
228views Communications» more  SCP 2011»
14 years 9 months ago
Channel-based coordination via constraint satisfaction
Coordination in Reo emerges from the composition of the behavioural constraints of primitives, such as channels, in a component connector. Understanding and implementing Reo, howe...
Dave Clarke, José Proença, Alexander...
TACAS
2007
Springer
99views Algorithms» more  TACAS 2007»
15 years 8 months ago
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
Hillel Kugler, Amir Pnueli, Michael J. Stern, E. J...
WOSP
1998
ACM
15 years 6 months ago
Poems: end-to-end performance design of large parallel adaptive computational systems
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
Ewa Deelman, Aditya Dube, Adolfy Hoisie, Yong Luo,...

Publication
234views
15 years 6 months ago
Evolution of Analog Networks using Local String Alignment on Highly Reorganizable Genomes
We introduce and apply a genetic representation for analog electronic circuits based on the association of character strings extracted from the genome with the terminals and param...
Claudio Mattiussi, Dario Floreano