807 search results - page 79 / 162 » Term Rewriting for Access Control |
152
click to vote
VTC
2007
IEEE
16 years 10 days ago
2007
IEEE
—Evolved UTRA (EUTRA) is currently under study by 3GPP standards organizations as a long term evolution (LTE) for current generation Universal Terrestrial Radio Access (UTRA) net...
196
Voted
SIGMETRICS
2006
ACM
16 years 20 hour ago
2006
ACM
Understanding and managing the response time of web services is of key importance as dependence on the World Wide Web continues to grow. We present Remote Latency-based Management...
186
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
184
click to vote
SACMAT
2010
ACM
15 years 11 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
169
click to vote
TII
2008
15 years 6 months ago
2008
In distributed real-time systems, meeting the real-time constraints is mandatory but the satisfaction of other application-dependent criteria is most generally required as well. I...