Sciweavers

5202 search results - page 120 / 1041
» A Survey of Human Computation Systems
Sort
View
GRAPHITE
2003
ACM
15 years 3 months ago
Varying rendering fidelity by exploiting human change blindness
The complexity of most virtual environments prevents them being rendered in real time even on modern graphics hardware. Knowledge of the visual system of the user viewing the envi...
Kirsten Cater, Alan Chalmers, Colin Dalton
LICS
2003
IEEE
15 years 3 months ago
Logic in Access Control
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...
Martín Abadi
JSSPP
2004
Springer
15 years 3 months ago
Scheduling on the Top 50 Machines
The well-known TOP500 list ranks the 500 most powerful high-performance computers. However, the list lacks details about the job management and scheduling on these machines. As thi...
Carsten Ernemann, Martin Krogmann, Joachim Lepping...
CONCUR
2006
Springer
15 years 1 months ago
Probability and Nondeterminism in Operational Models of Concurrency
We give a brief overview of operational models for concurrent systems that exhibit probabilistic behavior, focussing on the interplay between probability and nondeterminism. Our su...
Roberto Segala
ACHI
2009
IEEE
15 years 4 months ago
A Model-Driven Development Approach Focusing Human Interaction
Human interaction like entering some data, making decisions etc. has to be dealt with as an integral part of today’s business processes and the supporting IT likewise. Hence, hu...
Stefan Link, Philip Hoyer, Tilmann Kopp, Sebastian...