481 search results - page 3 / 97 » Toward an Abstract Computer Virology |
ENTCS
2008
14 years 9 months ago
2008
Progress, Extended Abstract) Philippe Jorrand1 Simon Perdrix2 Leibniz Laboratory IMAG-INPG Grenoble, France The aim of this paper is to introduce a general model of quantum comput...
ESORICS
2004
Springer
15 years 2 months ago
2004
Springer
d Abstract) James Aspnes , Joan Feigenbaum , Aleksandr Yampolskiy † , and Sheng Zhong ‡ Department of Computer Science, Yale University, New Haven CT 06520-8285, USA Abstract. ...
HCI
2009
14 years 7 months ago
2009
Abstract. The current paper presents the evaluation framework and plans developed for the evaluation of the applications to be developed in the context of the
KES
2005
Springer
15 years 2 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...
CIE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...