3523 search results - page 262 / 705 » Feature interaction in policies |
189
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
174
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
189
click to vote
ANSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Clusters of workstations have emerged as a costeffective solution to high performance computing problem. To take advantage of any opportunities, however, effective scheduling tech...
154
click to vote
CSFW
2000
IEEE
15 years 11 months ago
2000
IEEE
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
149
click to vote
RTCSA
2000
IEEE
15 years 11 months ago
2000
IEEE
Large-scale distributed real-time systems are increasingly difficult to analyze within the Rate Monotonic Analysis framework. This is due partly to their heterogeneity, complex i...