Sciweavers

5252 search results - page 210 / 1051
» Logic in Access Control
Sort
View
KES
2007
Springer
16 years 1 months ago
A Rewrite Based Approach for Enforcing Access Constraints for XML
Abstract. Access control for semi-structured data is nontrivial, as witnessed by the number of access control approaches in recent literature. Recently a case has been made for exp...
Sriram Mohan, Arijit Sengupta, Yuqing Wu
AGENTS
1997
Springer
15 years 11 months ago
Real-Time Control of Attention and Behavior in a Logical Framework
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representatio...
Ian Horswill
MTV
2007
IEEE
121views Hardware» more  MTV 2007»
16 years 1 months ago
Chico: An On-chip Hardware Checker for Pipeline Control Logic
The widening gap between CPU complexity and verification capability is becoming increasingly more salient. It is impossible to completely verify the functionality of a modern mic...
Andrew DeOrio, Adam Bauserman, Valeria Bertacco
TCSV
2008
110views more  TCSV 2008»
15 years 7 months ago
Fuzzy-Logic Congestion Control of Transcoded Video Streaming Without Packet Loss Feedback
Congestion control of a variable bit-rate video stream crossing the Internet is crucial to ensuring the quality of the received video. When a fuzzy-logic congestion controller (FL...
Emmanuel Jammeh, Martin Fleury, Mohammed Ghanbari
AAAI
1998
15 years 8 months ago
Two Forms of Dependence in Propositional Logic: Controllability and Definability
We investigate two forms of dependence between variables and/or formulas within a propositional knowledge base: controllability (a set of variables X controls a formula , if there...
Jérôme Lang, Pierre Marquis