Filetype
We present an approach for connecting and coordinating distributed devices with different capabilities. More specifically, our research focuses on the design of an domain specific language that allows end-users to coordinate devices in pervasive systems.
The building permission process is to a large extent an analogue process where much information is handled in paper format or as pdf files. With the ongoing digitalisation in society, there is a potential to automate this process by integrating Building Information Models (BIM) of planned buildings and geospatial data to check if a building conforms to the building permission regulations. In this
Communication and collaboration is a major challenge for large-scale software development. Cognitive and psychological distance between individuals and teams affect this collaboration and can cause communications gaps. We propose a novel method for assessing distance between teams, and explore potential explanations for these distances. In an exploratory case study of the quality assurance departm
Massive multiple-input multiple-output (MIMO) is one of the key candidates for the upcoming 5G wireless generation. It offers a multitude of advantages over traditional techniques, such as reduced latency, reduced interference among user equipments (UEs) and increased spectrum and energy efficiencies. However, to verify the theoretically promised gains in real-life, prototype systems are inevitabl
PurposeThe paper analyzes power effects of the strategy discourse to create a more profound understanding of how strategy seen as a discourse constitutes certain identities and practices among communication practitioners. The following two research questions has been posed to concretize the overall aim of the study: 1) What has the strategy discourse meant for practitioners understanding of themse
The Learning with Errors problem (LWE) has become a central topic in recent cryptographic research. In this paper, we present a new solving algorithm combining important ideas from previous work on improving the Blum-Kalai-Wasserman (BKW) algorithm and ideas from sieving in lattices. The new algorithm is analyzed and demonstrates an improved asymptotic performance. For the Regev parameters $q=n^2$
Running regression tests for Modelica models usually takes a long time. This paper presents a safe regression test selection technique for Modelica based on static analysis. The technique tracks dependencies between classes to compute which tests that need to be run given a change. The dependency rules have been verified using mutation testing. The technique has been evaluated on the Modelica Stan
IMPORTANCE Heart failure (HF) aggregates in families, but the heritability of HF has not been determined. Discerning the genetic and environmental contributions to HF risk is important to further helping to identify individuals at risk. Adoption studies may establish the genetic contribution to HF. OBJECTIVE This nationwide adoption study aimed to determine the heritability of HF. DESIGN, SETTING,
Just like current software systems, models are characterised by increasing complexity and rate of change. Yet, these models only become useful if they can be continuously evaluated and validated. To achieve sufficiently low response times for large models, incremental analysis is required. Reference Attribute Grammars (RAGs) offer mechanisms to perform an incremental analysis efficiently using dyn
Knowing whether a software feature will be completed in its planned iteration can help with release planning decisions. However, existing research has focused on predictions of only low-level software tasks, like bug fixes. In this paper, we describe a mixed-method empirical study on three large IBM projects. We investigated the types of iteration changes that occur. We show that up to 54% of high
Fifth generation cellular systems will be deployed in the microwave and millimeter–wave (mmWave) frequency bands (i.e., between 0.5–100 GHz). Propagation characteristics at these bands have a fundamental impact on each aspect of the cellular architecture, ranging from equipment design to real-time performance in the field. While we have a reasonable understanding of the propagation characteristics
Controlled experiments on software variants enable e-commerce companies to increase sales by providing user-adapted functionality. Our goal is to understand how the context of experimentation influences tool support. We performed a case study at Apptus that develops algorithms for e-commerce. We investigated how the case company uses experiments through five semi-structured interviews. We identifi
Programming languages are ever evolving, with new languages being invented to solve new problems, and old languages being extended to solve old problems in new ways. With the continued evolution of programming languages, and with new and improved static program analyses, we need flexible systems for building our static analyses and compilers. Declarative programming with Reference Attribute Gramma
Code-based cryptography is one of the main techniques enabling cryptographic primitives in a post-quantum scenario. In particular, the MDPC scheme is a basic scheme from which many other schemes have been derived. These schemes rely on iterative decoding in the decryption process and thus have a certain small probability p of having a decryption (decoding) error.In this paper we show a very fundam
We believe that enabling services to collaborate, even if they were not designed to work together, will be important for the success of the Internet of Things (IoT). To support this we have designed a domain specific language (DSL) for service composition with the focus on mobile and IoT systems. We demonstrate this DSL by building an example system that helps a birdwatcher spy on the birds in her
It is a conundrum that agile projects can succeed ‘without requirements’ when weak requirements engineering is a known cause for project failures. While Agile development projects often manage well without extensive requirements documentation, test cases are commonly used as requirements. We have investigated this agile practice at three companies in order to understand how test cases can fill the
We present the CarbonTracker Europe High-Resolution (CTE-HR) system that estimates carbon dioxide (CO2) exchange over Europe at high resolution (0.1 × 0.2° ) and in near real time (about 2 months' latency). It includes a dynamic anthropogenic emission model, which uses easily available statistics on economic activity, energy use, and weather to generate anthropogenic emissions with dynamic time pr
TURNÉFORESTILLING.
