8928 search results - page 1666 / 1786 » Modeling Current Events |
125
click to vote
APN
2008
Springer
15 years 5 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
139
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
The constant race for faster and more powerful CPUs is drawing to a close. No longer is it feasible to significantly increase the speed of the CPU without paying a crushing penalt...
144
click to vote
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Studies have shown that users have great difficulty specifying their security and privacy policies in a variety of application domains. While machine learning techniques have succ...
135
click to vote
CHI
2008
ACM
15 years 5 months ago
2008
ACM
Usability evaluation methods have a long history of research. Latest contributions significantly raised the validity of method evaluation studies. But there is still a measurement...
114
click to vote
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
We introduce a unified graph representation of the Web, which includes both structural and usage information. We model this graph using a simple union of the Web's hyperlink ...