1087 search results - page 62 / 218 » Achieving Distributed Control through Model Checking |
113
Voted
POLICY
2007
Springer
15 years 8 months ago
2007
Springer
We present a discretionary access control framework that can be used to control a principal’s ability to link information from two or more audit records and compromise a user’...
143
click to vote
ISN
2000
Springer
15 years 5 months ago
2000
Springer
This paper examines load balancing issues relating to a distributed CORBA-based Service Control Point. Two types of load balancing strategies are explored through simulation studie...
129
click to vote
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
—We consider a cognitive radio network with distributed multiple secondary users, where each user independently searches for spectrum opportunities in multiple channels without e...
125
click to vote
CCS
2000
ACM
15 years 6 months ago
2000
ACM
Conventional firewalls rely on topology restrictions and controlled network entry points to enforce traffic filtering. Furthermore, a firewall cannot filter traffic it does ...
139
click to vote
MICRO
2010
IEEE
15 years 17 days ago
2010
IEEE
SARC merges cache controller and network interface functions by relying on a single hardware primitive: each access checks the tag and the state of the addressed line for possible...