CBSE
2015
Springer
8 years 21 days ago
2015
Springer
We extend the theory of input-output conformance with operators for merge and quotient. The former is useful when testing against multiple requirements or views. The latter can be...
CBSE
2015
Springer
8 years 21 days ago
2015
Springer
This paper introduces a new technique for dynamic verification of component-based real-time systems based on statistical inference. Verifying such systems requires checking two t...
CBSE
2015
Springer
8 years 21 days ago
2015
Springer
The emerging area of (smart) Cyber Physical Systems (sCPS) triggers demand for new methods of design, development, and deployment of architecturally dynamic distributed systems. C...
CBSE
2015
Springer
8 years 21 days ago
2015
Springer
During the development of component-based software systems, it is often impractical or even impossible to include all development information into the source code. Instead, specia...
CBSE
2015
Springer
8 years 21 days ago
2015
Springer
CBSE
2015
Springer
8 years 21 days ago
2015
Springer
The aggregation of network traffic has been shown to enhance the performance of wireless sensor networks. By reducing the number of packets that are transmitted, energy consumptio...