4286 search results - page 583 / 858 » Formalizing Service Interactions |
114
click to vote
ACMACE
2006
ACM
15 years 10 months ago
2006
ACM
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...
126
click to vote
IUI
2006
ACM
15 years 10 months ago
2006
ACM
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...
170
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
152
click to vote
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
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 ...
122
click to vote
VL
2005
IEEE
15 years 10 months ago
2005
IEEE
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...