2024 search results - page 357 / 405 » A Logic Based Approach for Dynamic Access Control |
ICDE
2005
IEEE
14 years 10 months ago
2005
IEEE
Query processing in traditional information management systems has moved from an exact match model to more flexible paradigms allowing cooperative retrieval by aggregating the dat...
ICAC
2008
IEEE
14 years 3 months ago
2008
IEEE
Creating good adaptation policies is critical to building complex autonomic systems since it is such policies that define the system configuration used in any given situation. W...
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
We propose a novel method for computing a fourdimensional (4D) representation of the spatio-temporal visual hull of a dynamic scene, based on an extension of a recent provably cor...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— Recently, the problem of autonomous navigation of automobiles has gained substantial interest in the robotics community. Especially during the two recent DARPA grand challenges...
ESOP
2006
Springer
14 years 10 days ago
2006
Springer
Abstract. The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calcul...