2043 search results - page 313 / 409 » Reasoning About Security Models |
160
click to vote
NGC
1998
Springer
15 years 4 months 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...
163
click to vote
CCS
2009
ACM
15 years 12 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...
144
click to vote
IUI
2006
ACM
15 years 11 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...
158
click to vote
ACMICEC
2006
ACM
15 years 11 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...
164
click to vote
EUROCRYPT
2009
Springer
16 years 5 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...