In this work we report our efforts to facilitate the creation of mixed-initiative conversational interfaces for novice and experienced developers of human language technology. Our ...
James R. Glass, Eugene Weinstein, D. Scott Cyphers...
In this paper we present a software architecture and a development environment for the implementation of applications based on secure mobile agents. Recent breakthroughs in mobile...
Carles Garrigues, Sergi Robles, Joan Borrell, Guil...
Embedded real-time systems play an important role in various application areas like plant automation, product automation or car electronics. In recent years a considerable growth i...
This article reveals our work on refactoring plug-ins for Eclipse’s C++ Development Tooling (CDT). With CDT a reliable open source IDE exists for C/C++ developers. Unfortunately...
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...