c © 2007 by John von Neumann Institute for Computing Permission to make digital or hard copies of portions of this work for personal or classroom use is granted provided that the copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise requires prior specific permission by the publisher ment...

With hundreds of servers running thousands of Java Virtual Machines that communicate with numerous travel suppliers, it is important to know how your applications are performing at every step of the process. Orbitz Worldwide has created a monitoring API that allows development teams to easily write selfinstrumenting code with minimal application performance impact. In addition, supplementary sy...

Specification Mining describes the process of creating a specification from a (probably unknown) program using sample executions. Most of the current specification miners are deterministic. This thesis aims to create a probabilistic specification miner. Therefor, a specification miner with three different probabililistic approaches has been implemented and added to the LearnLib-Framework. The i...

In this paper we present a newly developed tool that enables researchers interested in spatial variation of language to define a geographic perimeter of interest, collect data from the Twitter streaming API published in that perimeter, filter the obtained data by language and country, define and extract variables of interest and analyse the extracted variables by one spatial statistic and two s...

At the EU level, an increasing number of resources are being invested in an attempt to provide better public services through the use of Information and Communication Technology (ICT). While new tools are being designed and implemented, a shift from ‘traditional’ technologies that must be used to provide services to more interactive ‘smart’ technologies is beginning to take place. At the same t...

In order to reuse EHRs for research (Secondary Use), researchers may have to apply for the permission of using EHR data for their research. This process is e.g. necessary in a German research project, called Greifswald Approach to Individualized Medicine (GANI_MED). It is unknown to researchers at the time of a query, how many patients fit necessary inclusion and exclusion criteria for a certai...

Collaborative Open Plant Omics (COPO) is a brokering service between plant scientists and public repositories, enabling management, aggregation and publication of research outputs. COPO consolidates access to services and disparate information sources via web interfaces and Application Programming Interfaces (APIs). Users will deposit and view open access data, as well as seamlessly pull such d...