785 search results - page 131 / 157 » Automated Analysis of Feature Models Using Atomic Sets |
CORR
2011
Springer
13 years 3 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...
MIR
2005
ACM
14 years 2 months ago
2005
ACM
We propose a new method for automated large scale gathering of Web images relevant to specified concepts. Our main goal is to build a knowledge base associated with as many conce...
TC
2008
13 years 8 months ago
2008
Abstract. The Parallel Disks Model (PDM) has been proposed to alleviate the I/O bottleneck that arises in the processing of massive data sets. Sorting has been extensively studied ...
IEEEPACT
2008
IEEE
14 years 3 months ago
2008
IEEE
One of the essential features in modern computer systems is context switching, which allows multiple threads of execution to time-share a limited number of processors. While very ...
TOG
2012
11 years 11 months ago
2012
This paper investigates “Schelling points” on 3D meshes, feature points selected by people in a pure coordination game due to their salience. To collect data for this investig...