2317 search results - page 265 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
146
click to vote
CIKM
2003
Springer
15 years 9 months ago
2003
Springer
Currently, stream data processing is an active area of research, which includes everything from algorithms and architectures for stream processing to modelling and analysis of var...
124
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead...
145
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
A recent trend in modern high performance computing (HPC) system architectures employs “lean” compute nodes running a lightweight operating system (OS). Certain parts of the OS...
147
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
In this paper we describe a practical framework for studying the navigational behavior of the users of an e-learning environment integrated in a virtual campus. The students navig...
128
click to vote
ICCAD
2008
IEEE
16 years 26 days ago
2008
IEEE
— This paper presents a method for correct-by-construction microarchitectural pipelining that handles cyclic systems with dependencies between iterations. Our method combines pre...