17298 search results - page 14 / 3460 » Abstract computing machines |
FAC
2000
15 years 19 days ago
2000
s and Abstract Machines Stephan Diehl Universit
108
Voted
ITP
2010
14 years 11 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...
101
Voted
SAS
2010
Springer
14 years 11 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...
88
Voted
ECML
1998
Springer
15 years 5 months ago
1998
Springer
110
Voted
KES
2005
Springer
15 years 6 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...