1925 search results - page 13 / 385 » Dynamic Typing |
93
Voted
SOCO
2008
Springer
15 years 1 months ago
2008
Springer
JCNS
2010
14 years 12 months ago
2010
105
click to vote
SFP
2000
15 years 2 months ago
2000
: We describe an algorithm approximatingthe following question: Given two types t1 and t2, are there instances (t1) and (t2) denoting a common element? By answering this question w...
103
click to vote
CSFW
2006
IEEE
15 years 7 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
ACSAC
2001
IEEE
15 years 5 months ago
2001
IEEE
In most of the current authorization frameworks in application systems, the authorization for a user operation is determined using a static database like ACL entries or system tab...