9832 search results - page 1506 / 1967 » An Object Model for Multiprogramming |
193
Voted
ESORICS
2006
Springer
15 years 11 months ago
2006
Springer
We propose a logic for specifying security policies at a very el of abstraction. The logic accommodates the subjective nature of affirmations for authorization and knowledge withou...
182
click to vote
FORMATS
2006
Springer
15 years 11 months ago
2006
Springer
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
203
click to vote
CGI
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper proposes an advanced cut-and-paste editing for three-dimensional models. We introduce a new parameterization technique based on constrained B-spline surface/volume fitt...
1535
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
Access control is an important protection mechanism for information systems. An access control matrix grants subjects privileges to objects. Today, access control matrices are sta...
199
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Executing parallel applications across distributed networks introduces the problem of fault tolerance. A viable solution for fault tolerance must keep overhead manageable and not c...