JOANA ist ein System zur Software-Sicherheitsanalyse, das bis zu 100kLOC volles Java mit Threads analysieren kann. JOANA basiert auf modernen Verfahren zur Programmanalyse und erzeugt deshalb wenig Fehlalarme. JOANA enthält einen “iRLSOD” Algorithmus, der probabilistische Nichtinterferenz garantiert. JOANA ist Open Source, braucht wenige Annotationen und lässt sich leicht bedienen. Der Artikel ...

Prof. Dr. sc. Dietrich Dörner studierte Psychologie an der Universität Kiel und wurde 1979 Professor für Allgemeine Psychologie an der Universität Bamberg. Von 1989 bis 1991 hatte er die Leitung der Arbeitsgruppe Kognitive Anthropologie am Berliner Max-Planck-Institut inne. Bis zu seiner Emeritierung im Sommer 2006 leitete er das Institut für Theoretische Psychologie an der Universität Bamberg....

This paper reconciles two widely used decompositions of GDP into trend and cycle that yield starkly different results. The BeveridgeNelson (BN) decomposition implies that a stochastic trend accounts for most of the variation in output, whereas the unobserved-components (UC) implies cyclical variation is dominant. Which is correct has broad implications for the relative importance of real versus...

This paper presents a critical study of the mechanical and electrical properties of the PHANToM haptic interface and improvements to overcome its limitations for applications requiring high-performance control. Target applications share the common requirements of low-noise/granularity/latency measurements, an accurate system model, high bandwidth, the need for an open architecture, and the abil...

To successfully apply evolutionary algorithms to the solution of increasingly complex problems, we must develop effective techniques for evolving solutions in the form of interacting coadapted subcomponents. One of the major difficulties is finding computational extensions to our current evolutionary paradigms that will enable such subcomponents to “emerge” rather than being hand designed. In t...

Besides conventional cellular mobile radio networks like, e.g., GSM, with voice communication being the main application, other technologies primarily used for local Internet access – especially Wireless LAN – are gaining momentum. However, while mobility is an inherent feature of cellular radio networks, it is not well supported by the various wireless extensions of local area networks yet. Fo...

Das Ziel des ViPLab-Projektes der Universität Stuttgart [2] ist die Durchführung von Programmierübungen und elektronischer Prüfungen im ILIAS Lernmanagement-System der Universität Stuttgart. Historisch entstand das Projekt aus der Notwendigkeit heraus, Studierende in den Bachelor-Studiengängen so rasch wie möglich an Programmiersprachen und numerische Software wie Matlab heran zu führen, wofür ...

Mit der zunehmenden Leistungsfähigkeit mobiler Endgeräte wird es immer reizvoller, Desktopanwendungen mobil verfügbar zu machen. Nicht nur der ständig verfügbare Netzzugriff, sondern vor allem die steigende Rechengeschwindigkeit, GPS Empfänger, Beschleunigungssensoren und Kameras in heutigen Smartphones machen es möglich, Daten überall standortbezogen abzufragen. Während ein Geoinformationssyst...

Citrus ist ein Open Source Framework für den automatisierten Test von Schnittstellen einer modernen Enterprise Anwendung. Das Framework ist in Java geschrieben und bietet fertige Komponenten für den Nachrichtenaustausch als Client und Server mit verschiedensten Protokollen und Formaten (z.B. Http REST, SOAP, JMS, FTP, File, Websocket, XML, JSON und vieles mehr). Das Framework bietet eine XML so...