17 search results - page 4 / 4 » On representable ordered residuated semigroups |
ACII
2007
Springer
13 years 10 months ago
2007
Springer
ended abstract reports on on-going work exploring the addition of a certain degree of control over expressivity in a unit selection context. Rather than merely choosing one unit se...
CCS
2011
ACM
12 years 4 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...