2162 search results - page 396 / 433 » Automated Reasoning on Feature Models |
184
click to vote
USS
2010
15 years 4 months ago
2010
We examine the problem of acoustic emanations of printers. We present a novel attack that recovers what a dotmatrix printer processing English text is printing based on a record o...
164
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Priva...
194
click to vote
DCC
2008
IEEE
16 years 6 months ago
2008
IEEE
A fully automated architecture for object-based region of interest (ROI) detection is proposed. ROI's are defined as regions containing user defined objects of interest, and ...
182
click to vote
TOOLS
2009
IEEE
16 years 1 months ago
2009
IEEE
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
163
click to vote
SIGIR
2005
ACM
16 years 2 days ago
2005
ACM
We consider classification of email messages as to whether or not they contain certain “email acts”, such as a request or a commitment. We show that exploiting the sequential ...