The academic field of information systems has developed because organizations use a specialized body of knowledge about information and communications systems. Teaching and resear...
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
: Flying Message Service (FMS) is a design project promoting community-based messaging in public spaces in the city. We have built a system that enables people to attach electronic...
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
In this paper, we propose a Web based agent system called MiSpider, which provides intelligent web services on web browsers. MiSpider enables users to use agents on existing brows...