Search results for "permissiveness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
167	Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh	Permissiveness in Transactional Memories.	DISC	2008	DBLP DOI BibTeX RDF
59	Hagit Attiya, Eshcar Hillel	Brief announcement: single-version permissive STM.	PODC	2010	DBLP DOI BibTeX RDF	transactional memory, permissiveness
30	Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck	Poster Abstract: Permissiveness for Strategy Adaptation.	HSCC	2023	DBLP DOI BibTeX RDF
30	Yu Zhou 0040, Kris Hauser	CPI: Conservativeness, Permissiveness and Intervention Metrics for Shared Control Evaluation.	IEEE Robotics Autom. Lett.	2022	DBLP DOI BibTeX RDF
30	William Eiers, Ganesh Sankaran, Albert Li, Emily O'Mahony, Benjamin Prince, Tevfik Bultan	Quacky: Quantitative Access Control Permissiveness Analyzer✱.	ASE	2022	DBLP DOI BibTeX RDF
30	William Eiers, Ganesh Sankaran, Albert Li, Emily O'Mahony, Benjamin Prince, Tevfik Bultan	Quantifying Permissiveness of Access Control Policies.	ICSE	2022	DBLP DOI BibTeX RDF
30	Hefeng Chen, Naiqi Wu, ZhiWu Li 0001, Ting Qu	Decision on Maximal Permissiveness of Linear Constraints via Structural Analysis of a Subclass of Petri Nets.	IEEE Trans. Syst. Man Cybern. Syst.	2021	DBLP DOI BibTeX RDF
30	Liang Li 0020, Francesco Basile, Zhiwu Li 0001	An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems.	IEEE Trans. Autom. Control.	2020	DBLP DOI BibTeX RDF
30	Sang Heon Choi	Consolidation: a technique for improving permissiveness of human-machine interfaces.	SPLASH (Companion)	2020	DBLP DOI BibTeX RDF
30	Jan Komenda, Feng Lin 0001, Jan H. van Schuppen	A Uniform Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems.	CoRR	2019	DBLP BibTeX RDF
30	Elisavet Kozyri, Fred B. Schneider, Andrew Bedford, Josée Desharnais, Nadia Tawbi	Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement.	CSF	2019	DBLP DOI BibTeX RDF
30	Jan Komenda, Feng Lin 0001, Jan H. van Schuppen	A Unifying Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems.	CDC	2019	DBLP DOI BibTeX RDF
30	Ying-Chih Chiang, Olesya Levsh, Chun Kei Lam, Jing-Ke Weng, Yi Wang	Structural and dynamic basis of substrate permissiveness in hydroxycinnamoyltransferase (HCT).	PLoS Comput. Biol.	2018	DBLP DOI BibTeX RDF
30	Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, Martin Törngren	Tuning Permissiveness of Active Safety Monitors for Autonomous Systems.	NFM	2018	DBLP DOI BibTeX RDF
30	Jonathan P. Drake	Doxastic permissiveness and the promise of truth.	Synth.	2017	DBLP DOI BibTeX RDF
30	Xiang Yin 0003, Stéphane Lafortune	On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis.	WODES	2016	DBLP DOI BibTeX RDF
30	Priyanka Kumar, Sathya Peri	A TimeStamp based Multi-version STM Protocol that satisfies Opacity and Multi-Version Permissiveness	CoRR	2013	DBLP BibTeX RDF
30	Anthony Brueckner, Alex Bundy	On "Epistemic Permissiveness".	Synth.	2012	DBLP DOI BibTeX RDF
30	Arnar Birgisson, Daniel Hedin, Andrei Sabelfeld	Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing.	ESORICS	2012	DBLP DOI BibTeX RDF
30	Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels	Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited	CoRR	2011	DBLP BibTeX RDF
30	Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels	Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited.	ATVA	2011	DBLP DOI BibTeX RDF
30	Tyler Crain, Damien Imbs, Michel Raynal	Read Invisibility, Virtual World Consistency and Probabilistic Permissiveness are Compatible.	ICA3PP (1)	2011	DBLP DOI BibTeX RDF
30	Tyler Crain, Damien Imbs, Michel Raynal	Brief announcement: read invisibility, virtual world consistency and permissiveness are compatible.	SPAA	2011	DBLP DOI BibTeX RDF
30	Klaus Werner Schmidt, Max Hering de Queiroz, José E. R. Cury	Hierarchical multitasking control of discrete event systems: Computation of projections and maximal permissiveness.	WODES	2010	DBLP DOI BibTeX RDF
30	Geert Stremersch, René K. Boel	Decomposition of the supervisory control problem for Petri nets under preservation of maximal permissiveness.	IEEE Trans. Autom. Control.	2001	DBLP DOI BibTeX RDF
23	Syrine Tlili, Mourad Debbabi	Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Type and effect analysis, C language, Type safety, Memory safety
23	Daniel Amyot, Jennifer Horkoff, Daniel Gross, Gunter Mussbacher	A Lightweight GRL Profile for i* Modeling.	ER Workshops	2009	DBLP DOI BibTeX RDF	jUCMNav, profile, OCL, User Requirements Notation, i*, Goal-oriented Requirement Language
23	Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani	ISOLATOR: dynamically ensuring isolation in comcurrent programs.	ASPLOS	2009	DBLP DOI BibTeX RDF	concurreny, isolation, memory protection
23	ZhiWu Li 0001, MengChu Zhou, Naiqi Wu	A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems.	IEEE Trans. Syst. Man Cybern. Part C	2008	DBLP DOI BibTeX RDF
23	Zhiwu Li 0001, Moshe Shpitalni	On the Existence of a Maximally Permissive Liveness-enforcing Petri Net Supervisor for Flexible Manufacturing Systems.	ICNSC	2008	DBLP DOI BibTeX RDF
23	Elzbieta Roszkowska	Liveness Enforcing in Closed AGV Systems with Dynamic Routing.	ICRA	2004	DBLP DOI BibTeX RDF
23	Stuart Cheshire, Mary Baker	Internet Mobility 4x4.	SIGCOMM	1996	DBLP DOI BibTeX RDF	Internet