4401 search results - page 595 / 881 » Computing with Default Logic |
162
click to vote
SACMAT
2009
ACM
16 years 20 days ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
150
click to vote
LCN
2007
IEEE
16 years 13 days ago
2007
IEEE
— GRSB - Guaranteed, Reliable, Secure Broadcast - is a protocol that provides reliable and secure broadcast / multicast communications [1,2]. It can be implemented in many types ...
164
click to vote
CCS
2007
ACM
16 years 10 days ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
165
click to vote
WOLLIC
2007
Springer
16 years 7 days ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
178
click to vote
ASPDAC
2006
ACM
16 years 3 days ago
2006
ACM
- One of the critical issues in MTCMOS design is how to estimate a circuit delay quickly. In this paper, we propose a delay modeling and static timing analysis (STA) methodology ta...