Search results for "CSP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
36	Wei Li, Jing Si, Jianhua Xing, Yongjing Zhang, Deli Liu, Zhiyuan Sui	Unified Attribute-Based Encryption Scheme for Industrial Internet of Things.	CSP	2021	DBLP DOI BibTeX RDF
36	Xiaojian Zhang, Liandong Chen, Jie Fan, Xiangqun Wang, Qi Wang	Power IoT security protection architecture based on zero trust framework.	CSP	2021	DBLP DOI BibTeX RDF
36	Haoyu Gao, Leixiao Li, Hao Lin 0003, Jianxiong Wan, Dan Deng, Jie Li	DECH: A Novel Attack Pattern of Cloud Environment and Its Countermeasures.	CSP	2021	DBLP DOI BibTeX RDF
36	Xinghua Cheng, Zhilin Li 0001	Using Boltzmann Entropy to Measure Scrambling Degree of Grayscale Images.	CSP	2021	DBLP DOI BibTeX RDF
36	Md Abir Hasan, Orion Sky Lawlor, Nusrat Jahan	Forensic Analysis of Binary Structures of Video Files.	CSP	2021	DBLP DOI BibTeX RDF
36	Michelle Poelman, Sarfraz Iqbal	Investigating the Compliance of the GDPR: Processing Personal Data On A Blockchain.	CSP	2021	DBLP DOI BibTeX RDF
36	Gaofeng Zhao, Rui Liu, Yang Li, Jin Huang, Mingxuan Zhang, Weiwei Miao	Multi-user broadcast authenticaiton in Power LTE Private Network with Compressed Bloom Filter.	CSP	2021	DBLP DOI BibTeX RDF
36	Hanlin Long, Zhicheng Tian, Yang Liu 0039	Detecting Android Malware Based on Dynamic Feature Sequence and Attention Mechanism.	CSP	2021	DBLP DOI BibTeX RDF
36	Daniel Köhler, Eric Klieme, Matthias Kreuseler, Feng Cheng 0002, Christoph Meinel	Assessment of Remote Biometric Authentication Systems: Another Take on the Quest to Replace Passwords.	CSP	2021	DBLP DOI BibTeX RDF
36	Dominic Pirker, Thomas Fischer, Harald Witschnig, Christian Steger	velink - A Blockchain-based Shared Mobility Platform for Private and Commercial Vehicles utilizing ERC-721 Tokens.	CSP	2021	DBLP DOI BibTeX RDF
36	Youwu Zhou, Mingjun Liu, Aimin Ye	A Scheme of Key Distribution in Smart Grid.	CSP	2021	DBLP DOI BibTeX RDF
36	Xinyun Yan, Chishe Wang, Dahui Hao, Min Chen	License Plate Detection Using Bayesian Method Based on Edge Features.	CSP	2021	DBLP DOI BibTeX RDF
36	Yan Zheng, Weiyu Dong, Jiangtao Zhao	ZeroDVS: Trace-Ability and Security Detection of Container Image Based on Inheritance Graph.	CSP	2021	DBLP DOI BibTeX RDF
36	Naqliyah Zainuddin, Maslina Daud, Sabariah Ahmad, Mayasarah Maslizan, Syafiqa Anneisa Leng Abdullah	A Study on Privacy Issues in Internet of Things (IoT).	CSP	2021	DBLP DOI BibTeX RDF
36	Changqing Wang, Xiangyu Yang, Quancheng Du, Jiaxiang Wang	Outage Performance of Satellite-UAV Network Framework based on NOMA.	CSP	2021	DBLP DOI BibTeX RDF
36	Jaouhar Fattahi, Mohamed Mejri	SpaML: a Bimodal Ensemble Learning Spam Detector based on NLP Techniques.	CSP	2021	DBLP DOI BibTeX RDF
36	Krishn Kumar Gupt, Meghana Kshirsagar 0002, Joseph P. Sullivan, Conor Ryan	Automatic Test Case Generation for Vulnerability Analysis of Galois Field Arithmetic Circuits.	CSP	2021	DBLP DOI BibTeX RDF
36	Yang Yang, Xuehui Du, Zhi Yang	PRADroid: Privacy Risk Assessment for Android Applications.	CSP	2021	DBLP DOI BibTeX RDF
36	Turlough Neary, Damien Woods, Anthony Karel Seda, Niall Murphy (eds.)	Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008.	CSP	2009	DBLP BibTeX RDF
36	Maurice Margenstern	On the injectivity of the global function of a cellular automaton in the hyperbolic plane (extended abstract)	CSP	2008	DBLP BibTeX RDF
36	Sergey Verlan, Yurii Rogozhin	New Choice for Small Universal Devices: Symport/Antiport P Systems	CSP	2008	DBLP BibTeX RDF
36	Markus Holzer 0001, Martin Kutrib, Andreas Malcher	Multi-Head Finite Automata: Characterizations, Concepts and Open Problems	CSP	2008	DBLP BibTeX RDF
36	Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan	Computational Power of P Systems with Small Size Insertion and Deletion Rules	CSP	2008	DBLP BibTeX RDF
36	Olivier Bournez, Jérémie Chalopin, Johanne Cohen, Xavier Koegler	Playing With Population Protocols	CSP	2008	DBLP BibTeX RDF
36	Cristian S. Calude	Simplicity via Provability for Universal Prefix-free Turing Machines	CSP	2008	DBLP BibTeX RDF
36	Grégory Lafitte	Busy beavers gone wild	CSP	2008	DBLP BibTeX RDF
36	Manfred Kudlek	Some Considerations on Universality	CSP	2008	DBLP BibTeX RDF
36	Matthew J. Patitz, Scott M. Summers	Self-Assembly of Infinite Structures	CSP	2008	DBLP BibTeX RDF
36	Fred Lunnon	The Pagoda Sequence: a Ramble through Linear Complexity, Number Walls, D0L Sequences, Finite State Automata, and Aperiodic Tilings	CSP	2008	DBLP BibTeX RDF
36	Philippe Moser	A General Notion of Useful Information	CSP	2008	DBLP BibTeX RDF
36	Jérôme Durand-Lose	Small Turing universal signal machines	CSP	2008	DBLP BibTeX RDF
36	Matthew Cook 0001	A Concrete View of Rule 110 Computation	CSP	2008	DBLP BibTeX RDF
36	Eric Goles Ch., Pierre-Etienne Meunier, Ivan Rapaport, Guillaume Theyssier	Communications in cellular automata	CSP	2008	DBLP BibTeX RDF
36	Nicolas Ollinger	Intrinsically Universal Cellular Automata	CSP	2008	DBLP BibTeX RDF
36	Nicolas Ollinger, Gaétan Richard	A Particular Universal Cellular Automaton	CSP	2008	DBLP BibTeX RDF
36	Alexander Okhotin	Representing a P-complete problem by small trellis automata	CSP	2008	DBLP BibTeX RDF
36	Jack H. Lutz	A Divergence Formula for Randomness and Dimension (Short Version)	CSP	2008	DBLP BibTeX RDF
36	Niall Murphy, Damien Woods	On acceptance conditions for membrane systems: characterisations of L and NL	CSP	2008	DBLP BibTeX RDF
36	David Doty, Matthew J. Patitz, Scott M. Summers	Limitations of Self-Assembly at Temperature One (extended abstract)	CSP	2008	DBLP BibTeX RDF
36	Klaus Sutner	Computational Processes and Incompleteness	CSP	2008	DBLP BibTeX RDF
36	Matteo Cavaliere, Peter Leupold	Complexity through the Observation of Simple Systems	CSP	2008	DBLP BibTeX RDF
36	Liesbeth De Mol	On the boundaries of solvability and unsolvability in tag systems. Theoretical and Experimental Results	CSP	2008	DBLP BibTeX RDF
36	Carsten Sühl	An Overview of the Integrated Formalism RT-Z.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Embedded systems, Real-time, Formal methods, Z, Timed CSP
36	Ahlem Ben Hassine, Khaled Ghédira	Distributed Reinforcement of Arc-Consistency.	PRICAI	2002	DBLP DOI BibTeX RDF	Constraint Satisfaction Problems (CSP), Multi-Agent System, Arc-Consistency
35	Nick Moffat, Michael Goldsmith	Assumption-Commitment Support for CSP Model Checking.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Assumption-commitment, Model checking, Refinement, CSP, Compositional reasoning, Assume-guarantee
35	Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières	Using CSP\|\|B Components: Application to a Platoon of Vehicles.	FMICS	2008	DBLP DOI BibTeX RDF	verification, formal methods, specification, case study, CSP, B, compositional modelling
35	Wing Lok Yeung	Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services.	ECOWS	2006	DBLP DOI BibTeX RDF	Choreography description language, model checking, formal methods, CSP, business process execution language
35	Zhi-qiang Jiang, Xi-lan Feng, Zhongyan Hu	CSP-based Study on Distributed PDM and Consistency Control Technique for Aero-Subcontract Production.	IMSCCS (1)	2006	DBLP DOI BibTeX RDF	Aero-SP, DPDM, Distributed Design and Manufacturing, Consistency Control Technology, CSP
35	Neil Evans, Helen Treharne	Investigating a file transfer protocol using CSP and B.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	CSP, Compositional verification, B, Combining formalisms
35	John Derrick, Eerke A. Boiten	Combining Component Specifications in Object-Z and CSP.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Components, Refinement, CSP, Viewpoints, LOTOS, Object-Z
35	Steve A. Schneider	Abstraction and Testing in CSP.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Testing, Abstraction, Process algebra, CSP, Operational semantics, Failures semantics
35	Gavin Lowe, Jim Davies	Using CSP to Verify Sequential Consistency.	Distributed Comput.	1999	DBLP DOI BibTeX RDF	Lazy caching protocol, Verification, Specification, CSP, Sequential consistency
35	A. W. Roscoe 0001	Modelling and verifying key-exchange protocols using CSP and FDR.	CSFW	1995	DBLP DOI BibTeX RDF	model-checking, formal specification, protocols, formal verification, process algebra, CSP, communicating sequential processes, FDR, key-exchange protocols
35	Andrew P. Moore	The Specification and Verified Decomposition of System Requirements Using CSP.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	verified decomposition, synchronization requirements, trace model, formal specification, formal method, specification, theorem proving, CSP, synchronisation, system requirements
35	Nakarin Suppakun, Songrit Maneewongvatana	Automatic and Semi-automatic Approaches for Selecting Prominent Spatial Filters of CSP in BCI Applications.	Brain Informatics	2009	DBLP DOI BibTeX RDF
35	Moritz Kleine, Steffen Helke	Low-Level Code Verification Based on CSP Models.	SBMF	2009	DBLP DOI BibTeX RDF
35	John D. Carter, William B. Gardner	Converting scenarios to CSP traces with Mise en Scene for requirements-based programming.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF
35	Hakim Belhaouari, Frédéric Peschanski	Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach.	HASE	2008	DBLP DOI BibTeX RDF
35	Nick Moffat, Michael Goldsmith, Bill Roscoe	A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking.	ICFEM	2008	DBLP DOI BibTeX RDF
35	Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota 0001	Guided Test Generation from CSP Models.	ICTAC	2008	DBLP DOI BibTeX RDF
35	Min Jiang 0005, Changle Zhou, Guoqing Wu, Fan Zhang	A CSP-Based Approach for Solving Parity Game.	FAW	2008	DBLP DOI BibTeX RDF
35	Prasad Raghavendra	Optimal algorithms and inapproximability results for every CSP?	STOC	2008	DBLP DOI BibTeX RDF	dictatorship tests, rounding schemes, semidefinite programming, constraint satisfaction problem, unique games conjecture
35	Letu Yang, Michael Poppleton	Automatic Translation from Combined B and CSP Specification to Java Programs.	B	2007	DBLP DOI BibTeX RDF
35	Till Mossakowski, Markus Roggenbach	Structured CSP - A Process Algebra as an Institution.	WADT	2006	DBLP DOI BibTeX RDF
35	Jifeng He 0001, C. A. R. Hoare	CSP Is a Retract of CCS.	UTP	2006	DBLP DOI BibTeX RDF
35	Xiaoguang Wang 0002, Stephen John Turner, Simon J. E. Taylor	COTS Simulation Package (CSP) Interoperability -A Solution to Synchronous Entity Passing.	PADS	2006	DBLP DOI BibTeX RDF
35	William Simmonds, Tim Hawkins	The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library.	TGC	2005	DBLP DOI BibTeX RDF
35	Michael J. Butler, Shamim Ripon	Executable Semantics for Compensating CSP.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
35	Diyaa-Addein Atiya, Steve King 0001	Extending Ravenscar with CSP Channels.	Ada-Europe	2005	DBLP DOI BibTeX RDF
35	Hachemi Bennaceur	A Comparison between SAT and CSP Techniques.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	constraint satisfaction, satisfiability
35	Frantisek Scuglik	Formal Specification of Shared Variables Using CSP.	ECBS	2004	DBLP DOI BibTeX RDF
35	Ana Cavalcanti 0001, Jim Woodcock 0001	A Tutorial Introduction to CSP in Unifying Theories of Programming.	PSSE	2004	DBLP DOI BibTeX RDF
35	Olivier Roussel	Another SAT to CSP Conversion.	ICTAI	2004	DBLP DOI BibTeX RDF
35	Philippa J. Hopcroft, Guy H. Broadfoot	Combining the Box Structure Development Method and CSP.	ASE	2004	DBLP DOI BibTeX RDF
35	Carroll Morgan	Of Probabilistic Wp and SP-and Compositionality.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
35	Carlos Ansótegui, Jose Larrubia, Felip Manyà	Boosting Chaff's Performance by Incorporating CSP Heuristics.	CP	2003	DBLP DOI BibTeX RDF
35	Muan Yong Ng, Michael J. Butler	Towards Formalizing UML State Diagrams in CSP.	SEFM	2003	DBLP DOI BibTeX RDF
35	Amol Dattatraya Mali	On Temporal Planning as CSP.	ICTAI	2002	DBLP DOI BibTeX RDF
35	Ping Gao, Robert Esser	Polymorphic CSP Type Checking.	ACSC	2001	DBLP DOI BibTeX RDF
35	María Isabel Alfonso Galipienso, Federico Barber Sanchís	A Mixed Closure-CSP Method to Solve Scheduling Problems.	IEA/AIE	2001	DBLP DOI BibTeX RDF
35	Toby Walsh	SAT v CSP.	CP	2000	DBLP DOI BibTeX RDF
35	Steve A. Schneider	Security Properties and CSP.	S&P	1996	DBLP DOI BibTeX RDF
35	Michael J. Butler	Behavioural Extension for CSP.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
35		2021 International Conference on Artificial Intelligence for Cyber Security Systems and Privacy (AI-CSP), El Oued, Algeria, November 20-21, 2021	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Zakaria Neili, Mohamed Fezari, Abdelghani Redjati, Kenneth Sundaraj	VGG16, ResNet-50, and GoogLeNet Deep Learning Architecture for Breathing Sound Classification: A Comparative Study.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Salah Eddine Agab, Roumaissa Ferhat, Fatma-Zohra Chelali	Robust hand gesture recognition based on mWLD and LTeP descriptors.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Yousra Izountar, Samir Benbelkacem, Samir Otmane, Abdellah Khababa, Nadia Zenati, Mostefa Masmoudi	Towards an adaptive Virtual Reality Serious Game System for Motor Rehabilitation based on Facial Emotion Recognition.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Ahmed Moumena	A New Intelligent Jamming Attacks Detection using FCM clustering technique Based on Data Mining for Wireless Communication.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Faical Khennoufa, Abdellatif Khelil	Exact bit error rate of cooperative NOMA without diversity combining.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Habib Aissaoua, Abdelkader Laouid, Mostefa Kara	Secure Consensus Clock Synchronization in Wireless Sensor Networks.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Khaled Chait, Abdelkader Laouid, Lamri Laouamer, Mostefa Kara	A Multi-Key Based Lightweight Additive Homomorphic Encryption Scheme.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Anwar Noureddine Bahache, Noureddine Chikouche	A comparative analysis of RFID authentication protocols for healthcare applications.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Abdelwhab Ouahab, Fatima Belhadg	A new Deep Learning Model for COVID-19 Identification using Chest X-ray and CT Scan images.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Kahina Amara, Nadia Zenati, Oualid Djekoune, Mohamed Anane, Ilhem Kheira Aissaoui, Hasna Rahma Bedla	i-DERASSA: e-learning Platform based on Augmented and Virtual Reality interaction for Education and Training.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Leila Boussaad, Aldjia Boucetta	The aging effects on face recognition algorithms: the accuracy according to age groups and age gaps.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Mostefa Kara, Abdelkader Laouid, Ahcène Bounceur, Farid Lalem, Muath AlShaikh, Romaissa Kebache, Zaoui Sayah	A Novel Delegated Proof of Work Consensus Protocol.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Mostefa Masmoudi, Nadia Zenati, Samir Benbelkacem, Zineb Hadjadj, Oualid Djekoune, Mohamed Amine Guerroudji, Yousra Izountar	Low-cost haptic glove for grasp precision improvement in Virtual Reality-Based Post-Stroke Hand Rehabilitation.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Hayet Benbrahim, Ali Behloul	Fine-tuned Xception for Image Classification on Tiny ImageNet.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Assia Ould Hamou, Fatma-Zohra Chelali	Hand Gesture Recognition Based on LPQ and MRELBP Descriptors.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Sadok Hani, Pr Mohmmed Lakhdar Kiram, Abdelkader Laouid, Muath AlShaikh	The impact of digital transformation on the work of the Algerian local administration during the Corona-Covid 19 Pandemic.	AI-CSP	2021	DBLP DOI BibTeX RDF