Sciweavers

13140 search results - page 111 / 2628
» Coupling Component Systems towards Systems of Systems
Sort
View
CBSE
2006
Springer
14 years 12 months ago
A QoS Driven Development Process Model for Component-Based Software Systems
Non-functional specifications of software components are considered an important asset in constructing dependable systems, since they enable early Quality of Service (QoS) evaluati...
Heiko Koziolek, Jens Happe
IAT
2008
IEEE
14 years 10 months ago
Structured Learning of Component Dependencies in AmI Systems
As information and communication technologies are becoming an integral part of our homes, the demand for AmI systems with assistive functionality is increasing. A great effort has...
Todor Dimitrov, Josef Pauli, Edwin Naroska, Christ...
ASIAN
2006
Springer
140views Algorithms» more  ASIAN 2006»
15 years 1 months ago
Modeling Urgency in Component-Based Real-Time Systems
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa
ICSE
1994
IEEE-ACM
15 years 2 months ago
Storing and Retrieving Software Components: A Refinement Based System
Software libraries are repositories which contain software components; as such, they represent a precious resource for the software engineer. As software libraries grow in size, it...
Ali Mili, Rym Mili, Roland Mittermeir
CADE
2007
Springer
15 years 10 months ago
The KeY system 1.0 (Deduction Component)
Bernhard Beckert, Martin Giese, Reiner Hähnle...