1675 search results - page 181 / 335 » Compositional Model-Based Design |
137
Voted
TII
2010
14 years 9 months ago
2010
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
128
Voted
NAR
2011
14 years 5 months ago
2011
GreenPhylDB is a database designed for comparative and functional genomics based on complete genomes. Version 2 now contains sixteen full genomes of members of the plantae kingdom...
132
Voted
DCOSS
2011
Springer
14 years 2 months ago
2011
Springer
—Modular software, in which strongly-separated units of functionality can be independently added to and removed from a node’s running software, offers a promising approach to e...
104
Voted
IACR
2011
14 years 1 months ago
2011
We put forward a framework for the modular design and analysis of multi-party protocols. Our framework is called “GNUC” (with the recursive meaning “GNUC’s Not UC”), alr...
128
Voted
DAC
2000
ACM
16 years 3 months ago
2000
ACM
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...