Sciweavers

4286 search results - page 583 / 858
» Formalizing Service Interactions
Sort
View
ACMACE
2006
ACM
15 years 10 months ago
The VoodooIO gaming kit: a real-time adaptable gaming controller
Existing gaming controllers are limited in their end-user configurability. As a complement to current game control technology, we present the VoodooIO Gaming Kit, a real-time adap...
Nicolas Villar, Kiel Mark Gilleade, Devina Ramduny...
IUI
2006
ACM
15 years 10 months ago
Eye-tracking to model and adapt to user meta-cognition in intelligent learning environments
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...
Christina Merten, Cristina Conati
ACSAC
2005
IEEE
15 years 10 months ago
Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
Jan Jürjens
QSIC
2005
IEEE
15 years 10 months ago
Towards Making Agent UML Practical: A Textual Notation and a Tool
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...
Michael Winikoff
VL
2005
IEEE
117views Visual Languages» more  VL 2005»
15 years 10 months ago
Goal-Directed Debugging of Spreadsheets
We present a semi-automatic debugger for spreadsheet systems that is specifically targeted at end-user programmers. Users can report expected values for cells that yield incorrec...
Robin Abraham, Martin Erwig