173 search results - page 21 / 35 » Evaluating Access Control Policies Through Model Checking |
TMC
2011
13 years 2 months ago
2011
We consider the problem of optimal channel access to provide quality of service (QoS) for data transmission in cognitive vehicular networks. In such a network the vehicular nodes ...
RTSS
1996
IEEE
13 years 11 months ago
1996
IEEE
In this paper, issues involved in the design of a real-time database which maintains data temporal consistency are discussed. The concept of data-deadline is introduced and time co...
WSC
1998
13 years 9 months ago
1998
The Detailed Policy Assessment Tool (DPAT) is a widely used simulation of air traffic control that incorporates advanced technology for user-friendly operation. DPAT computes cong...
GRID
2007
Springer
14 years 1 months ago
2007
Springer
-- To date, not enough attention has been paid to issues surrounding the description and enforcement of policies for controlling Grid resources. These policies define the permitted...
COMCOM
2007
13 years 7 months ago
2007
IEEE 802.16 employs TDMA (Time Division Multiple Access) as the access method and the policy for selecting scheduled links in a given time slot will definitely impact the system ...