|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1404 occurrences of 649 keywords
|
|
|
Results
Found 2636 publication records. Showing 2636 according to the selection in the facets
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 |
|
Displaying result #201 - #300 of 2636 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|