176
Voted
ADB
2015
10 years 19 hour ago
2015
In this study, we investigate the adaptation and robustness of a packet switching network (PSN), the fundamental architecture of the Internet. We claim that the adaptation introdu...
111
click to vote
ADAEUROPE
2015
Springer
10 years 19 hour ago
2015
Springer
Static program slicing is a technique to detect the program parts (i.e. the “slice”) of the given program possibly affecting a given property. The technique is of interest for...
114
click to vote
ADAEUROPE
2015
Springer
10 years 19 hour ago
2015
Springer
Abstract. A safety case contains safety arguments together with supporting evidence that together should demonstrate that a system is acceptably safe. System changes pose a challen...
193
click to vote
ADAEUROPE
2015
Springer
10 years 19 hour ago
2015
Springer
Abstract. This paper discusses the schedulability analysis of a PulseWidth Modulation (PWM) control algorithm of an on-board spacecraft software system. The UPMSat-2 case study is ...
