3470 search results - page 534 / 694 » Head-Elementary-Set-Free Logic Programs |
122
click to vote
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
A key challenge for companies is to manage customer relationships as an asset. To create an effective toolkit for the analysis of customer relationships, a combination of relation...
141
Voted
SEW
2003
IEEE
15 years 9 months ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
122
click to vote
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
A special class of oracle circuits with tree-vector form is introduced. It is shown that they can be evaluated in deterministic polynomial-time with a polylog number of adaptive qu...
128
click to vote
FPGA
2010
ACM
16 years 1 months ago
2010
ACM
Monte Carlo based SSTA serves as the golden standard against alternative SSTA algorithms, but it is seldom used in practice due to its high computation time. In this paper, we acc...
166
click to vote
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...