Sciweavers

784 search results - page 67 / 157
» An underlying model for defeat mechanisms
Sort
View
ICC
2007
IEEE
15 years 4 months ago
A Grammar for Specifying Usage Control Policies
—Usage control goes beyond traditional access control, addressing its limitations related to attribute mutability and continuous usage permission validation. The recently propose...
Rafael Teigao, Carlos Maziero, Altair Olivo Santin
WORDS
2005
IEEE
15 years 3 months ago
A Role-Based Access Control Policy Verification Framework for Real-Time Systems
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
Basit Shafiq, Ammar Masood, James Joshi, Arif Ghaf...
PPSN
2004
Springer
15 years 3 months ago
A Visual Demonstration of Convergence Properties of Cooperative Coevolution
Abstract. We introduce a model for cooperative coevolutionary algorithms (CCEAs) using partial mixing, which allows us to compute the expected long-run convergence of such algorith...
Liviu Panait, R. Paul Wiegand, Sean Luke
ECMAST
1997
Springer
172views Multimedia» more  ECMAST 1997»
15 years 2 months ago
A Multicast Network Architecture for Large Scale Collaborative Virtual Environments
This paper introduces a multicast based architecture for supporting large scale Collaborative Virtual Environments (CVEs). The paper begins by defining CVEs, discussing the motivat...
Chris Greenhalgh, Steve Benford
EUROGP
2007
Springer
145views Optimization» more  EUROGP 2007»
15 years 1 months ago
GP Classifier Problem Decomposition Using First-Price and Second-Price Auctions
This work details an auction-based model for problem decomposition in Genetic Programming classification. The approach builds on the population-based methodology of Genetic Progra...
Peter Lichodzijewski, Malcolm I. Heywood