Sciweavers

407 search results - page 58 / 82
» Toolkits and interface creativity
Sort
View
AAMAS
2012
Springer
12 years 3 months ago
Koko: an architecture for affect-aware games
The importance of affect in delivering engaging experiences in entertainment and educational games is well recognized. Yet, current techniques for building affect-aware games are l...
Derek J. Sollenberger, Munindar P. Singh
ICSE
2003
IEEE-ACM
14 years 7 months ago
Modular Verification of Software Components in C
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh ...
ICRA
2006
IEEE
77views Robotics» more  ICRA 2006»
14 years 1 months ago
Opening the Dialog: Robotics and the Internet
Abstract— Inter-component communication has received considerable attention by robotic software architects as various frameworks and toolkits have matured. While the resulting pl...
Anthony Cowley, Hwa-Chow Oliver Hsu, Camillo J. Ta...
EUROPAR
2003
Springer
14 years 28 days ago
Two Dimensional Airfoil Optimisation Using CFD in a Grid Computing Environment
In this paper, a two-dimensional airfoil shape optimisation problem is investigated using CFD within a grid computing environment (GCE) implemented in Matlab. The feature-based par...
Wenbin Song, Andy J. Keane, M. Hakki Eres, Graeme ...
IICS
2001
Springer
14 years 5 days ago
Reusing Single-User Applications to Create Multi-user Internet Applications
Although there are many groupware platforms existing nowadays, collaborative multi-user applications are not yet widely accepted by end-users. In contrast to single-user applicatio...
Stephan Lukosch, Jörg Roth