CBSE
2015
Springer
8 years 23 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 23 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 23 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 23 days ago
2015
Springer
CBSE
2015
Springer
8 years 23 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...
REFSQ
2015
Springer
8 years 23 days ago
2015
Springer
REFSQ
2015
Springer
8 years 23 days ago
2015
Springer
Abstract. [Context and motivation] It is desirable that requirement engineering methods are reliable, that is, that methods can be repeated with the same results. Risk assessments ...
REFSQ
2015
Springer
8 years 23 days ago
2015
Springer
Designing safety-critical cyber physical systems (CPS) was and remains a challenging task. CPS engineers are supposed to design solutions that are easy to modify, reusable, satisfy...
REFSQ
2015
Springer
8 years 23 days ago
2015
Springer
[Context and motivation] Requirements engineers create large numbers of artifacts when eliciting and documenting requirements. They need to navigate through these artifacts and dis...
REFSQ
2015
Springer
8 years 23 days ago
2015
Springer
We propose an approach for capturing evolving requirements for work support systems that are organically created by co-workers in self-organized, networked organizations. It is in ...