Search results for "CSP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
35	Bouchra Rekia Louassef, Noureddine Chikouche	Privacy preservation in healthcare systems.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Mohammed Elhabib Kahla, Mounir Beggas, Abdelkader Laouid, Mostefa Kara, Muath AlShaikh	Asymmetric Image Encryption Based on Twin Message Fusion.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Hichem Rahab, Abdelhafid Zitouni, Mahieddine Djoudi	Arabic Fake News and Spam Handling: Methods, Resources and Opportunities.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Boucetta Lakhdar Nadjib, Chemloul Bilal, Rebai Karima	EMG-Based Hand gesture recognition for myoelectric prosthetic hand control.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Tarek Cherifi, Walid Cherifi, Kenza Challal, Leila Abbad, Malika Bouterfas, Abdelghani Gramez	MUbus: A new secure industrial communication protocol based on ModBus and Ubus protocols.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Ali Cherif Khalfallah, Naima Hadj-Said, Ali Pacha Adda	A New Image Scrambling Technique Only With A Specific Permutation.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Zakaria Neili, Mohamed Fezari, Abdelghani Redjati, Kenneth Sundaraj	Three ResNet Deep Learning Architectures Applied in Pulmonary Pathologies Classification.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Hammou Djalal Rafik	Classification and detection of covid-19 in human respiratory lungs using convolutional neural network architectures.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Abdelhakim Hannousse, Salima Yahiouche	RF-DNN2: An ensemble learner for effective detection of PHP Webshells.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Mohamed Amine Guerroudji, Kahina Amara, Samir Benbelkacem, Adel Oulefki, Nadia Zenati, Djamel Aouam, Oualid Djekoune, Mostefa Masmoudi	Automatic Brain Tumor Segmentation, and 3D Reconstruction and Visualization Using Augmented Reality.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Mohammed Belaggoune, Nadjia Benblidia	Automated assessment of breast density on mammogram images based on convolutional neural networks.	AI-CSP	2021	DBLP DOI BibTeX RDF
35	Frances Cleary, Massimo Felici (eds.)	Cyber Security and Privacy - 4th Cyber Security and Privacy Innovation Forum, CSP Innovation Forum 2015, Brussels, Belgium, April 28-29, 2015, Revised Selected Papers	CSP Forum	2015	DBLP DOI BibTeX RDF
35	Dónal McCarthy, Paul Malone, Johannes Hange, Kenny Doyle, Eric Robson, Dylan Conway, Stepan Ivanov, Lukasz Radziwonowicz, Robert Kleinfeld, Theodoros Michalareas, Timotheos Kastrinogiannis, Nikos Stasinos, Fenareti Lampathaki	Privacy Aware Access Control for Cloud-Based Data Platforms.	CSP Forum	2015	DBLP DOI BibTeX RDF
35	Zeta Dooly, Kenny Doyle, Jamie Power	Uncovering Innovation Practices and Requirements in Privacy and Cyber Security Organisations: Insights from IPACSO.	CSP Forum	2015	DBLP DOI BibTeX RDF
35	Denis Butin, Stefan-Lukas Gazdag, Johannes Buchmann 0001	Real-World Post-Quantum Digital Signatures.	CSP Forum	2015	DBLP DOI BibTeX RDF
35	Roland Rieke, Maria Zhdanova, Jürgen Repp	Security and Business Situational Awareness.	CSP Forum	2015	DBLP DOI BibTeX RDF
35	Ludovic Jacquin, Antonio Lioy, Diego R. López, Adrian L. Shaw, Tao Su	The Trust Problem in Modern Network Infrastructures.	CSP Forum	2015	DBLP DOI BibTeX RDF
35	Juan Manuel Marín Pérez, Antonio Moragón Juan, Jaime Arrazola Pérez, Javier Monge Rabadán, Antonio F. Skarmeta-Gómez	Security and Privacy in Vehicular Communications with INTER-TRUST.	CSP Forum	2015	DBLP DOI BibTeX RDF
35	Claudio Caimi, Michela D'Errico, Carmela Gambardella, Mirko Manea, Nick Wainwright	Implementing Privacy Policies in the Cloud.	CSP Forum	2015	DBLP DOI BibTeX RDF
35	Thomas Lorünser, Charles Bastos Rodriguez, Denise Demirel, Simone Fischer-Hübner, Thomas Groß 0001, Thomas Länger, Mathieu Des Noes, Henrich C. Pöhls, Boris Rozenberg, Daniel Slamanig	Towards a New Paradigm for Privacy and Security in Cloud Services.	CSP Forum	2015	DBLP DOI BibTeX RDF
35	Cataldo Basile, Christian Pitscheider, Fulvio Risso, Fulvio Valenza, Marco Vallini	Towards the Dynamic Provision of Virtualized Security Services.	CSP Forum	2015	DBLP DOI BibTeX RDF
35	Kenny Doyle, Zeta Dooly, Paul J. Kearney	What's so Unique about Cyber Security?	CSP Forum	2015	DBLP DOI BibTeX RDF
35	Nineta Polemi, Panayiotis Kotzanikolaou	Medusa: A Supply Chain Risk Assessment Methodology.	CSP Forum	2015	DBLP DOI BibTeX RDF
35	Francesco Di Cerbo, Nazila Gol Mohammadi, Sachar Paulus	Evidence-Based Trustworthiness of Internet-Based Services Through Controlled Software Development.	CSP Forum	2015	DBLP DOI BibTeX RDF
35	Frances Cleary, Massimo Felici (eds.)	Cyber Security and Privacy - Third Cyber Security and Privacy EU Forum, CSP Forum 2014, Athens, Greece, May 21-22, 2014, Revised Selected Papers	CSP Forum	2014	DBLP DOI BibTeX RDF
35	Chris Dalton, Antonio Lioy, Diego R. López, Fulvio Risso, Roberto Sassu	Exploiting the Network for Securing Personal Devices.	CSP Forum	2014	DBLP DOI BibTeX RDF
35	Vasilios Tountopoulos, Massimo Felici, Alain Pannetrat, Daniele Catteddu, Siani Pearson	Interoperability Analysis of Accountable Data Governance in the Cloud.	CSP Forum	2014	DBLP DOI BibTeX RDF
35	Martina de Gramatica, Fabio Massacci, Olga Gadyatskaya	An Empirical Study of the Technology Transfer Potential of EU Security and Trust R&D Projects.	CSP Forum	2014	DBLP DOI BibTeX RDF
35	Susan Perry, Claudia Roda	Teaching Privacy by Design to Non-technical Audiences.	CSP Forum	2014	DBLP DOI BibTeX RDF
35	Michele Paolino, Mian Muhammad Hamayun, Daniel Raho	A Performance Analysis of ARM Virtual Machines Secured Using SELinux.	CSP Forum	2014	DBLP DOI BibTeX RDF
35	Nicolás Notario, Alberto Crespo, Antonio Kung, Inga Kroener, Daniel Le Métayer, Carmela Troncoso, José M. del Álamo, Yod Samuel Martín	PRIPARE: A New Vision on Engineering Privacy and Security by Design.	CSP Forum	2014	DBLP DOI BibTeX RDF
35	Zeta Dooly, Seamus Galvin, Jamie Power, Bart Renard, Ulrich Seldeslachts	IPACSO: Towards Developing an Innovation Framework for ICT Innovators in the Privacy and CyberSecurity Markets.	CSP Forum	2014	DBLP DOI BibTeX RDF
35	Dharm Kapletia, Massimo Felici, Nick Wainwright	An Integrated Framework for Innovation Management in Cyber Security and Privacy.	CSP Forum	2014	DBLP DOI BibTeX RDF
35	Vasilios Tountopoulos, Ira Giannakoudaki, Konstantinos Giannakakis, Lefteris Korres, Leonidas Kallipolitis	Ensuring Trustworthiness and Security in Service Compositions.	CSP Forum	2014	DBLP DOI BibTeX RDF
35	Ahmad Sabouri, Souheil Bcheri, Kai Rannenberg	Privacy-Respecting School Community Interaction Platform.	CSP Forum	2014	DBLP DOI BibTeX RDF
35	Shahidul Hoque, Aneel Rahim, Francesco Di Cerbo	Smart Grid Data Anonymization for Smart Grid Privacy.	CSP Forum	2014	DBLP DOI BibTeX RDF
35	Alessandro Pollini, Alessandra Tedeschi, Lorenzo Falciani	Airports as Critical Transportation Infrastructures Increasingly Impacted by Cyberattacks: A Case Study.	CSP Forum	2014	DBLP DOI BibTeX RDF
35	Bernhard Katzmarski, Gunnar Schomaker, Wolfgang Nebel	Mobile Agents Based on Virtual Machines to Protect Sensitive Information.	CSP Forum	2014	DBLP DOI BibTeX RDF
35	Mattia Salnitri, Elda Paja, Paolo Giorgini	Preserving Compliance with Security Requirements in Socio-Technical Systems.	CSP Forum	2014	DBLP DOI BibTeX RDF
35	Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.)	Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers	25 Years CSP	2005	DBLP DOI BibTeX RDF
29	Marisa Llorens, Javier Oliver 0001, Josep Silva, Salvador Tamarit	An algorithm to generate the context-sensitive synchronized control flow graph.	SAC	2010	DBLP DOI BibTeX RDF	CSCFG, CSP
29	Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos	Automatic Generation of Integrated Formal Models Corresponding to UML System Models.	TOOLS (47)	2009	DBLP DOI BibTeX RDF	Epsilon, UML, Model transformation, CSP, B
29	David M. Williams, Helen Treharne, Anthony T. S. Ho, Chris Culnane	Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol.	MM&Sec	2008	DBLP DOI BibTeX RDF	buyer-seller watermarking protocol, customer's rights, unbinding, formal model, csp, formal analysis
29	Joy N. Reed, A. W. Roscoe 0001, Jane E. Sinclair	Responsiveness and stable revivals.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Model-checking, CSP, Semantic model, Responsiveness
29	Marcel Oliveira, Jim Woodcock 0001	Automatic Generation of Verified Concurrent Hardware.	ICFEM	2007	DBLP DOI BibTeX RDF	FPGA, concurrency, refinement, CSP, tool support, program development, Handel-C, automatic compilation
29	Christie Bolton, Jim Davies	A singleton failures semantics for Communicating Sequential Processes.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Simulation rules, Semantics, Refinement, CSP, Z, Object-Z, Data types
29	Hyun Seok Kim, Il-Gon Kim, Keun-Hee Han, Jin-Young Choi	Security and Privacy Analysis of RFID Systems Using Model Checking.	HPCC	2006	DBLP DOI BibTeX RDF	Model Checking, CSP, FDR, RFID Security, Casper
29	Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic 0001	A Counterexample-Guided Refinement Tool for Open Procedural Programs.	SPIN	2006	DBLP DOI BibTeX RDF	CSP, software model checking, game semantics, abstraction refinement, FDR
29	Ana Cavalcanti 0001, Phil Clayton	Verification of Control Systems using Circus.	ICECCS	2006	DBLP DOI BibTeX RDF	refinement, CSP, Z, Simulink
29	Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin	Watchdog Transformations for Property-Oriented Model-Checking.	FME	2003	DBLP DOI BibTeX RDF	Watchdog Transformation, Model-Checking, Compression, CSP, FDR, State Explosion Problem
29	Michael J. Butler	On the Use of Data Refinement in the Development of Secure Communications Systems.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Refinement, Security protocols, CSP, B, Action systems
29	Doug Goldson	Formal Verification of mu-Charts.	APSEC	2002	DBLP DOI BibTeX RDF	µ-charts, formal verification, refinement, CSP
29	Steve A. Schneider, Helen Treharne	Communicating B Machines.	ZB	2002	DBLP DOI BibTeX RDF	Concurrency, CSP, B-Method, Combining Formalisms
29	Jan Peleska 0001, Bettina Buth	Formal Methods for the International Space Station ISS.	Correct System Design	1999	DBLP DOI BibTeX RDF	Byzantine AgreementProtocol, Generalised Stochastic Petri Nets, Hardware-in-the-loop Test, International Space Station, Model Checking, Formal Verification, CSP, Fault-Tolerant Systems, Test Automation
29	Jan Peleska 0001, Michael Siegel	From Testing Theory to Test Driver Implementation.	FME	1996	DBLP DOI BibTeX RDF	may tests, must tests, refinement, test generation, CSP, reactive systems, FDR, test evaluation
29	George R. Ribeiro-Justo	A rigorous method for the constructive design of parallel and distributed programs.	HICSS (2)	1995	DBLP DOI BibTeX RDF	constructive design, distributed systems engineers, well-structured programs, SASD, behavioural specifications, performance, formal specification, parallel programming, parallel programs, formal verification, specification, program verification, CSP, distributed programs, software performance evaluation, diagrams, diagrams, communicating systems, communicating sequential processes, sequential systems
29	Ciarán Bryce, Jean-Pierre Banâtre, Daniel Le Métayer	An approach to information security in distributed systems.	FTDCS	1995	DBLP DOI BibTeX RDF	security semantics, distributed systems, distributed processing, information security, CSP, security of data, information flow control, communicating sequential processes, communicating processes
29	Aurélie Favier, Simon de Givry, Philippe Jégou	Exploiting Problem Structure for Solution Counting.	CP	2009	DBLP DOI BibTeX RDF
29	Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner	Verifying the Implementation of an Operating System Scheduler.	TASE	2009	DBLP DOI BibTeX RDF
29	Xiaofeng Wu 0001, Vassilios A. Chouliaras, José L. Núñez-Yáñez, Roger M. Goodall	A Novel Delta Sigma Control System Processor and Its VLSI Implementation.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
29	Joaquín Bautista, Jordi Pereira, Belarmino Adenso-Díaz	A GRASP approach for the extended car sequencing problem.	J. Sched.	2008	DBLP DOI BibTeX RDF	Car sequencing problem, Scheduling, Metaheuristics, GRASP, MILP
29	Sebastien Siva, Lesi Wang	A SQL database system for solving constraints.	PIKM	2008	DBLP DOI BibTeX RDF	SQL, satisfiability (sat), constraint databases
29	Víctor Dalmau, Benoît Larose	Maltsev + Datalog --> Symmetric Datalog.	LICS	2008	DBLP DOI BibTeX RDF	Maltsev term, Dstalog, Symmetric Datalog
29	Manuel Bodirsky, Martin Grohe	Non-dichotomies in Constraint Satisfaction Complexity.	ICALP (2)	2008	DBLP DOI BibTeX RDF
29	Sebastien Siva, James J. Lu, Hantao Zhang 0001	A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract).	ICLP	2008	DBLP DOI BibTeX RDF
29	Helen Treharne, Edward Turner, Steve A. Schneider, Neil Evans	Object Modelling in the SystemB Industrial Project.	ABZ	2008	DBLP DOI BibTeX RDF
29	Patrick Traxler	The Time Complexity of Constraint Satisfaction.	IWPEC	2008	DBLP DOI BibTeX RDF
29	Albert Atserias, Andrei A. Bulatov, Anuj Dawar	Affine Systems of Equations and Counting Infinitary Logic.	ICALP	2007	DBLP DOI BibTeX RDF
29	Simon J. E. Taylor, Navonil Mustafee, Steffen Straßburger, Stephen John Turner, Malcolm Y. H. Low, John Ladbrook	The SISO CSPI PDG standard for commercial off-the-shelf simulation package interoperability reference models.	WSC	2007	DBLP DOI BibTeX RDF
29	Peter Y. H. Wong, Jeremy Gibbons	A Process-Algebraic Approach to Workflow Specification and Refinement.	SC@ETAPS	2007	DBLP DOI BibTeX RDF
29	Koushik Chakraborty, Philip M. Wells, Gurindar S. Sohi	Computation spreading: employing hardware migration to specialize CMP cores on-the-fly.	ASPLOS	2006	DBLP DOI BibTeX RDF	dynamic specialization, cache locality
29	Stephen Doxsee, William B. Gardner	Synthesis of C++ Software from Verifiable CSPm Specifications.	ECBS	2005	DBLP DOI BibTeX RDF
29	Stephen Doxsee, William B. Gardner	Synthesis of C++ software for automated teller from CSPm specifications.	SAC	2005	DBLP DOI BibTeX RDF	executable specifications, object-oriented application frameworks
29	Ken Ka Lun Ho, Meiliu Lu	Web-based expert system for class schedule planning using JESS.	IRI	2005	DBLP DOI BibTeX RDF
29	Víctor Dalmau, Ricard Gavaldà, Pascal Tesson, Denis Thérien	Tractable Clones of Polynomials over Semigroups.	CP	2005	DBLP DOI BibTeX RDF
29	Jean-Francois Puget	Automatic Detection of Variable and Value Symmetries.	CP	2005	DBLP DOI BibTeX RDF
29	Lucas Bordeaux, Marco Cadoli, Toni Mancini	Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems.	LPAR	2004	DBLP DOI BibTeX RDF
29	Joel M. Gompert	Local Search with Maximal Independent Sets.	CP	2004	DBLP DOI BibTeX RDF
29	Helen Xie, Philip Henderson, Joseph Neelamkavil, Jingxin Li	A Systematic Search Strategy for Product Configuration.	IEA/AIE	2004	DBLP DOI BibTeX RDF	numeric variables, n-ary constraints, dependent variables, backjumping, Constraint satisfaction, variable ordering, product configuration
29	Nikos Samaras, Kostas Stergiou 0001	Arc Consistency in Binary Encodings of Non-binary CSPs: Theoretical and Experimental Evaluation.	SETN	2004	DBLP DOI BibTeX RDF	Search, Constraint Satisfaction, Constraint Programming
29	Ashwin D'Costa, Akbar M. Sayeed	Collaborative Signal Processing for Distributed Classification in Sensor Networks.	IPSN	2003	DBLP DOI BibTeX RDF
29	Andrei A. Bulatov	Tractable conservative Constraint Satisfaction Problems.	LICS	2003	DBLP DOI BibTeX RDF
29	Wanlin Pang, Scott D. Goodwin	A Graph Based Backtracking Algorithm for Solving General CSPs.	AI	2003	DBLP DOI BibTeX RDF
29	Malek Mouhoub	Maintaining Global Consistency of Temporal Constraints in a Dynamic Environment.	IEA/AIE	2003	DBLP DOI BibTeX RDF	Constraint Satisfaction, Temporal Reasoning, Planning and Scheduling
29	Manuel Bodirsky, Jaroslav Nesetril	Constraint Satisfaction with Countable Homogeneous Templates.	CSL	2003	DBLP DOI BibTeX RDF
29	John Cooke, B. Tim Denvir	Editorial.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF
29	Miguel A. Salido, Federico Barber	Disjunction of Non-binary and Numeric Constraint Satisfaction Problems.	CCIA	2002	DBLP DOI BibTeX RDF	non-binary constraints, Disjunctive constraints, CSPs
29	David Eppstein	Improved algorithms for 3-coloring, 3-edge-coloring, and constraint satisfaction.	SODA	2001	DBLP BibTeX RDF
29	Thomas Schiex	Arc Consistency for Soft Constraints.	CP	2000	DBLP DOI BibTeX RDF
29	Heike Wehrheim	Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods.	FASE	2000	DBLP DOI BibTeX RDF
29	Wenjun Li, Xiaocong Zhou, Shixian Li	The Typing of Communicating Sequential Processes.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Type systems, Communicating Sequential Processes
29	Jean-Francois Puget	On the Satisfiability of Symmetrical Constrained Satisfaction Problems.	ISMIS	1993	DBLP DOI BibTeX RDF
28	James J. Lu, Sebastien Siva, Ojas Parekh, George H. L. Fletcher, Hantao Zhang 0001	Constraint processing in relational database systems: from theory to implementation.	SAC	2010	DBLP DOI BibTeX RDF	CSP tools, KR languages, relational databases
28	Moses Charikar, Konstantin Makarychev, Yury Makarychev	Near-optimal algorithms for maximum constraint satisfaction problems.	ACM Trans. Algorithms	2009	DBLP DOI BibTeX RDF	MAX 2CSP, MAX k-CSP, SDP
28	Shiliang Sun	The Extreme Energy Ratio Criterion for EEG Feature Extraction.	ICANN (2)	2008	DBLP DOI BibTeX RDF	common spatial patterns (CSP), optimal spatial filter, feature extraction, Brain computer interface (BCI), EEG signal classification
28	Hélène Fargier, Marie-Catherine Vilarem	Compiling CSPs into Tree-Driven Automata for Interactive Solving.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	interactive constraint solving, CSP compilation, tree clustering, configuration, tree automata
28	Thierry Petit, Jean-Charles Régin, Christian Bessière	Meta-constraints on violations for over constrained problems.	ICTAI	2000	DBLP DOI BibTeX RDF	meta constraints, over constrained problems, Max-CSP, real-life problems, constraint programming, constraint handling, communicating sequential processes, real-world problems
28	Fan Yang, Wen Su, Huibiao Zhu, Qin Li 0002	Formalizing MapReduce with CSP.	ECBS	2010	DBLP DOI BibTeX RDF	Cloud Computing, CSP, MapReduce
28	Zain-ul-Abdin, Bertil Svensson	Using a CSP Based Programming Model for Reconfigurable Processor Arrays.	ReConFig	2008	DBLP DOI BibTeX RDF	CSP, Programming Models, Coarse-grained Reconfigurable Architectures
28	Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack	Challenging Formal Specifications by Mutation: a CSP security example.	APSEC	2003	DBLP DOI BibTeX RDF	model checking, CSP, mutation testing, security properties