2024 search results - page 297 / 405 » A Logic Based Approach for Dynamic Access Control |
135
Voted
SYSTOR
2009
ACM
15 years 10 months ago
2009
ACM
A typical storage hierarchy comprises of components with varying performance and cost characteristics, providing multiple options for data placement. We propose and evaluate a hie...
115
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
169
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
122
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
There are an increasing number of initiatives for the migration of agents research towards new Internet technologies such as the semantic web, Grid, and web services. On the one h...
177
click to vote
MOBIQUITOUS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes the Middleware for Application Interconnection in Personal Area Networks (MAIPAN), a middleware that provides a uniform computing environment for creating dyna...