Sciweavers

2123 search results - page 8 / 425
» Composition of Cyber-Physical Systems
Sort
View
166
Voted
ECRTS
2009
IEEE
15 years 1 months ago
Approximate Bandwidth Allocation for Compositional Real-Time Systems
Allocation of bandwidth among components is a fundamental problem in compositional real-time systems. Stateof-the-art algorithms for bandwidth allocation use either exponential-ti...
Nathan Fisher, Farhana Dewan
137
Voted
SIES
2010
IEEE
15 years 1 months ago
Compositional Translation of Simulink Models into Synchronous BIP
Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safa...
139
Voted
IJAOSE
2010
126views more  IJAOSE 2010»
15 years 1 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur
134
Voted
QEST
2010
IEEE
15 years 1 months ago
Compositional Verification of Probabilistic Systems Using Learning
Lu Feng, Marta Z. Kwiatkowska, David Parker
119
Voted
APSEC
2010
IEEE
14 years 10 months ago
Rule-Based Composition Behaviors in Dynamic Plug-In Systems
Markus Jahn, Markus Löberbauer, Reinhard Wolf...