The thesis presented in this paper outlines a notion of computing named Embodied Systems. It is suggested that this concept will move the computer devices from the desks to the users’ bodies. The users would then, apart from merely controlling the actual computing itself, also control and decide the context in which the computing takes place. As a step further, the context may in fact trigger c...

Take a multicore Digital Signal Processor (DSP) chip designed for cellular base stations and radio network controllers, add floating-point capabilities to support 4G networks, and out of thin air a HPC engine is born. The potential for HPC is clear: It promises 128 GFLOPS (single precision) for 10 Watts; It is used in millions of network related devices and hence benefits from economies of scal...

Many countries are currently designing or even rolling out electronic identity cards. Simultaneously, eID applications are developed. In many cases, the eID technology is initially integrated in governmental applications. Thereafter, the technology is adopted by other domains (i.e. the financial sector, eHealth services, social networking, corporate environments, ...). However, security, privac...

Integrity constraints in databases have been studied extensively since the 1980s, and they are considered essential to guarantee database integrity. In recent years, several authors have studied how the same notion can be adapted to reasoning frameworks, in such a way that they achieve the purpose of guaranteeing a system’s consistency, but are kept separate from the reasoning mechanisms. In th...

In this paper, we experimentally explore four different hierarchical space decomposition algorithms. Three of these algorithms are known from prior literature, whereas the fourth was derived as a result of initial experimental work with the previous algorithms, and is presented for the first time in this paper. The new algorithm has several variations, and one of them (called TX-AL) is consiste...

Current adaptive compression schemes such as gzip and compress are impractical for database compression as they do not allow random-access to individual records. The sequitur scheme of Nevill-Manning and Witten also adaptively compresses data, achieving excellent compression but with signiicant main-memory requirements. A preliminary version of sequitur used a semi-static modeling approach to a...

The MIX multiagent architecture has been conceived as a general purpose distributed framework for the cooperation of multiple heterogeneous agents. This architecture, starting from previous work in our group on multiagent systems, has been redesigned and implemented within a research project investigating a particular class of hybrid systems: those integrated by connectionist and symbolic compo...

Purpose – The purpose of this paper is to describe a general purpose localization system, GRAIL. GRAIL provides real-time, adaptable, indoor localization for wireless devices. Design/methodology/approach – In order to localize as diverse a set of devices as possible, GRAIL utilizes a centralized, anchor-based approach. GRAIL defines an abstract data model for various system components to suppor...

We review the physics basis, main features and use of general-purpose Monte Carlo event generators for the simulation of proton-proton collisions at the Large Hadron Collider. Topics included are: the generation of hardscattering matrix elements for processes of interest, at both leading and nextto-leading QCD perturbative order; their matching to approximate treatments of higher orders based o...

The creation and handling of Domain-Specific Modeling Languages (DSML)is a fastly evolving research area of software development. DSMLs are able to describe the modeled problems in an abstract and expressive way, often better than general purpose modeling languages, like UML would do. DSMLs can also be used by business specialists who do not have exhaustive programming knowledge, consequently, ...