5252 search results - page 791 / 1051 » Logic in Access Control |
190
click to vote
RTSS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents algorithms that (1) facilitate systemindependent synthesis of timing-interfaces for subsystems and (2) system-level selection of interfaces to minimize CPU loa...
179
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents a computing model for resource-limited mobile devices that might be ubiquitously deployed in private and business environments. The model integrates a stron...
165
click to vote
DATE
2007
IEEE
16 years 29 days ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
171
click to vote
CCS
2007
ACM
16 years 25 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
216
click to vote
ECOWS
2007
Springer
16 years 24 days ago
2007
Springer
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...