1497 search results - page 162 / 300 » Extended static checking |
127
click to vote
INFOCOM
2011
IEEE
14 years 4 months ago
2011
IEEE
—Recently, there has been great interest in physical layer security techniques that exploit the randomness of wireless channels for securely extracting cryptographic keys. Severa...
234
Voted
ECOOP
2009
Springer
16 years 1 months ago
2009
Springer
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...
165
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
The subtyping test consists of checking whether a type t is a descendant of a type r (Agrawal et al. 1989). We study how to perform such a test efficiently, assuming a dynamic hie...
197
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
155
Voted
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...