42 search results - page 1 / 9 » A Relational Model for Confined Separation Logic |
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
ENTCS
2008
14 years 10 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
IMAGING
2000
14 years 11 months ago
2000
A spectral-based six-color printer model was derived in determining the six color separations for an input spectral image that yields the least metameric reproduction relative to ...
105
click to vote
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...
DLOG
2009
14 years 11 months ago
2009
Relation Based Access Control (RelBAC) is an access control model designed for the new scenarios of access control on Web 2.0. Under this model, we discuss in this paper how to for...