Social tagging is a relatively new type of social software that stores user-generated textual keywords to describe a resource or aspects of that resource. In this paper we explore...
Ralph Boeije, Gwendolyn L. Kolfschoten, Pieter de ...
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...
Location Based Services (LBS) promise interesting business opportunities. Today, most LBS are either implemented in hardware devices, or downloaded and installed by mobile phone u...
Stephan Karpischek, Fabio Magagna, Florian Michahe...
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
Benedikt Bollig, Manuela-Lidia Grindei, Peter Habe...
Portable ballot counters using camera technology and manual paper feed are potentially more reliable and less expensive than scanner-based systems. We show that the spatial sampli...
George Nagy, Bryan Clifford, Andrew Berg, Glenn Sa...