799 search results - page 8 / 160 » Refinement and Separation Contexts |
CORR
2006
Springer
13 years 8 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...
HCSE
2010
13 years 6 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
14 years 10 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
13 years 9 months ago
1992
Two independent mechanisms of context change have been discussed separately in the literature
APLAS
2007
ACM
14 years 18 days 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...