799 search results - page 8 / 160 » Refinement and Separation Contexts |
72
Voted
CORR
2006
Springer
14 years 9 months ago
2006
Springer
Many categories have been used to model concurrency. Using any of these, the challenge is to reduce a given model to a smaller representation which nevertheless preserves the relev...
74
Voted
HCSE
2010
14 years 7 months ago
2010
Personas are useful for obtaining an empirically grounded understanding of a secure system's user population, its contexts of use, and possible vulnerabilities and threats end...
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
Scalability and others functionalities such as the Region of Interest encoding become essential properties of an efficient image coding scheme. Within the framework of lossless co...
ACL
1992
14 years 10 months ago
1992
Two independent mechanisms of context change have been discussed separately in the literature
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
Abstract. We study adjunct-elimination results for Context Logic applied to trees, following previous results by Lozes for Separation Logic and Ambient Logic. In fact, it is not po...