2458 search results - page 385 / 492 » Database-Management Principles And Applications |
SAT
2009
Springer
15 years 4 months ago
2009
Springer
One of the starting points of propositional proof complexity is the seminal paper by Cook and Reckhow [6], where they defined propositional proof systems as poly-time computable f...
ACSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
Computer security systems protect computers and networks from unauthorized use by external agents and insiders. The similarities between computer security and the problem of prote...
111
click to vote
BIBM
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—Compressive Sensing Microarrays (CSM) are DNAbased sensors that operate using group testing and compressive sensing (CS) principles. In contrast to conventional DNA micr...
CSFW
2008
IEEE
15 years 4 months ago
2008
IEEE
Authorization logics provide a principled and flexible approach to specifying access control policies. One of their compelling benefits is that a proof in the logic is evidence ...
ICAS
2008
IEEE
15 years 4 months ago
2008
IEEE
Current standardization efforts aim towards a unifying platform for fixed and mobile telecommunication services. The IP multimedia subsystem is advocated as the candidate for buil...