1092 search results - page 180 / 219 » Automated Evaluation of Coordination Approaches |
133
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Partitioned BDD-based algorithms have been proposed in the literature to solve the memory explosion problem in BDD-based verification. Such algorithms can be at times ineffective ...
158
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
We discuss the problem of assessing and aiding user performance in dynamic tasks that require rapid selection among multiple information sources. Motivated by research in human se...
147
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
Users gain access to cash, confidential information and services at Automated Teller Machines (ATMs) via an authentication process involving a Personal Identification Number (PIN)...
141
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
The complexity of many problems necessitates creating and exploring multiple, alternative solutions. However, current user interfaces do not cleanly support creating alternatives ...
176
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Fault tolerance mechanisms are a key ingredient of dependable systems. In particular, software-implemented hardware fault tolerance (SIHFT) is gaining in popularity, because of its...