1625 search results - page 99 / 325 » Intentionality |
FMOODS
2007
13 years 10 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
INTERACT
2007
13 years 10 months ago
2007
This paper investigates novel ways to direct computers by eye gaze. Instead of using fixations and dwell times, this work focuses on eye motion, in particular gaze gestures. Gaze g...
ACE
2004
13 years 10 months ago
2004
This paper describes some issues concerning assessment and the corresponding motivation for students to work in a desired manner. The issues came from studying assessment in the R...
ACSW
2004
13 years 10 months ago
2004
With the number of attacks on systems increasing, it is highly probable that sooner or later an intrusion will be successful. Not having to execute a complete shutdown in this sit...
IADIS
2003
13 years 10 months ago
2003
The intent of this paper is to provide empirically tested and validated metrics to capture the gradual adoption of ecommerce among manufacturing SMEs. The results suggest that e-c...