17298 search results - page 14 / 3460 » Abstract computing machines |
FAC
2000
13 years 7 months ago
2000
s and Abstract Machines Stephan Diehl Universit
ITP
2010
13 years 6 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
SAS
2010
Springer
13 years 6 months ago
2010
Springer
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
ECML
1998
Springer
13 years 11 months ago
1998
Springer
KES
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Human-computer interaction (HCI) has fundamentally changed computing. The ubiquity of HCI can be seen in several kinds of application areas, such as text editing, hyperte...