1959 search results - page 125 / 392 » Concerned About Separation |
131
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
We presented at HICSS-34 a new methodology based on the semantics of contracts to model business and, beyond, to manage the knowledge assets of a firm. In this paper we present tw...
158
click to vote
LICS
1990
IEEE
15 years 8 months ago
1990
IEEE
Reasoning about permissions and obligations sometimes requires to distinguish more than one level of permission: certain actions are preferable to others, or one has more confiden...
128
click to vote
DAGM
2008
Springer
15 years 6 months ago
2008
Springer
In this work, we present a combined approach to tracking and reconstruction. An implicit feedback of 3d information to the tracking process is achieved by optimizing a single error...
145
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
165
click to vote
FC
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents fair traceable multi-group signatures (FTMGS), which have enhanced capabilities, compared to group and traceable signatures, that are important in real world sc...