8555 search results - page 155 / 1711 » Property Based Coordination |
131
click to vote
DBSEC
2010
15 years 5 months ago
2010
Abstract. Access control mechanisms are used to control which principals (such as users or processes) have access to which resources based on access control policies. To ensure the...
137
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
118
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
In augmented virtuality which virtualizes real objects to construct a mixed reality environment, it is important to estimate object surface reflectance properties to render object...
149
click to vote
MICCAI
2005
Springer
16 years 5 months ago
2005
Springer
Abstract. Curves are often used as anatomical features to match surfaces that represent biological objects, such as the human brain. Automated and semi-automated methods for extrac...
103
click to vote
ISBI
2006
IEEE
16 years 5 months ago
2006
IEEE
This paper examines the spatial resolution properties of nonquadratically regularized image reconstruction methods for positron emission tomography (PET). It is well known that qu...