Sciweavers

2192 search results - page 207 / 439
» Embedded function composition
Sort
View
ALIFE
2005
15 years 2 months ago
Modular Interdependency in Complex Dynamical Systems
Hierarchical modularity is a familiar characteristic of a large class of natural dynamical systems. A normal interpretation of modularity is that interactions between subsystems a...
Richard A. Watson, Jordan B. Pollack
TELSYS
2002
126views more  TELSYS 2002»
15 years 1 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
NCA
2010
IEEE
14 years 9 months ago
Composable continuous-space programs for robotic swarms
Programmability is an increasingly important barrier to the deployment of multi-robot systems, as no prior approach allows routine composition and reuse of general aggregate behavi...
Jonathan Bachrach, Jacob Beal, James McLurkin
TAOSD
2010
14 years 8 months ago
Aspect-Oriented Design with Reusable Aspect Models
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done with...
Jörg Kienzle, Wisam Al Abed, Franck Fleurey, ...
TII
2010
166views Education» more  TII 2010»
14 years 8 months ago
Source-to-Source Architecture Transformation for Performance Optimization in BIP
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 ...
Marius Bozga, Mohamad Jaber, Joseph Sifakis