This paper describes a design space exploration experiment for a real application from the embedded networking domain - the physical layer of a wireless protocol. The application ...
Laura Vanzago, Bishnupriya Bhattacharya, Joel Camb...
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
Abstract. In this paper we present the hard- and software architecture of the robots of the T-Team Tuebingen, which participated in the RoboCup'98. This paper describes how we...
This paper presents results on the selection of application scenarios and persona design for sociolect and dialect speech synthesis. These results are derived from a listening expe...
The central problem that this paper addresses is how to manage dynamic change within game environments in response to variable player requirements and ability. In particular, we di...