Sciweavers

1679 search results - page 164 / 336
» Variability and Component Composition
Sort
View
FCT
1999
Springer
14 years 1 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»
13 years 4 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»
14 years 3 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
14 years 1 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
14 years 28 days 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