384 search results - page 52 / 77 » Trust as dependence: a logical approach |
107
click to vote
POPL
1995
ACM
15 years 4 months ago
1995
ACM
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
107
click to vote
TOPLAS
2002
15 years 27 days ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
148
click to vote
CODASPY
2011
14 years 4 months ago
2011
Social Network Systems pioneer a paradigm of access control that is distinct from traditional approaches to access control. Gates coined the term Relationship-Based Access Control...
115
click to vote
DAWAK
2003
Springer
15 years 6 months ago
2003
Springer
Web warehousing plays a key role in providing the managers with up-to-date and comprehensive information about their business domain. On the other hand, since XML is now a standard...
109
click to vote
CPAIOR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this paper we introduce a complex allocation and scheduling problem for variable voltage Multi-Processor System-on-Chip (MPSoC) platforms. We propose a methodology to ...