Sciweavers

2123 search results - page 56 / 425
» Composition of Cyber-Physical Systems
Sort
View
CCE
2004
15 years 6 months ago
Module-oriented automatic differentiation in chemical process systems optimization
It is common that external procedures are incorporated into an equation-oriented model when modeling complex chemical process systems. The so-obtained models are called composite ...
Xiang Li, Zhijiang Shao, Jixin Qian
GECCO
2006
Springer
176views Optimization» more  GECCO 2006»
15 years 10 months ago
Evolutionary interactive music composition
This paper proposes the CFE framework--Composition, Feedback, and Evolution--and presents an interactive music composition system. The system composes short, manageable pieces of ...
Tao-yang Fu, Tsu-yu Wu, Chin-te Chen, Kai-chu Wu, ...
CAV
2009
Springer
206views Hardware» more  CAV 2009»
16 years 6 months ago
D-Finder: A Tool for Compositional Deadlock Detection and Verification
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, ...
JUCS
2006
108views more  JUCS 2006»
15 years 6 months ago
Defining Atomic Composition in UML Behavioral Diagrams
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
Júlio Henrique Araújo Pereira Machad...
WMCSA
2009
IEEE
16 years 29 days ago
Context-aware composition
Context–Aware Composition is a technique to overcome the complexity of wireless discovery, device selection, and establishing connections to other computers in an environment wh...
Kent Lyons, Roy Want, David Munday, Jiasheng He, S...