423 search results - page 40 / 85 » A Logical Approach to Dynamic Role-Based Access Control |
ICN
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we propose an architecture to regulate the bandwidth usage of multimedia streams in networked virtual environments. In this architecture, intelligent proxies are pla...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
WINET
2010
13 years 7 months ago
2010
We consider a scenario where devices with multiple networking capabilities access networks with heterogeneous characteristics. In such a setting, we address the problem of effici...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
—We consider a widely applicable model of resource allocation where two sequences of events are coupled: on a continuous time axis (t), network dynamics evolve over time. On a di...
INFOCOM
1999
IEEE
14 years 1 months ago
1999
IEEE
The Mobile IP (MIP) protocol for IP version 4 provides continuous Internet connectivity to mobile hosts. However, currently it has some drawbacks in the areas of survivability, per...