2317 search results - page 119 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
— In this paper we present analytical techniques that can be used to better understand the behavior of malware, a generic term that refers to all kinds of malicious software prog...
CHI
2003
ACM
14 years 8 months ago
2003
ACM
This paper presents a critical view of existing models of user experience. These models view experience as the subjective response in the individual's mind. While designers a...
IFIP13
2004
13 years 9 months ago
2004
: This paper describes a method aiming to support the design of interactive-safety critical systems. The method proposes an original integration of approaches usually considered se...
CASES
2006
ACM
14 years 2 months ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...