685
click to vote
CBSE
2015
Springer
10 years 10 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...
140
Voted
CBSE
2015
Springer
10 years 10 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...
148
Voted
CBSE
2015
Springer
10 years 10 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...
132
click to vote
CBSE
2015
Springer
10 years 10 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...
135
Voted
CBSE
2015
Springer
10 years 10 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...