Search results for "Enforcement"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Mario Günzel, Jian-Jia Chen	A note on slack enforcement mechanisms for self-suspending tasks.	Real Time Syst.	2021	DBLP DOI BibTeX RDF
12	Nilay R. Mistry, Hitesh P. Sanghvi	Drone forensics: investigative guide for law enforcement agencies.	Int. J. Electron. Secur. Digit. Forensics	2021	DBLP DOI BibTeX RDF
12	German Peinado Gomez, Jordi Mongay Batalla, Yoan Miche, Silke Holtmanns, Constandinos X. Mavromoustakis, George Mastorakis, Noman Haider	Security policies definition and enforcement utilizing policy control function framework in 5G.	Comput. Commun.	2021	DBLP DOI BibTeX RDF
12	Herng-Hua Chang, Wan-Chen Chan	Automatic Registration of Remote Sensing Images Based on Revised SIFT With Trilateral Computation and Homogeneity Enforcement.	IEEE Trans. Geosci. Remote. Sens.	2021	DBLP DOI BibTeX RDF
12	Srinivas Pinisetty, Ankit Pradhan, Partha S. Roop, Stavros Tripakis	Compositional runtime enforcement revisited.	Formal Methods Syst. Des.	2021	DBLP DOI BibTeX RDF
12	Miguel C. Neves, Bradley Huffaker, Kirill Levchenko, Marinho P. Barcellos	Dynamic Property Enforcement in Programmable Data Planes.	IEEE/ACM Trans. Netw.	2021	DBLP DOI BibTeX RDF
12	Francesco Basile, Gianmaria De Tommasi, Claudio Sterle	Noninterference Enforcement via Supervisory Control in Bounded Petri Nets.	IEEE Trans. Autom. Control.	2021	DBLP DOI BibTeX RDF
12	Christoforos Keroglou, Stéphane Lafortune	Embedded Insertion Functions for Opacity Enforcement.	IEEE Trans. Autom. Control.	2021	DBLP DOI BibTeX RDF
12	Hong Luo, Gianni Absillis, Robert R. Nourgaliev	A moving discontinuous Galerkin finite element method with interface condition enforcement for compressible flows.	J. Comput. Phys.	2021	DBLP DOI BibTeX RDF
12	Yihui Hu, Ziyue Ma, Zhiwu Li 0001, Alessandro Giua	Diagnosability enforcement in labeled Petri nets using supervisory control.	Autom.	2021	DBLP DOI BibTeX RDF
12	Ziyue Ma, Xiang Yin 0003, Zhiwu Li 0001	Verification and enforcement of strong infinite- and k-step opacity using state recognizers.	Autom.	2021	DBLP DOI BibTeX RDF
12	Lucas F. M. Rodrigues, Lucas P. R. K. Ihlenfeld, Gustavo Henrique Costa Oliveira	A novel subspace identification approach with passivity enforcement.	Autom.	2021	DBLP DOI BibTeX RDF
12	Zhou He 0001, Ziyue Ma, Wei Tang	Performance safety enforcement in strongly connected timed event graphs.	Autom.	2021	DBLP DOI BibTeX RDF
12	Andrew D. Kercher, Andrew Corrigan	A least-squares formulation of the Moving Discontinuous Galerkin Finite Element Method with Interface Condition Enforcement.	Comput. Math. Appl.	2021	DBLP DOI BibTeX RDF
12	Antonio Díaz-Andrade, Angsana A. Techatassanasoontorn	Digital enforcement: Rethinking the pursuit of a digitally-enabled society.	Inf. Syst. J.	2021	DBLP DOI BibTeX RDF
12	Said Baadel, Fadi A. Thabtah, Joan Lu	Cybersecurity Awareness: A Critical Analysis of Education and Law Enforcement Methods.	Informatica (Slovenia)	2021	DBLP DOI BibTeX RDF
12	Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir	Comparing controlled system synthesis and suppression enforcement.	Int. J. Softw. Tools Technol. Transf.	2021	DBLP DOI BibTeX RDF
12	Marius Schlegel	Trusted Enforcement of Application-specific Security Policies.	CoRR	2021	DBLP BibTeX RDF
12	Florian Gallay, Yliès Falcone	Decentralized LTL Enforcement.	GandALF	2021	DBLP DOI BibTeX RDF
12	Ruochen Tai, Liyong Lin, Yuting Zhu, Rong Su 0001	Privacy-Preserving Supervisory Control of Discrete-Event Systems via Co-Synthesis of Edit Function and Supervisor for Opacity Enforcement and Requirement Satisfaction.	CoRR	2021	DBLP BibTeX RDF
12	Scott Jordan, Yoshimichi Nakatsuka, Ercan Ozturk, Andrew Paverd, Gene Tsudik	VICEROY: GDPR-/CCPA-compliant Enforcement of Verifiable Accountless Consumer Requests.	CoRR	2021	DBLP BibTeX RDF
12	Ben Chugg, Brandon R. Anderson, Seiji Eicher, Sandy Lee, Daniel E. Ho	Enhancing Environmental Enforcement with Near Real-Time Monitoring: Likelihood-Based Detection of Structural Expansion of Intensive Livestock Farms.	CoRR	2021	DBLP BibTeX RDF
12	Hong Luo, Gianni Absillis, Robert R. Nourgaliev	A Moving Discontinuous Galerkin Finite Element Method with Interface Conservation Enforcement for Compressible Flows.	CoRR	2021	DBLP BibTeX RDF
12	Qin Hu 0001, Shengling Wang 0001, Zeihui Xiong, Xiuzhen Cheng 0001	Nothing Wasted: Full Contribution Enforcement in Federated Edge Learning.	CoRR	2021	DBLP BibTeX RDF
12	Md. Morshed Alam, Weichao Wang	A Comprehensive Survey on the State-of-the-art Data Provenance Approaches for Security Enforcement.	CoRR	2021	DBLP BibTeX RDF
12	Ruggero Lanotte, Massimo Merro, Andrei Munteanu	Runtime Enforcement of Programmable Logic Controllers.	CoRR	2021	DBLP BibTeX RDF
12	Hiro Wakimura, Shinichi Takagi, Feng Xiao 0001	Symmetry-preserving enforcement of low-dissipation method based on boundary variation diminishing principle.	CoRR	2021	DBLP BibTeX RDF
12	Yuan Xu, Tianwei Zhang 0004, Yungang Bao	Risk Analysis and Policy Enforcement of Function Interactions in Robot Apps.	CoRR	2021	DBLP BibTeX RDF
12	Serdar Erbatur, Ulrich Schöpp, Chuangjie Xu	Type-based Enforcement of Infinitary Trace Properties for Java.	CoRR	2021	DBLP BibTeX RDF
12	Sergio Martiradonna, Andrea Abrardo, Marco Moretti, Giuseppe Piro, Gennaro Boggia	Deep Reinforcement Learning-Aided RAN Slicing Enforcement for B5G Latency Sensitive Services.	CoRR	2021	DBLP BibTeX RDF
12	Awad Abdelhalim, Linda Bailey, Emily Dalphy, Kelli Raboy	Data Enforced: An Exploratory Impact Analysis of Automated Speed Enforcement in the District of Columbia.	CoRR	2021	DBLP BibTeX RDF
12	Lukas Burkhalter, Nicolas Küchler, Alexander Viand, Hossein Shafagh, Anwar Hithnawi	Zeph: Cryptographic Enforcement of End-to-End Data Privacy.	CoRR	2021	DBLP BibTeX RDF
12	Nicolas Six, Claudia Negri Ribalta, Nicolas Herbaut, Camille Salinesi	A blockchain-based pattern for confidential and pseudo-anonymous contract enforcement.	CoRR	2021	DBLP BibTeX RDF
12	Wojciech Ozga, Do Le Quoc, Christof Fetzer	WELES: Policy-driven Runtime Integrity Enforcement of Virtual Machines.	CoRR	2021	DBLP BibTeX RDF
12	Nicolas T. Courtois, Kacper T. Gradon, Klaus Schmeh	Crypto Currency Regulation and Law Enforcement Perspectives.	CoRR	2021	DBLP BibTeX RDF
12	Yunfei Meng, Zhiqiu Huang, Guohua Shen, Changbo Ke	SDN-based Runtime Security Enforcement Approach for Privacy Preservation of Dynamic Web Service Composition.	CoRR	2021	DBLP BibTeX RDF
12	Mohammad Saidur Rahman 0001, Ibrahim Khalil, Mohammed Atiquzzaman	Blockchain-Powered Policy Enforcement for Ensuring Flight Compliance in Drone-Based Service Systems.	IEEE Netw.	2021	DBLP DOI BibTeX RDF
12	Sergio Martiradonna, Andrea Abrardo, Marco Moretti, Giuseppe Piro, Gennaro Boggia	Deep reinforcement learning-aided RAN slicing enforcement supporting latency sensitive services in B5G networks.	Internet Technol. Lett.	2021	DBLP DOI BibTeX RDF
12	Rishikesh Sahay, Weizhi Meng 0001, Daniel A. Sepulveda Estay, Christian Damsgaard Jensen, Michael Bruhn Barfod	Corrigendum to "CyberShip-IoT: A Dynamic and Adaptive SDN-Based Security Policy Enforcement Framework for Ships" [Future Gener. Comput. Syst. 100 (2019) 736-750].	Future Gener. Comput. Syst.	2021	DBLP DOI BibTeX RDF
12	Ben Chugg, Brandon R. Anderson, Seiji Eicher, Sandy Lee, Daniel E. Ho	Enhancing environmental enforcement with near real-time monitoring: Likelihood-based detection of structural expansion of intensive livestock farms.	Int. J. Appl. Earth Obs. Geoinformation	2021	DBLP DOI BibTeX RDF
12	Peicheng Wu, Charlie Xiao-chuan Weng, Sally-Ann Joseph	Crossing the Rubicon? The implications of RCEP on anti-monopoly enforcement on dominant E-commerce platforms in China.	Comput. Law Secur. Rev.	2021	DBLP DOI BibTeX RDF
12	Saeed Akhlaghpour, Farkhondeh Hassandoust, Farhad Fatehi, Andrew Burton-Jones, Andrew Hynd	Learning from Enforcement Cases to Manage GDPR Risks.	MIS Q. Executive	2021	DBLP BibTeX RDF
12	Matthew Green 0001, Gabriel Kaptchuk, Gijs Van Laer	Abuse Resistant Law Enforcement Access Systems.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
12	Matthijs H. Zwemer, Herman G. J. Groot, Rob G. J. Wijnhoven, Egor Bondarev, Peter H. N. de With	Multi-Camera Vessel-Speed Enforcement by Enhancing Detection and Re-Identification Techniques.	Sensors	2021	DBLP DOI BibTeX RDF
12	Htet Htet Hlaing, Yuki Funamoto, Masahiro Mambo	Secure Content Distribution with Access Control Enforcement in Named Data Networking.	Sensors	2021	DBLP DOI BibTeX RDF
12	Piotr Burnos, Janusz Gajda, Ryszard Sroka, Monika Wasilewska, Cezary Dolega	High Accuracy Weigh-In-Motion Systems for Direct Enforcement.	Sensors	2021	DBLP DOI BibTeX RDF
12	Dhananjay Raju, Sudarshanan Bharadwaj, Franck Djeumou, Ufuk Topcu	Online Synthesis for Runtime Enforcement of Safety in Multiagent Systems.	IEEE Trans. Control. Netw. Syst.	2021	DBLP DOI BibTeX RDF
12	Md. Morshed Alam, Weichao Wang	A comprehensive survey on data provenance: State-of-the-art approaches and their deployments for IoT security enforcement.	J. Comput. Secur.	2021	DBLP DOI BibTeX RDF
12	Vitoriano Ruas, Marco Antonio Silva Ramos	Efficiency of nonparametric finite elements for optimal-order enforcement of Dirichlet conditions on curvilinear boundaries.	J. Comput. Appl. Math.	2021	DBLP DOI BibTeX RDF
12	Christoph Spang 0001, Florian Meisel, Andreas Koch 0001	RT-LIFE: Portable RISC-V Interface for Real-Time Lightweight Security Enforcement.	SAMOS	2021	DBLP DOI BibTeX RDF
12	Mark J. Cotteleer, Simon S. Goldenberg, Ian Wing, Oyindamola Alliyu, Stephen Kania, Veda Mujumdar, Brenna Sniderman	Cybersecurity Requirements for AM Systems: New Enforcement in DoD Environments, and Resources for Implementation.	AMSec@CCS	2021	DBLP DOI BibTeX RDF
12	Khalil Esper, Stefan Wildermann, Jürgen Teich	Enforcement FSMs: specification and verification of non-functional properties of program executions on MPSoCs.	MEMOCODE	2021	DBLP DOI BibTeX RDF
12	Svetlana Abramova, Rainer Böhme	Out of the Dark: The Effect of Law Enforcement Actions on Cryptocurrency Market Prices.	eCrime	2021	DBLP DOI BibTeX RDF
12	Suebtrakul Kongruangkit, Yu Xia, Xiwei Xu 0001, Hye-young Paik	A Case for Connecting SOLiD and Blockchains: Enforcement of Transparent Access Rights in Personal Data Stores.	IEEE ICBC	2021	DBLP DOI BibTeX RDF
12	Martijn Sauwens, Emad Heydari Beni, Kristof Jannes, Bert Lagaisse, Wouter Joosen	ThunQ: A Distributed and Deep Authorization Middleware for Early and Lazy Policy Enforcement in Microservice Applications.	ICSOC	2021	DBLP DOI BibTeX RDF
12	Marco Anisetti, Claudio Agostino Ardagna, Chiara Braghin, Ernesto Damiani, Antongiacomo Polimeno, Alessandro Balestrucci	Dynamic and Scalable Enforcement of Access Control Policies for Big Data.	MEDES	2021	DBLP DOI BibTeX RDF
12	George S. Kanakis, George A. Rovithakis	Improving Safety in Human-Robot Collaboration via Dynamic Active Constraints Enforcement*.	RO-MAN	2021	DBLP DOI BibTeX RDF
12	Daewon Kim, Kyungtae Kim, Dongyoon Kwon, Ji-Woong Choi	V2X-based Vehicle Speeding Enforcement System.	VTC Fall	2021	DBLP DOI BibTeX RDF
12	Paolo Contardo, Paolo Sernani, Nicola Falcionelli, Aldo Franco Dragoni	Deep Learning for Law Enforcement: A Survey About Three Application Domains.	RTA-CSIT	2021	DBLP BibTeX RDF
12	Milagros D. Cervantes Mori, Joakim Kävrestad, Marcus Nohlberg	Success factors and challenges in digital forensics for law enforcement in Sweden.	STPIS	2021	DBLP BibTeX RDF
12	Nasser Aljohani, Daniel Chandran	Factors Affecting the Adoption of M-health Applications in Saudi Arabia: Impact of Healthcare Authority Enforcement.	PACIS	2021	DBLP BibTeX RDF
12	Stefano Berlato, Roberto Carbone, Silvio Ranise	Cryptographic Enforcement of Access Control Policies in the Cloud: Implementation and Experimental Assessment.	SECRYPT	2021	DBLP DOI BibTeX RDF
12	Marius Schlegel	Trusted Enforcement of Application-specific Security Policies.	SECRYPT	2021	DBLP DOI BibTeX RDF
12	Reza Lavaei, Richard A. Hall, Claus Danielson, Leila Jasmine Bridgeman	Constraint Enforcement via Tube-Based MPC Exploiting Switching Restrictions.	ACC	2021	DBLP DOI BibTeX RDF
12	Jürgen Teich, Pouya Mahmoody, Behnaz Pourmohseni, Sascha Roloff, Wolfgang Schröder-Preikschat, Stefan Wildermann	Run-Time Enforcement of Non-functional Program Properties on MPSoCs.	A Journey of Embedded and Cyber-Physical Systems	2021	DBLP DOI BibTeX RDF
12	Wei Duan, Christoforos N. Hadjicostis, Zhiwu Li 0001	Privacy Enforcement Strategies in Discrete Event Systems via Observation Modification and Supervisory Control.	ECC	2021	DBLP DOI BibTeX RDF
12	Pietro Colombo, Elena Ferrari, Engin Deniz Tümer	Access Control Enforcement in IoT: state of the art and open challenges in the Zero Trust era.	TPS-ISA	2021	DBLP DOI BibTeX RDF
12	Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo	Runtime Enforcement of Hyperproperties.	ATVA	2021	DBLP DOI BibTeX RDF
12	Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay	Enforcement of K-Step Opacity with Edit Functions.	CDC	2021	DBLP DOI BibTeX RDF
12	Rishabh Khandelwal, Thomas Linden, Hamza Harkous, Kassem Fawaz	PriSEC: A Privacy Settings Enforcement Controller.	USENIX Security Symposium	2021	DBLP BibTeX RDF
12	Alexey Koptsevich, Wolf Ruzicka, Victor Shilo, Mikkel P. Schultz, Dmitrii Velikii	Building Health Policy Enforcement Solution Based on HL7 FHIR.	ICLP Workshops	2021	DBLP BibTeX RDF
12	Cristian Contasel, Dumitru-Cristian Tranca, Alexandru-Viorel Palacean	Cloud based mobile application security enforcement using device attestation API.	RoEduNet	2021	DBLP DOI BibTeX RDF
12	Fred Love, Jennifer L. Leopold, Bruce M. McMillin, Fei Su	Discriminative Pattern Mining for Runtime Security Enforcement of Cyber-Physical Point-of-Care Medical Technology.	COMPSAC	2021	DBLP DOI BibTeX RDF
12	Marwa Ziadia, Mohamed Mejri, Jaouhar Fattahi	Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting.	SoMeT	2021	DBLP DOI BibTeX RDF
12	Rania Taleb, Sylvain Hallé, Raphaël Khoury	A Modular Runtime Enforcement Model Using Multi-traces.	FPS	2021	DBLP DOI BibTeX RDF
12	Marius Schlegel	Poster: Shielding AppSPEAR - Enhancing Memory Safety for Trusted Application-level Security Policy Enforcement.	SACMAT	2021	DBLP DOI BibTeX RDF
12	Laurens Sion, Dimitri Van Landuyt, Wouter Joosen	An Overview of Runtime Data Protection Enforcement Approaches.	EuroS&P Workshops	2021	DBLP DOI BibTeX RDF
12	Na Shi, Bo Tang, Ravi S. Sandhu, Qi Li 0002	DUCE: Distributed Usage Control Enforcement for Private Data Sharing in Internet of Things.	DBSec	2021	DBLP DOI BibTeX RDF
12	Nerko Hadziarapovic, Marlies van Steenbergen, Pascal Ravesteijn	Copyright Enforcement in the Dutch Digital Music Industry.	Bled eConference	2021	DBLP BibTeX RDF
12	Khalid Ammar, Abdullah Al-Emami, Amir Baher	Real-time Vehicle Speed Enforcement System.	MECO	2021	DBLP DOI BibTeX RDF
12	Ramneek, Sangheon Pack	A Credible Service Level Agreement Enforcement Framework for 5G Edge.	INFOCOM Workshops	2021	DBLP DOI BibTeX RDF
12	Matthew Green 0001, Gabriel Kaptchuk, Gijs Van Laer	Abuse Resistant Law Enforcement Access Systems.	EUROCRYPT (3)	2021	DBLP DOI BibTeX RDF
12	Aleksandra Pawlicka, Michal Choras, Marcin Przybyszewski, Laurent Belmon, Rafal Kozik, Konstantinos P. Demestichas	Why Do Law Enforcement Agencies Need AI for Analyzing Big Data?	CISIM	2021	DBLP DOI BibTeX RDF
12	Pravin Dangol, Andrew Lessieur, Eric Sihite, Alireza Ramezani	A HZD-based Framework for the Real-time, Optimization-free Enforcement of Gait Feasibility Constraints.	HUMANOIDS	2021	DBLP DOI BibTeX RDF
12	Dae-young Kim, Lavanya Elluri, Karuna P. Joshi	Trusted Compliance Enforcement Framework for Sharing Health Big Data.	IEEE BigData	2021	DBLP DOI BibTeX RDF
12	Lukas Burkhalter, Nicolas Küchler, Alexander Viand, Hossein Shafagh, Anwar Hithnawi	Zeph: Cryptographic Enforcement of End-to-End Data Privacy.	OSDI	2021	DBLP BibTeX RDF
12	Abbas Omidi, Amirhossein Heydarian, Aida Mohammadshahi, Behnam Asghari Beirami, Farzan Haddadi	An Embedded Deep Learning-based Package for Traffic Law Enforcement.	ICCVW	2021	DBLP DOI BibTeX RDF
12	Serdar Erbatur, Ulrich Schöpp, Chuangjie Xu	Type-based Enforcement of Infinitary Trace Properties for Java.	PPDP	2021	DBLP DOI BibTeX RDF
12	Francisco Bas, Sergi Alcaide, Ruben Lorenzo, Guillem Cabo, Guillermo Gil, Oriol Sala, Fabio Mazzocchetti, David Trilla, Jaume Abella 0001	SafeDE: a flexible Diversity Enforcement hardware module for light-lockstepping.	IOLTS	2021	DBLP DOI BibTeX RDF
12	Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra	A Runtime Safety Enforcement Approach by Monitoring and Adaptation.	ECSA	2021	DBLP DOI BibTeX RDF
12	C. H. R. Chhak, Andrew Tolmach, Sean Noble Anderson	Towards formally verified compilation of tag-based policy enforcement.	CPP	2021	DBLP DOI BibTeX RDF
12	Mariam Mohamad, Noor Husna Sharuddin, Irwan Mahazir Ismail	Enforcement Officers at MDTCA Malaysia Perspective Regarding the Need to Use Mobile Learning for Professional Learning.	ICEEL	2021	DBLP DOI BibTeX RDF
12	Hendrik Meyer zum Felde, Mathias Morbitzer, Julian Schütte	Securing Remote Policy Enforcement by a Multi-Enclave based Attestation Architecture.	EUC	2021	DBLP DOI BibTeX RDF
12	Awad Abdelhalim, Linda Bailey, Emily Dalphy, Kelli Raboy	Data Enforced: An Exploratory Impact Analysis of Automated Speed Enforcement in the District of Columbia.	ITSC	2021	DBLP DOI BibTeX RDF
12	János Pál Vadász, Zsolt Zodi	The Accountability of Intelligence and Law Enforcement Agencies in Information Search Activities.	ePart	2021	DBLP DOI BibTeX RDF
12	Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir	On Bidirectional Runtime Enforcement.	FORTE	2021	DBLP DOI BibTeX RDF
12	Nadine Kashmar, Mehdi Adda, Mirna Atieh, Hussein Ibrahim	Access Control Metamodel for Policy Specification and Enforcement: From Conception to Formalization.	ANT/EDI40	2021	DBLP DOI BibTeX RDF
12	Moulay Youssef El-Hansali, Siham G. Farrag, Ansar Yasar, Haroon Malik, Elhadi M. Shakshuki, Khalid Al-Abri	Assessment of the Traffic Enforcement Strategies Impact on Emission Reduction and Air Quality.	ANT/EDI40	2021	DBLP DOI BibTeX RDF
12	Marius Schlegel	Trusted Implementation and Enforcement of Application Security Policies.	ICETE (Selected Papers)	2021	DBLP DOI BibTeX RDF
12	Jonathan Chase, Tran Phong, Kang Long, Tony Le, Hoong Chuin Lau	GRAND-VISION: An Intelligent System for Optimized Deployment Scheduling of Law Enforcement Agents.	ICAPS	2021	DBLP BibTeX RDF