715 search results - page 120 / 143 » On Run-Time Enforcement of Policies |
SASO
2008
IEEE
14 years 1 months ago
2008
IEEE
Current solutions for industrial manufacturing assembly systems do not suit the needs of Mass Customization industry, which is facing low production volumes, many variants and rap...
AIMS
2008
Springer
14 years 1 months ago
2008
Springer
The Internet was originally designed as a flat data network delivering a multitude of protocols and services between equal peers. Currently, after an explosive growth fostered by ...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— In multiuser systems, multiuser diversity gains can be achieved by assigning channels to users with higher channel quality. To avoid the extensive information exchange required...
CCS
2007
ACM
14 years 1 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, ...
GPCE
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...