Sciweavers

580 search results - page 42 / 116
» Expressive policy analysis with enhanced system dynamicity
Sort
View
SACMAT
2009
ACM
15 years 4 months ago
Towards formal security analysis of GTRBAC using timed automata
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri
75
Voted
IJMTM
2007
147views more  IJMTM 2007»
14 years 9 months ago
Value chain modelling using system dynamics
: We consider a new type of value chain that includes both production and service capabilities for existing product lines and that incorporates new product and service development....
Thomas Speller, Luis Rabelo, Albert Jones
96
Voted
BMCBI
2006
127views more  BMCBI 2006»
14 years 9 months ago
Using local gene expression similarities to discover regulatory binding site modules
Background: We present an approach designed to identify gene regulation patterns using sequence and expression data collected for Saccharomyces cerevisae. Our main goal is to rela...
Bartek Wilczynski, Torgeir R. Hvidsten, Andriy Kry...
SAC
2006
ACM
15 years 3 months ago
A privacy preserving web recommender system
In this paper we propose a recommender system that helps users to navigate though the Web by providing dynamically generated links to pages that have not yet been visited and are ...
Ranieri Baraglia, Claudio Lucchese, Salvatore Orla...
91
Voted
ATAL
2005
Springer
15 years 3 months ago
Exploiting belief bounds: practical POMDPs for personal assistant agents
Agents or agent teams deployed to assist humans often face the challenges of monitoring the state of key processes in their environment (including the state of their human users t...
Pradeep Varakantham, Rajiv T. Maheswaran, Milind T...