1941 search results - page 346 / 389 » Reasoning about Computations Using Two-Levels of Logic |
ICTCS
2007
Springer
15 years 6 months ago
2007
Springer
ing from Prioritized/Weighted Internal Immediate Actions Marco Bernardo and Alessandro Aldini Universit`a di Urbino “Carlo Bo” – Italy Markovian process calculi constitute a ...
101
click to vote
CHI
2011
ACM
14 years 3 months ago
2011
ACM
This paper argues for evaluating the impact of persuasive systems on users beyond metrics that focus on system usage, based on an interview study of 16 Wii Fit users. While explor...
DAC
2000
ACM
16 years 25 days ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
CCS
2009
ACM
16 years 14 days ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
100
click to vote
KDD
2006
ACM
16 years 8 days ago
2006
ACM
Recent research has identified significant vulnerabilities in recommender systems. Shilling attacks, in which attackers introduce biased ratings in order to influence future recom...