2043 search results - page 313 / 409 » Reasoning About Security Models |
122
click to vote
NGC
1998
Springer
15 years 10 days ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
125
click to vote
CCS
2009
ACM
15 years 7 months ago
2009
ACM
Large-scale distributed systems have dense, complex code-bases that are assumed to perform multiple and inter-dependent tasks while user interaction is present. The way users inte...
100
Voted
IUI
2006
ACM
15 years 6 months ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...
121
Voted
ACMICEC
2006
ACM
15 years 6 months ago
2006
ACM
In this paper we first provide a literature review about the economics of online music. Second, we then present an economical model for online music by incorporating various param...
114
click to vote
EUROCRYPT
2009
Springer
16 years 1 months ago
2009
Springer
The fair evaluation and comparison of side-channel attacks and countermeasures has been a long standing open question, limiting further developments in the field. Motivated by this...