6456 search results - page 412 / 1292 » Constraint Solving on Terms |
220
Voted
RTA
2011
Springer
14 years 9 months ago
2011
Springer
Given an equational system, completion procedures compute an equivalent and complete (terminating and confluent) term rewrite system. We present a very simple and efficient compl...
180
click to vote
DAC
2003
ACM
16 years 3 days ago
2003
ACM
We present a new technique to examine the trade-off regions of a circuit where its competing performances become “simultaneously optimal”, i.e. Pareto optimal. It is based on ...
189
click to vote
ACMICEC
2007
ACM
15 years 11 months ago
2007
ACM
When new technologies for production and dissemination of information emerge and are adopted, we see a dramatic increase in the quantity of information that is made available for ...
185
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This paper offers several contributions for separation of duty (SoD) administration in role-based access control (RBAC) systems. We first introduce a new formal framework, based o...
165
click to vote
LPNMR
2005
Springer
16 years 10 days ago
2005
Springer
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...