Sciweavers

4872 search results - page 247 / 975
» CBR for Modeling Complex Systems
Sort
View
MIDDLEWARE
2005
Springer
15 years 11 months ago
Combining Flexibility and Scalability in a Peer-to-Peer Publish/Subscribe System
The content-based publish/subscribe model has been adopted by many services to deliver data between distributed users based on application-specific semantics. Two key issues in su...
Chi Zhang, Arvind Krishnamurthy, Randolph Y. Wang,...
CDC
2009
IEEE
137views Control Systems» more  CDC 2009»
15 years 10 months ago
Discretization of Linear Fractional Representations of LPV systems
Abstract— Commonly, controllers for Linear ParameterVarying (LPV) systems are designed in continuous-time using a Linear Fractional Representation (LFR) of the plant. However, th...
Roland Tóth, Marco Lovera, Peter S. C. Heub...
ECRTS
2004
IEEE
15 years 9 months ago
An Event Stream Driven Approximation for the Analysis of Real-Time Systems
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
Karsten Albers, Frank Slomka
DSRT
2008
IEEE
15 years 7 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...
WICSA
2008
15 years 6 months ago
Extraction of Component-Based Architecture from Object-Oriented Systems
Software architecture modeling and representation became a main phase of the development process of complex systems. In fact, software architecture representation provides many ad...
Sylvain Chardigny, Abdelhak Seriai, Mourad Oussala...