Sciweavers

857 search results - page 13 / 172
» A Formal Framework for Adaptive Access Control Models
Sort
View
WSC
2001
13 years 8 months ago
Improving simulation model adaptability with a production control framework
Simulation models provide a powerful tool for the analysis of manufacturing systems, but their utility beyond the design stage of the system life cycle is hampered by the high cos...
Sean M. Gahagan, Jeffrey W. Herrmann
WWW
2007
ACM
14 years 8 months ago
A fault model and mutation testing of access control policies
To increase confidence in the correctness of specified policies, policy developers can conduct policy testing by supplying typical test inputs (requests) and subsequently checking...
Evan Martin, Tao Xie
FASE
2004
Springer
14 years 27 days ago
Modeling Role-Based Access Control Using Parameterized UML Models
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na ...
NETWORK
2007
159views more  NETWORK 2007»
13 years 7 months ago
A Generic Framework for Modeling MAC Protocols in Wireless Broadband Access Networks
In this article, we present a simple yet accurate generic analytical model for a family of slotted carrier sense multiple access with collision avoidance (CSMA/CA) based medium ac...
Xinhua Ling, Jon W. Mark, Xuemin Shen, Yu Cheng
GECCO
2008
Springer
146views Optimization» more  GECCO 2008»
13 years 8 months ago
A formal performance modeling framework for bio-inspired ad hoc routing protocols
Bio-inspired ad hoc routing is an active area of research. The designers of these algorithms predominantly evaluate the performance of their protocols with the help of simulation ...
Muhammad Saleem, Syed Ali Khayam, Muddassar Farooq