4354 search results - page 776 / 871 » Matching Objects with Patterns |
ISCAS
2006
IEEE
15 years 5 months ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
101
click to vote
SACMAT
2006
ACM
15 years 5 months ago
2006
ACM
In this paper we propose an access control model for the Resource Description Framework (RDF). We argue that existing access control models, like the ones developed for securing e...
3DIM
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper describes how to automatically extract the presence and location of geometrical irregularities on a surface of revolution. To this end a partial 3D scan of the workpiec...
ACSC
2005
IEEE
15 years 5 months ago
2005
IEEE
The proposed Fuzzy Logic Controller (FLC) is a novel approach for dynamic buffer tuning at the user/server level. It eliminates buffer overflow by ensuring that the buffer length ...
EDOC
2005
IEEE
15 years 5 months ago
2005
IEEE
The management of IT landscapes consisting of thousands of business applications, different middleware systems, and supporting various business processes is a challenge for modern...