2940 search results - page 422 / 588 » Relational Parametricity and Control |
123
click to vote
NAS
2007
IEEE
15 years 11 months ago
2007
IEEE
: SAN-level caching can manage caching within a global view so that global hot data can be identified and cached. However, two problems may be encountered in the existing SAN-level...
163
click to vote
SASO
2007
IEEE
15 years 11 months ago
2007
IEEE
Multi-agent systems (MAS) provide a promising technology for addressing problems such as search and rescue missions, mine sweeping, and surveillance. These problems are a form of ...
155
click to vote
ACII
2007
Springer
15 years 11 months ago
2007
Springer
An investigation into capturing the relation of physiology, beyond heart rate recording, to expressed preferences of entertainment in children’s physical gameplay is presented in...
163
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...
148
click to vote
CCS
2007
ACM
15 years 11 months 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, ...