Software components as reusable building blocks for software are becoming widely used in software engineering. However, so far there has been little attempt to apply this programming and design paradigm in the domain of general-purpose operating systems. This paper analyzes several nice properties of component systems which might be beneficial in operating system design, the obstacles which eme...

Although there have been various proposals to build large-scale PKIs, there appears to be no research publicly available on the underlying certificate store which will be required to support such a PKI. This paper analyses the requirements for, and presents the design of, a generalpurpose certificate store which places few constraints on the underlying computer hardware or operating system used...

Xtext is a popular language workbench conceived to support development of tooling (e.g. parsers and editors) for textual languages. Although Xtext offers strong support for source code generation when building tooling for Domain Specific Languages (DSL), the amount of hand-written source code required to give support to complex General Purpose Languages (GPL) is still significant. This research...

There is a growing interest in using general-purpose cameras to monitor a variety of physical phenomenon. In particular, a number of visibility camera networks have recently been deployed to complement traditional means for estimating atmospheric visibility. However, the images from these cameras have so far only been used to perform qualitative analysis. This work investigates image processing...

Proof (ii) abstract (i) abs. declare (v) refine (iv) map back (iii) abstract reason Ground Context Abstract Context φ φ φ φ φ φ Figure 1: A calculus for abstraction. the information obtained from the abstract space until the goal is proved. This is why we also call it, re nement. These ve steps are graphically represented in Figure 1. The arrows describe the temporal order of activation in the ...

Collision detection is fundamental to many kinds of simulation. Any simulation that needs to model interactions between solid objects needs some form of collision detection. However, despite this need, a generalpurpose collision detection framework has not been developed for the High Level Architecture (HLA). This research paper proposes a framework which facilitates this need. The framework di...

1 The need of an approach for the definition of a platform-independent medical digital library, using only 2 open-source tools, will be described. To test the need and the success of such an approach, a library will 3 be created, which can later be used in a larger scale as a general purpose digital medical tool, when comes 4 the need to evaluate an image. 5 As a first test, the library will be...

This paper introduces the various forms of analogy in NARS, a generalpurpose reasoning system. NARS is an AI system designed to be adaptive and to work with insufficient knowledge and resources. In the system, multiple types of inference, including analogy, deduction, induction, abduction, comparison, and revision, are unified both in syntax and in semantics. The system can also carry out relat...

Tasks such as record linkage and multi-target tracking, which involve reconstructing the set of objects that underlie some observed data, are particularly challenging for probabilistic inference. Recent work has achieved efficient and accurate inference on such problems using Markov chain Monte Carlo (MCMC) techniques with customized proposal distributions. Currently, implementing such a system...

This short (work in progress) paper describes recent updates to the “Adaptive Hypermedia Architecture” (AHA), developed at the Eindhoven University of Technology (TUE). AHA has been used for two courses at the TUE, and experimentally also in a kiosk information system. The next set of applications of AHA consists of an adaptive geological atlas and an adaptive and personalized version of the (c...