Search results for "policies"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Stephen E. Levy, Carl Gutwin	Improving understanding of website privacy policies with fine-grained policy anchors.	WWW	2005	DBLP DOI BibTeX RDF	APPEL, conformance conflicts, e-commerce, privacy policies, P3P, user agents, privacy preferences
26	Peng Li, Steve Zdancewic	Downgrading policies and relaxed noninterference.	POPL	2005	DBLP DOI BibTeX RDF	downgrading policies, relaxed noninterference, information flow, language-based security, program equivalence
26	Constantinos Maglaras	Continuous-Review Tracking Policies for Dynamic Control of Stochastic Networks.	Queueing Syst. Theory Appl.	2003	DBLP DOI BibTeX RDF	continuous-review, tracking policies, multiclass networks, Brownian models, fluid models, heavy-traffic, asymptotic optimality
26	Eitan Altman, Shaler Stidham Jr.	Optimality of monotonic policies for two-action Markovian decision processes, with applications to control of queues with delayed information.	Queueing Syst. Theory Appl.	1995	DBLP DOI BibTeX RDF	monotone policies, delayed information and actions, Markov decision processes, submodularity
26	Dimitris Bertsimas	The achievable region method in the optimal control of queueing systems; formulations, bounds and policies.	Queueing Syst. Theory Appl.	1995	DBLP DOI BibTeX RDF	multiarmed bandits, optimization, policies, Queueing networks, bounds, loss networks
26	Michael Marchetti, Leonidas I. Kontothanassis, Ricardo Bianchini, Michael L. Scott	Using simple page placement policies to reduce the cost of cache fills in coherent shared-memory systems.	IPPS	1995	DBLP DOI BibTeX RDF	page placement policies, cache fills, OS-based page placement, page replication, performance, shared memory systems, shared-memory systems, storage management, operating systems (computers), cache storage, paged storage, distributed shared memory multiprocessors, page migration
26	Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani	The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	execution policies, atomic transitions, race policy, continuous time homogeneous Markov chain, performance evaluation, Petri nets, semantics, Markov processes, stochastic Petri nets
26	Fredrik Seehusen, Ketil Stølen	A Transformational Approach to Facilitate Monitoring of High-Level Policies.	POLICY	2008	DBLP DOI BibTeX RDF
26	Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan	Deriving Enforcement Mechanisms from Policies.	POLICY	2007	DBLP DOI BibTeX RDF
26	Daniel Elenius, Grit Denker, Mark-Oliver Stehr, Rukman Senanayake, Carolyn L. Talcott, David Wilkins	CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies.	POLICY	2007	DBLP DOI BibTeX RDF
26	Travis D. Breaux, Annie I. Antón, Clare-Marie Karat, John Karat	Enforceability vs. Accountability in Electronic Policies.	POLICY	2006	DBLP DOI BibTeX RDF
26	Massimo Marchi, Alessandra Mileo, Alessandro Provetti	Declarative Policies for Web Service Selection.	POLICY	2005	DBLP DOI BibTeX RDF
26	Jeffrey O. Kephart, William E. Walsh	An Artificial Intelligence Perspective on Autonomic Computing Policies.	POLICY	2004	DBLP DOI BibTeX RDF
26	Nuno Santos 0001, Luís Veiga, Paulo Ferreira 0001	Transaction Policies for Mobile Networks.	POLICY	2004	DBLP DOI BibTeX RDF
26	András Belokosztolszki, Ken Moody	Meta-Policies for Distributed Role-Based Access Control Systems.	POLICY	2002	DBLP DOI BibTeX RDF
26	Donghee Lee 0001, Jongmoo Choi, Jong-Hun Kim, Sam H. Noh, Sang Lyul Min, Yookun Cho, Chong-Sang Kim	LRFU: A Spectrum of Policies that Subsumes the Least Recently Used and Least Frequently Used Policies.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	LFU, trace-driven simulation, replacement policy, LRU, Buffer cache
26	Patrick Gage Kelley	Designing a privacy label: assisting consumer understanding of online privacy practices.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	privacy, labeling, information design, privacy policies
26	Jay Ligatti, Billy Rickey, Nalin Saigal	LoPSiL: A Location-Based Policy-Specification Language.	MobiSec	2009	DBLP DOI BibTeX RDF	Policy-specification languages, location-dependent policies, mobile devices, security and privacy
26	Scott F. Smith 0001, Mark Thober	Improving usability of information flow security in java.	PLAS	2007	DBLP DOI BibTeX RDF	java, security policies, type inference, declassification, information flow security
26	Serge Egelman, Lorrie Faith Cranor, Abdur Chowdhury	An analysis of P3P-enabled web sites among top-20 search results.	ICEC	2006	DBLP DOI BibTeX RDF	e-commerce, search engines, privacy policies, P3P
26	Reinhard Klemm, Navjot Singh 0001	Automatic Failure Detection, Logging, and Recovery for High-Availability Java Servers.	ISSRE	2002	DBLP DOI BibTeX RDF	Java, Policies, Availability, Recovery, Server, Logging, Failure Detection, Object Persistence
26	Elionildo da Silva Menezes, Djamel Fawzi Hadj Sadok, Judith Kelner	A Policy Management Framework Using Traffic Engineering in DiffServ Networks.	QoS-IP	2001	DBLP DOI BibTeX RDF	Network Management Policies, Quality of Service, DiffServ, Service Level Management
25	Steffen Heinzl, Benjamin Schmeling	Using XML schema to improve writing, validation, and structure of WS-policies.	SAC	2010	DBLP DOI BibTeX RDF	WS-SecurityPolicy, domain-specific policy, validation, policy, XML schema, WS-policy
25	Philip Inglesant, Martina Angela Sasse	The true cost of unusable password policies: password use in the wild.	CHI	2010	DBLP DOI BibTeX RDF	password policy, passwords, usable security
25	Ian Reay, Scott Dick, James Miller 0001	A large-scale empirical study of P3P privacy policies: Stated actions vs. legal obligations.	ACM Trans. Web	2009	DBLP DOI BibTeX RDF	legislation and enforcement, electronic commerce, Privacy protection, P3P
25	Yi Wang, Ioannis C. Avramopoulos, Jennifer Rexford	Design for configurability: rethinking interdomain routing policies from the ground up.	IEEE J. Sel. Areas Commun.	2009	DBLP DOI BibTeX RDF
25	Mei-Ling Chiang, Chun-Hung Wu, Yi-Jiun Liao, Yu-Fen Chen	New content-aware request distribution policies in web clusters providing multiple services.	SAC	2009	DBLP DOI BibTeX RDF	content-aware request distribution, cluster system, web cluster
25	Mario Lischka, Yukiko Endo, Manuel Sánchez Cuenca	Deductive policies with XACML.	SWS	2009	DBLP DOI BibTeX RDF	xacml, deduction
25	Theophilus Benson, Aditya Akella, David A. Maltz	Mining policies from enterprise network configuration.	Internet Measurement Conference	2009	DBLP DOI BibTeX RDF	configuration management
25	Zhenbo Wang, Wenxun Xing	Performance of service policies in a specialized service system with parallel servers.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Service policy evaluation, Worst-case analysis, On-line scheduling, Parallel machine scheduling
25	Graham Hughes, Tevfik Bultan	Automated verification of access control policies using a SAT solver.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF	Access control, Automated verification
25	Lars E. Olson 0001, Carl A. Gunter, P. Madhusudan	A formal framework for reflective database access control policies.	CCS	2008	DBLP DOI BibTeX RDF	formal safety verification, reflective database access control, transaction datalog, fine-grained access control
25	Gilles Barthe, Salvador Cavadini, Tamara Rezk	Tractable Enforcement of Declassification Policies.	CSF	2008	DBLP DOI BibTeX RDF	type systems, declassification, information flow security
25	Glenn Bruns, Michael Huth 0001	Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis.	CSF	2008	DBLP DOI BibTeX RDF	Belnap logic, access control, policy languages, policy analysis
25	Alex X. Liu	Formal Verification of Firewall Policies.	ICC	2008	DBLP DOI BibTeX RDF
25	Cássio Ditzel Kropiwiec, Edgard Jamhour, Manoel Camillo Penna, Guy Pujolle	Multi-constraint Security Policies for Delegated Firewall Administration.	DSOM	2008	DBLP DOI BibTeX RDF
25	Abdelnasser Ouda, Hanan Lutfiyya, Michael A. Bauer 0001	Towards Self-Configuring Policy-Based Management Systems.	POLICY	2008	DBLP DOI BibTeX RDF
25	John Keeney, Owen Conlan, Declan O'Sullivan, David Lewis 0001, Vincent Wade	Towards the Visualisation of Collaborative Policy Decomposition.	POLICY	2008	DBLP DOI BibTeX RDF	Policy Decomposition, Visualization, Collaboration, Personalization, Visualisation, Personalisation, Policy-based Management, Policy Refinement
25	Cédric Fournet, Andrew D. Gordon 0001, Sergio Maffeis	A type discipline for authorization policies.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Authorization, type systems, process calculus, spi calculus
25	Chris Karlof, Umesh Shankar, J. Doug Tygar, David A. Wagner 0001	Dynamic pharming attacks and locked same-origin policies for web browsers.	CCS	2007	DBLP DOI BibTeX RDF	same-origin policy, pharming, web authentication
25	Alberto Sardinha, Jinghai Rao, Norman M. Sadeh	Enforcing Context-Sensitive Policies in Collaborative Business Environments.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
25	Mohsen Rouached, Claude Godart	Reasoning about Events to Specify Authorization Policies forWeb Services Composition.	ICWS	2007	DBLP DOI BibTeX RDF
25	Lin Qiao, Basuki Soetarman, Gene Fuh, Adarsh Pannu, Baoqiu Cui, Thomas Beavin, William Kyu	A framework for enforcing application policies in database systems.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	policy, database system, self-managing
25	Weiqun Sun, Yanbo Han, Baohua Shan	A Dynamic Reconciliation Service of RBAC Policies for Virtual Organizations.	ICEBE	2007	DBLP DOI BibTeX RDF
25	Sachin Parikh, Vinod Vokkarane, Liudong Xing, Dayalan Kasilingam	Node-Replacement Policies to Maintain Threshold-Coverage in Wireless Sensor Networks.	ICCCN	2007	DBLP DOI BibTeX RDF
25	Evan Martin	Testing and Analysis of Access Control Policies.	ICSE Companion	2007	DBLP DOI BibTeX RDF
25	Loreto Bravo, James Cheney, Irini Fundulaki	Repairing Inconsistent XML Write-Access Control Policies.	DBPL	2007	DBLP DOI BibTeX RDF
25	Francesc Guim 0001, Julita Corbalán, Jesús Labarta	Prediction f Based Models for Evaluating Backfilling Scheduling Policies.	PDCAT	2007	DBLP DOI BibTeX RDF
25	Rong Zheng 0001, Jennifer C. Hou, Lui Sha	Performance analysis of power management policies in wireless networks.	IEEE Trans. Wirel. Commun.	2006	DBLP DOI BibTeX RDF
25	Kin Yeung Wong	Web cache replacement policies: a pragmatic approach.	IEEE Netw.	2006	DBLP DOI BibTeX RDF
25	Evan Martin	Automated test generation for access control policies.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	test generation, XACML, access control policy
25	Chetan Shiva Shankar, Roy H. Campbell	Managing Pervasive Systems using Role-based Obligation Policies.	PerCom Workshops	2006	DBLP DOI BibTeX RDF
25	Dominik Raub, Rainer Steinwandt	An Algebra for Enterprise Privacy Policies Closed Under Composition and Conjunction.	ETRICS	2006	DBLP DOI BibTeX RDF
25	Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi	Specifying and Reasoning About Dynamic Access-Control Policies.	IJCAR	2006	DBLP DOI BibTeX RDF
25	Hoi Y. Chan, Thomas Kwok	A Policy-based Management System with Automatic Policy Selection and Creation Capabilities by Using a Singular Value Decomposition Technique.	POLICY	2006	DBLP DOI BibTeX RDF
25	Harley Boughton, Patrick Martin 0001, Wendy Powley, Randy Horman	Workload Class Importance Policy in Autonomic Database Management Systems.	POLICY	2006	DBLP DOI BibTeX RDF
25	Mizuho Iwaihara, Bo Wang, Somchai Chatvichienchai	Extracting Global Policies for Efficient Access Control of XML Documents.	WISE	2005	DBLP DOI BibTeX RDF
25	Soon Ae Chun, Edwin Portscher, James Geller	Monitoring and Updating Regulations and Policies for Government Services.	EGOV	2005	DBLP DOI BibTeX RDF
25	Lantian Zheng, Andrew C. Myers	End-to-End Availability Policies and Noninterference.	CSFW	2005	DBLP DOI BibTeX RDF
25	David Aspinall 0001, Kenneth MacKenzie	Mobile Resource Guarantees and Policies.	CASSIS	2005	DBLP DOI BibTeX RDF
25	Paul Rubel, Michael Ihde, Steven A. Harp, Charles N. Payne	Generating Policies for Defense in Depth.	ACSAC	2005	DBLP DOI BibTeX RDF
25	Guillermo del Angel, Terrence L. Fine	Optimal power and retransmission control policies for random access systems.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	multiaccess communications, stochastic optimal control, Markov processes, access protocols
25	Yannis Smaragdakis	General adaptive replacement policies.	ISMM	2004	DBLP DOI BibTeX RDF	adaptive, virtual memory, replacement algorithms, LRU
25	David García, Jorge Martínez-Bauset, Vicent Pla	Admission Control Policies in Multiservice Cellular Networks: Optimum Configuration and Sensitivity.	EuroNGI Workshop	2004	DBLP DOI BibTeX RDF
25	Carlos Jensen, Colin Potts	Privacy policies as decision-making tools: an evaluation of online privacy notices.	CHI	2004	DBLP DOI BibTeX RDF	consent, privacy, WWW, usability, e-commerce, readability
25	Chang-Joo Moon, Hoh Peter In	Inconsistency Detection of Authorization Policies in Distributed Component Environment.	WISA	2004	DBLP DOI BibTeX RDF
25	Davide Bolchini, Qingfeng He, Annie I. Antón, William H. Stufflebeam	'I Need It Now': Improving Website Usability by Contextualizing Privacy Policies.	ICWE	2004	DBLP DOI BibTeX RDF
25	Mihail F. Ionescu, Naftaly H. Minsky, Thu D. Nguyen	Enforcement of Communal Policies for P2P Systems.	COORDINATION	2004	DBLP DOI BibTeX RDF
25	Guido Boella, Leendert W. N. van der Torre	Local vs Global Policies and Centralized vs Decentralized Control in Virtual Communities of Agents.	Web Intelligence	2004	DBLP DOI BibTeX RDF
25	Javier Baliosian, Joan Serrat 0001	Finite State Transducers for Policy Evaluation and Conflict Resolution.	POLICY	2004	DBLP DOI BibTeX RDF
25	François Siewe, Antonio Cau, Hussein Zedan	A compositional framework for access control policies enforcement.	FMSE	2003	DBLP DOI BibTeX RDF	access control, authorization, delegation, policy composition
25	Indrakshi Ray, Tai Xin	Concurrent and Real-Time Update of Access Control Policies.	DEXA	2003	DBLP DOI BibTeX RDF
25	Ekow J. Otoo, Arie Shoshani	Accurate Modeling of Cache Replacement Policies in a Data Grid.	IEEE Symposium on Mass Storage Systems	2003	DBLP DOI BibTeX RDF
25	Xiaodong Yi 0002, Xuejun Yang	A Security Verification Method for Information Flow Security Policies Implemented in Operating Systems.	ICICS	2003	DBLP DOI BibTeX RDF	Information Flow Security Policy, Security Verification, Secure Operating System
25	Myla Archer, Elizabeth I. Leonard, Matteo Pradella	Analyzing Security-Enhanced Linux Policy Specifications.	POLICY	2003	DBLP DOI BibTeX RDF
25	Yasusi Kanada	Dynamically Extensible Policy Server and Agent.	POLICY	2002	DBLP DOI BibTeX RDF
25	Sushil Jajodia, Pierangela Samarati, Maria Luisa Sapino, V. S. Subrahmanian	Flexible support for multiple access control policies.	ACM Trans. Database Syst.	2001	DBLP DOI BibTeX RDF	logic programming, authorization, access control policy
25	Gil-Haeng Lee	Issues of the State Information for Location and Information Policies in Distributed Load Balancing Algorithm.	EUROMICRO	1999	DBLP DOI BibTeX RDF
25	Heather M. Hinton, E. Stewart Lee	The Compatibility of Policies.	CCS	1994	DBLP DOI BibTeX RDF
25	Ivana Dusparic, Vinny Cahill	Using Reinforcement Learning for Multi-policy Optimization in Decentralized Autonomic Systems - An Experimental Evaluation.	ATC	2009	DBLP DOI BibTeX RDF
25	Bryan D. Payne, Reiner Sailer, Ramón Cáceres, Ronald Perez, Wenke Lee	A layered approach to simplified access control in virtualized systems.	ACM SIGOPS Oper. Syst. Rev.	2007	DBLP DOI BibTeX RDF	security, virtualization, policy, information flow, layering, mandatory access control
25	David W. Chadwick, Wensheng Xu, Sassa Otenko, Romain Laborde, Bassem Nasser	Multi-session Separation of Duties (MSoD) for RBAC.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
25	Carolyn Brodie, Clare-Marie Karat, John Karat	An empirical study of natural language parsing of privacy policy rules using the SPARCLE policy workbench.	SOUPS	2006	DBLP DOI BibTeX RDF	security, privacy, design, usability, policy, social and legal issues
25	Su-Hui Chiang, Chuyong Fu	Benefit of Limited Time Sharing in the Presence of Very Large Parallel Jobs.	IPDPS	2005	DBLP DOI BibTeX RDF
25	Gabi Koifman, Onn Shehory, Avigdor Gal	Multi-agent negotiation and price discrimination for information goods.	SMC (2)	2004	DBLP DOI BibTeX RDF
25	Simon D. Byers, Lorrie Faith Cranor, David P. Kormann, Patrick D. McDaniel	Searching for Privacy: Design and Implementation of a P3P-Enabled Search Engine.	Privacy Enhancing Technologies	2004	DBLP DOI BibTeX RDF
25	Philip W. L. Fong	Access Control By Tracking Shallow Execution History.	S&P	2004	DBLP DOI BibTeX RDF
25	Gabi Koifman, Onn Shehory, Avigdor Gal	Negotiation-Based Price Discrimination for Information Goods.	AAMAS	2004	DBLP DOI BibTeX RDF
25	Duminda Wijesekera, Sushil Jajodia	A propositional policy algebra for access control.	ACM Trans. Inf. Syst. Secur.	2003	DBLP DOI BibTeX RDF	policy algebra, Access control, security policy, policy composition
25	Chunhong Zhang, Yuan Gao, Lixin Gao 0001	An Approach to Seeking Policy Disputes Based on Dispute Cycle Avoidance and Configuration Guideline.	Telecommun. Syst.	2003	DBLP DOI BibTeX RDF	interdomain routing protocol, stable paths problem, route oscillations, dispute cycle, dispute routing policy, AS relationship
25	Mukesh Dalal, Brett Groel, Armand Prieditis II	Dynamic scheduling I: real-time decision making using simulation.	WSC	2003	DBLP DOI BibTeX RDF
25	Lujo Bauer, Jarred Ligatti, David Walker 0001	Types and Effects for Non-interfering Program Monitors.	ISSS	2002	DBLP DOI BibTeX RDF
25	Javier López 0001, Antonio Mana, Mariemma Inmaculada Yagüe del Valle	XML-Based Distributed Access Control System.	EC-Web	2002	DBLP DOI BibTeX RDF
25	Dimitrios Koukopoulos, Sotiris E. Nikoletseas, Paul G. Spirakis	Stability Issues in Heterogeneous and FIFO Networks under the Adversarial Queueing Model.	HiPC	2001	DBLP DOI BibTeX RDF
25	Sivarama P. Dandamudi, Samir Ayachi	Performance of Hierarchical Processor Scheduling in Shared-Memory Multiprocessor Systems.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	performance evaluation, multiprocessor systems, processor scheduling, time-sharing, Hierarchical scheduling, space-sharing
25	Thomas J. Murray 0002, A. Wayne Madison, James Westall	Lookahead page placement.	ACM Southeast Regional Conference	1995	DBLP DOI BibTeX RDF
23	Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro	A Rule-Based Trust Negotiation System.	IEEE Trans. Knowl. Data Eng.	2010	DBLP DOI BibTeX RDF	Protune, rule-based policies, sensitive policies, policy exchange, privacy, explanations, trust negotiation
23	Richard M. Karp, Elias Koutsoupias, Christos H. Papadimitriou, Scott Shenker	Optimization Problems in Congestion Control.	FOCS	2000	DBLP DOI BibTeX RDF	TCP congestion control algorithm, single unicast flow, near-optimal policies, near-optimal competitive policies, Internet, optimisation, optimization problems, available bandwidth, telecommunication congestion control, Internet congestion control
22	Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Roberto Zunino	Local policies for resource usage analysis.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	Usage policies, model-checking, type and effect systems
22	Tariq Muhammad, Julita Vassileva	Open Policies for Decentralized User Modeling in Online Communities.	Advances in Ubiquitous User Modelling	2009	DBLP DOI BibTeX RDF	Purpose-based user modeling, User policies, Online Communities