118
click to vote
ADBIS
2015
Springer
10 years 9 days ago
2015
Springer
The well-known problems of tuning and self-tuning of data management systems are amplified in the context of Cloud environments that promise self management along with properties ...
116
click to vote
ADBIS
2015
Springer
10 years 9 days ago
2015
Springer
When dealing with large amounts of data, exact query answering is not always feasible. We propose a query approximation method that, given an upper bound on the amount of data that...
118
click to vote
ADB
2015
10 years 9 days ago
2015
Evolution’s ability to find innovative phenotypes is an important ingredient in the emergence of complexity in nature. A key factor in this capability is evolvability, or the p...
177
click to vote
ADB
2015
10 years 9 days 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...
112
click to vote
ADAEUROPE
2015
Springer
10 years 9 days 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...
116
click to vote
ADAEUROPE
2015
Springer
10 years 9 days 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...
197
click to vote
ADAEUROPE
2015
Springer
10 years 9 days 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 ...
ACTA
2015
10 years 9 days ago
2015