4445 search results - page 43 / 889 » Reflective Authorization Systems |
ACMDIS
2000
ACM
14 years 2 months ago
2000
ACM
We may view documents, not only as “containers” for information, but also as active participants in organizing and sustaining communities. This paper discusses our experiences...
ECOOPW
2000
Springer
14 years 1 months ago
2000
Springer
Previous workshops on reflection both in ECOOP and in OOPSLA have pointed out the growing interest and importance of Reflection and Metalevel Architectures in the fields of program...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
We present an on-line crosslayer control technique to characterize and approximate optimal policies for wireless networks. Our approach combines network utility maximization and ad...
SIGGRAPH
1989
ACM
14 years 1 months ago
1989
ACM
We analyse some recent approaches to the global illumination problem by introducing the corresponding reflection operators, and we demonstrate the advantages of a two-pass method....
JAR
2008
13 years 10 months ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...