95 views152 votes15 years 11 months ago MHCI 2004»
Abstract. Rather than merely imitating the desktop metaphor for mobile devices, new interface paradigms that take into account the particular characteristics of mobility, need to b...
89 views154 votes15 years 11 months ago MLMI 2004»
People are emotional, and machines are not. That constrains their communication, and defines a key challenge for the information sciences. Different groups have addressed it from d...
100 views144 votes15 years 11 months ago OOPSLA 2004»
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
209 views151 votes15 years 11 months ago PARA 2004»
A general framework for structure-preserving model reduction by Krylov subspace projection methods is developed. The goal is to preserve any substructures of importance in the matr...
156 views169 votes15 years 11 months ago PET 2004»
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
106 views138 votes15 years 11 months ago XPU 2004»
Abstract. Different kinds of unit testing activities are used in practice. Organised unit testing (regression testing or test-first activities) are very popular in commercial pract...
147 views141 votes15 years 11 months ago HICSS 2010»
The design of a creativity workshop which helps to develop new ideas of how to support elderly people to live in their own home for as long as possible is presented. The participa...
105 views148 votes15 years 11 months ago CLADE 2003»
As Grids are emerging as the next-generation computing platform, the need for Web-based portals that hide low level details of accessing Grid services for deployment and execution ...
86 views129 votes15 years 11 months ago COOPIS 2003»
The current Web technology is not suitable for representing knowledge nor sharing it among organizations over the Web. There is a rapidly increasing need for exchanging and linking...
This paper presents work in progress and continues a project devoted to developing shape modeling system based on implementation of radial based function (RBF) technology. In this...