Sciweavers

5252 search results - page 264 / 1051
» Logic in Access Control
Sort
View
MATES
2004
Springer
16 years 22 days ago
Paraconsistent Assertions
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an exp...
Jørgen Villadsen
ISQED
2003
IEEE
104views Hardware» more  ISQED 2003»
16 years 20 days ago
Comparative Assessment of Adaptive Body-Bias SOI Pass-Transistor Logic
We present a silicon-on-insulator (SOI) pass-transistor logic (PTL) gate with an active body bias control circuit and compare the proposed PTL gate with other types of PTL gates w...
Geun Rae Cho, Tom Chen
IPPS
1998
IEEE
15 years 11 months ago
A Case for Aggregate Networks
Parallel processing networks, even full crossbars, that only implement point-to-point and multicast message passing are inefficient for collective communications because multiple ...
Raymond Hoare, Henry G. Dietz
ARTS
1997
Springer
15 years 11 months ago
PLC-Automata: A New Class of Implementable Real-Time Automata
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
Henning Dierks
DASFAA
2007
IEEE
188views Database» more  DASFAA 2007»
16 years 1 months ago
Security-Conscious XML Indexing
To support secure exchanging and sharing of XML data over the Internet, a myriad of XML access control mechanisms have been proposed. In the setting of node-level fine-grained acc...
Yan Xiao, Bo Luo, Dongwon Lee