5252 search results - page 199 / 1051 » Logic in Access Control |
197
click to vote
JSYML
2000
15 years 7 months ago
2000
We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and ...
184
click to vote
ITC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper discusses practical issues involved in applying logic built-in self-test (BIST) to four large industrial designs. These multi-clock designs, ranging in size from 200K t...
177
click to vote
ACL
2007
15 years 8 months ago
2007
In order to effectively access the rapidly increasing range of media content available in the home, new kinds of more natural interfaces are needed. In this paper, we explore the ...
195
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper introduces a self-organized mechanism to control user access in ad hoc networks without requiring any infrastructure or a central administration entity. The proposed ...
216
click to vote
ATAL
2005
Springer
16 years 22 days ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...