Title: A Systematic and Lightweight Method to identify dependencies between requirements. Student 1 suitability Software engineering course credits completed at BTH (total): 30 (BTH) + 60 (UPM) ECTS credit points Student 2 suitability Software engineering course credits completed at BTH (total): 30 (BTH) + 60 (UPM) ECTS credit points

. Abstract . . Traditional botnets use a centralized communications architecture where all the bots connect to Command and Control (C&C) servers. These servers are the weak point of the botnet, as they are easy targets for take down and monitoring. Peer-to-peer (p2p) botnets have a distributed architecture, which make them more resilient. This research aims at the detection of individual p2p bo...

The design of a distributed real-time embedded system is a difficult job. The hardware and software parts are often designed sequentially, leading to over-conservative and expensive systems. A more reliable and optimal system is obtained by introducing performance analysis in the early design phases. This analysis is performed with models designed in an ad-hoc way. We propose a method which use...

In this master thesis we explore skewed distributions extended from the normal distribution. A transition from the symmetric to an asymmetric setting is formulated for the univariate as well as the multivariate case. This is done by introducing an additional infinite-dimensional parameter, namely a skewing function π. Our main focus is on the extremal behavior of such skewed random vectors. For...

xi

In this paper we are reviewing the literature of tabletop technologies. This paper contributes to the current body of literature within tabletop technology research by first positioning 238 papers, from leading conferences on tabletop technologies such as IEEE Tabletop, ACM Interactive Tabletops and Surfaces (ITS) and ACM Conference on Computer-human Interaction (CHI), in 8 different categories...

The term ad hoc indicates the capability that two or several nodes can connect and communicate with each other independently of a centralized infrastructure. The disclaimer of such a central unit yields to the requirement of a self-organizing behavior of the network where the nodes organize themselves in a distributed manner. Knowing the geographical representation of the network can help on th...

In this work a static quark-antiquark potential that is valid for all quark-antiquark separations is constructed. By matching the long range results from lattice QCD to a short range perturbative part we get a continuous potential expression. The lattice part is obtained by tting an analytic potential model to lattice data for di erent lattice spacings a. Extrapolating the tting parameters to t...

Social media has grown exponentially over the past few years. Users are generating far more unstructured content than ever before. Successful companies are also very active in social media analysing these data for their marketing campaigns. But the informal and noisy nature of such data makes it quite difficult to extract meaningful information out of them. In this thesis, we investigate the pr...

The ongoing transition from the traditional electrical grid to the digitally interconnected smart grid and the increasing deregulation of electricity markets, allow to envision new types of distributed local energy markets. In order to develop such markets, it is important that energy producers and consumers can access a local energy price. In this project, we define an agent-based real-time lo...