2373 search results - page 379 / 475 » Towards a Model of Computer Systems Research |
157
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
145
Voted
SIGMETRICS
2002
ACM
15 years 4 months ago
2002
ACM
Computer system designers often evaluate future design alternatives with detailed simulators that strive for functional fidelity (to execute relevant workloads) and performance fi...
120
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
This paper describes a research approach to the experimental study of emotional experiences and their connections to other components of user experience in human-technology intera...
139
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
Fitts' law, Steering law and Law of crossing, collectively known as the laws of action, model the speed-accuracy tradeoffs in common HCI tasks. These laws impose a certain sp...
128
click to vote
SASO
2008
IEEE
15 years 11 months ago
2008
IEEE
Innovative paradigms and frameworks have to be identified to enable the effective deployment and execution of pervasive computing services. Such frameworks must be conceived so a...