Sciweavers

4434 search results - page 49 / 887
» On the Composition of Hybrid Systems
Sort
View
EUROMICRO
2009
IEEE
16 years 26 days ago
Component-Based Construction of Concurrent Systems with Active Components
—We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In ...
Kung-Kiu Lau, Ioannis Ntalamagkas
ISARCS
2010
188views Hardware» more  ISARCS 2010»
15 years 10 months ago
Component Behavior Synthesis for Critical Systems,
Abstract. Component-based architectures are widely used in embedded systems. For managing complexity and improving quality separation of concerns is one of the most important princ...
Tobias Eckardt, Stefan Henkler
RSP
2002
IEEE
121views Control Systems» more  RSP 2002»
15 years 11 months ago
Rapid Prototyping of Transition Management Code for Reconfigurable Control Systems
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
M. Guler, S. Clements, N. Kejriwal, L. Wills, B. H...
GCC
2007
Springer
16 years 8 days ago
A Classification of Service Composition Mismatches to Support Service Mediation
On building a service-oriented architecture for Grid systems, more and more researches have been focused on service composition. Services, however, are not always exactly compatib...
Xitong Li, Yushun Fan, Feng Jiang
CCR
2004
147views more  CCR 2004»
15 years 6 months ago
Safe compositional specification of networking systems
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibr...