2162 search results - page 396 / 433 » Automated Reasoning on Feature Models |
172
click to vote
USS
2010
15 years 3 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...
153
click to vote
CORR
2011
Springer
15 years 29 days 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...
184
click to vote
DCC
2008
IEEE
16 years 5 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 ...
170
click to vote
TOOLS
2009
IEEE
16 years 21 days 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...
154
click to vote
SIGIR
2005
ACM
15 years 11 months 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 ...