Search results for "CSP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
42	Martin E. Dyer, David Richerby	On the complexity of #CSP.	STOC	2010	DBLP DOI BibTeX RDF	complexity dichotomy, constraint satisfaction problem, counting problems
42	Serge Gaspers, Gregory B. Sorkin	A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in between.	SODA	2009	DBLP DOI BibTeX RDF
42	Frédéric Lardeux, Éric Monfroy, Frédéric Saubion, Broderick Crawford, Carlos Castro 0001	SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints.	MICAI	2009	DBLP DOI BibTeX RDF
42	Steve A. Schneider, Helen Treharne	Changing System Interfaces Consistently: A New Refinement Strategy for CSP\|\|B.	IFM	2009	DBLP DOI BibTeX RDF
42	Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà	Modelling Max-CSP as Partial Max-SAT.	SAT	2008	DBLP DOI BibTeX RDF
42	Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà	Mapping CSP into Many-Valued SAT.	SAT	2007	DBLP DOI BibTeX RDF
42	John D. Carter, William B. Gardner	Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming.	SEW	2007	DBLP DOI BibTeX RDF
42	Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan	Constraint Symmetry for the Soft CSP.	CP	2007	DBLP DOI BibTeX RDF
42	Michael Kleis, Kai Büttner, Sanaa Elmoumouhi, Georg Carle, Mikaël Salaün	CSP, Cooperative Service Provisioning Using Peer-to-Peer Principles.	IWSOS	2007	DBLP DOI BibTeX RDF
42	Incheon Paik, Daisuke Maruyama, Michael N. Huhns	A Framework for Intelligent Web Services: Combined HTN and CSP Approach.	ICWS	2006	DBLP DOI BibTeX RDF
42	Yoshinao Isobe, Markus Roggenbach	A Complete Axiomatic Semantics for the CSP Stable-Failures Model.	CONCUR	2006	DBLP DOI BibTeX RDF
42	Ramón Béjar, Cèsar Fernández, Carles Mateu	Statistical Modelling of CSP Solving Algorithms Performance.	CP	2005	DBLP DOI BibTeX RDF
42	David A. Cohen, Martin C. Cooper, Peter Jeavons 0001, Andrei A. Krokhin	Identifying Efficiently Solvable Cases of Max CSP.	STACS	2004	DBLP DOI BibTeX RDF
42	Ana Cavalcanti 0001, Augusto Sampaio	From CSP-OZ to Java with Processes.	IPDPS	2002	DBLP DOI BibTeX RDF	refinement calculi, concurrency, program development
42	Peter H. Welch, Jo R. Aldous, Jon Foster	CSP Networking for Java (JCSP.net).	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
42	Ian MacColl, David A. Carrington	Translating UAN into CSP.	ICFEM	2000	DBLP DOI BibTeX RDF
42	Haykal Tej, Burkhart Wolff	A Corrected Failure Divergence Model for CSP in Isabelle/HOL.	FME	1997	DBLP DOI BibTeX RDF
42	Graeme Smith 0001	A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems.	FME	1997	DBLP DOI BibTeX RDF
42	Ursula Goltz, Wolfgang Reisig	CSP-programs with individual tokens.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
42	Stephen D. Brookes	On the Relationship of CCS and CSP.	ICALP	1983	DBLP DOI BibTeX RDF
41	Yevgeny Schreiber	Cost-Driven Interactive CSP with Constraint Relaxation.	CP	2009	DBLP DOI BibTeX RDF	Cost-Driven Interactive CSP, ICSP, Functional Test Generation, Constraint Relaxation
41	Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières	Towards Validating a Platoon of Cristal Vehicles Using CSP\|\|B.	AMAST	2008	DBLP DOI BibTeX RDF	CSP?B, distributed systems, formal methods, case study, platooning
41	Phillip J. Brooke, Richard F. Paige	The Design of a Tool-Supported Graphical Notation for Timed CSP.	IFM	2002	DBLP DOI BibTeX RDF	process algebra, tool support, graphical notation, Timed CSP
41	Simeon Veloudis, Nimal Nissanke	Modelling Coordinated Atomic Actions in Timed CSP.	FTRTFT	2000	DBLP DOI BibTeX RDF	CA actions, real-time systems, safety-critical systems, Timed CSP
41	Steve A. Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe 0001	Timed CSP: Theory and Practice.	REX Workshop	1991	DBLP DOI BibTeX RDF	Real-Time CSP, Timewise Refinement, Telephone Switching, Robotics, Concurrency, Temporal Logic, Specification and Verification, Control Software
41	David May 0001	CSP, occam and Transputers.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
41	Jonathan Lawrence	Practical Application of CSP and FDR to Software Design.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
41	Steve A. Schneider, Rob Delicata	Verifying Security Protocols: An Application of CSP.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
39	Kazuto Nishida, Kazumichi Shimizu, Michiro Yoshino, Hideo Koguchi, Nipon Taweejun	Reliability evaluation of ultra-thin CSP using new flip-chip bonding technology--double-sided CSP and single-sided CSP.	Microelectron. Reliab.	2003	DBLP DOI BibTeX RDF
37	Mihnea Marinescu, Benjamin Goldberg	Partial-Evaluation Techniques for Concurrent Programs.	PEPM	1997	DBLP DOI BibTeX RDF	concurrency, CSP, CSP, partial evaluation, nondeterminism, binding-time analysis
37	Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George	Model Checking LTL Formulae in RAISE with FDR.	IFM	2009	DBLP DOI BibTeX RDF	model checking, formal methods, refinement, tools, CSP, LTL, FDR, RAISE, RSL
37	Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim	Integrating a formal method into a software engineering process with UML and Java.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking
37	Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001	Framework composition conformance via refinement checking.	SAC	2008	DBLP DOI BibTeX RDF	conformance notions, framework composition, refinement, CSP
37	Ana Cavalcanti 0001, Phil Clayton, Colin O'Halloran	Control Law Diagrams in Circus.	FM	2005	DBLP DOI BibTeX RDF	refinement, CSP, Z, Simulink
37	Jun Sun 0001, Jin Song Dong	Synthesis of Distributed Processes from Scenario-Based Specifications.	FM	2005	DBLP DOI BibTeX RDF	Synthesis, CSP, LSC
37	Helen Treharne, Steve A. Schneider, Marchia Bramble	Composing Specifications Using Communication.	ZB	2003	DBLP DOI BibTeX RDF	Composing Specifications, Concurrency, CSP, B-Method, Combining Formalisms
37	Helen Treharne, Steve A. Schneider	How to Drive a B Machine.	ZB	2000	DBLP DOI BibTeX RDF	Programming Calculi, Embedded Systems, CSP, B-Method, Combining Formalisms
37	John J. Zic	Extensions to communicating sequential processes to allow protocol performance specification.	Comput. Commun. Rev.	1987	DBLP DOI BibTeX RDF	CSP
36	Barbara M. Smith	Observations on Symmetry Breaking.	CP	2009	DBLP DOI BibTeX RDF
36	Kai Keng Ang, Zhengyang Chin, Haihong Zhang, Cuntai Guan	Filter Bank Common Spatial Pattern (FBCSP) in Brain-Computer Interface.	IJCNN	2008	DBLP DOI BibTeX RDF
36	Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith	Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Model redundancy, Constraint satisfaction
36	László Egri, Benoît Larose, Pascal Tesson	Symmetric Datalog and Constraint Satisfaction Problems in Logspace.	LICS	2007	DBLP DOI BibTeX RDF
36	Benoît Larose, Pascal Tesson	Universal Algebra and Hardness Results for Constraint Satisfaction Problems.	ICALP	2007	DBLP DOI BibTeX RDF
36	Yat Chiu Law, Jimmy H. M. Lee	Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Value symmetries, Constraint satisfaction, Symmetry breaking
36	Stefan S. Dantchev, Florent R. Madelaine	Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems.	CSR	2006	DBLP DOI BibTeX RDF	Constraint Satisfaction, Duality, Monadic Second Order Logic, Logic in Computer Science, Graph Homomorphism
36	Manuel Bodirsky, Víctor Dalmau	Datalog and Constraint Satisfaction with Infinite Templates.	STACS	2006	DBLP DOI BibTeX RDF
36	Shengnan Cong, Jiawei Han 0001, David A. Padua	Parallel mining of closed sequential patterns.	KDD	2005	DBLP DOI BibTeX RDF	parallel algorithms, load balancing, sampling
36	Erik Meer	A BDD-Based Interactive Configurator for Modular Systems.	CP	2005	DBLP DOI BibTeX RDF
36	Ioannis P. Vlahavas, Ilias Sakellariou, Ivan Futó, Zoltán Pásztor, János Szeredi	CSPCONS: A Communicating Sequential Prolog with Constraints.	SETN	2002	DBLP DOI BibTeX RDF
36	Claude Michel, Michel Rueher, Yahia Lebbah	Solving Constraints over Floating-Point Numbers.	CP	2001	DBLP DOI BibTeX RDF
36		6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022	CSP	2022	DBLP DOI BibTeX RDF
36	Tomoaki Mimoto, Masayuki Hashimoto, Hiroyuki Yokoyama, Toru Nakamura, Takamasa Isohara, Ryosuke Kojima, Aki Hasegawa, Yasushi Okuno	Differential Privacy under Incalculable Sensitivity.	CSP	2022	DBLP DOI BibTeX RDF
36	Abdulbast A. Abushgra	Teleporting Qubits Between Participants by Third-Party Center.	CSP	2022	DBLP DOI BibTeX RDF
36	Qian Zhang, Weihong Xie, Xinxian Pan	Evaluation Study on Privacy Policies of Express Companies Based on Cloud Model.	CSP	2022	DBLP DOI BibTeX RDF
36	Raha Soleymanzadeh, Rasha Kashef 0001	The Future Roadmap for Cyber-attack Detection.	CSP	2022	DBLP DOI BibTeX RDF
36	Jia Wang, Takayuki Sasaki, Kazumasa Omote, Katsunari Yoshioka, Tsutomu Matsumoto	Multifaceted Analysis of Malicious Ethereum Accounts and Corresponding Activities.	CSP	2022	DBLP DOI BibTeX RDF
36	Nilupulee Anuradha Gunathilake, Ahmed Al-Dubai 0001, William J. Buchanan, Owen Lo	Electromagnetic Side-Channel Attack Resilience against PRESENT Lightweight Block Cipher.	CSP	2022	DBLP DOI BibTeX RDF
36	Sarfraz Iqbal	Analyzing Initial Design Theory Components for Developing Information Security Laboratories.	CSP	2022	DBLP DOI BibTeX RDF
36	Chenjia Yu, Mehdi Gheisari, Yang Liu 0039	A Lightweight Advertisement Ecosystem Simulation Platform for Security Analysis.	CSP	2022	DBLP DOI BibTeX RDF
36	Tuong Phi Lau	A Class of Software-Layer DoS Attacks in Node.js Web Apps.	CSP	2022	DBLP DOI BibTeX RDF
36	Marcin Dabrowski, Piotr Pacyna	Blockchain-based identity dicovery between heterogenous identity management systems.	CSP	2022	DBLP DOI BibTeX RDF
36	Xinli Xiong, Liang Guo, Yunfeng Zhang, Jingye Zhang	Cyber-Security Enhanced Network Meta-Model and its Application.	CSP	2022	DBLP DOI BibTeX RDF
36	Shawn Collins, Emily Wu, Rui Ning	Context-based Adblocker using Siamese Neural Network.	CSP	2022	DBLP DOI BibTeX RDF
36	Wenxian Guo, Haiqing Yu, Wei Ding 0001	Vertical Scanning Behavior Analysis of High-Frequency Superpoints.	CSP	2022	DBLP DOI BibTeX RDF
36	Jiangyong Shi, Ping Kuang, Yongjun Wang, Yuexiang Yang	A Two-Stage Out-Of-Box Method for Detecting Side-Channel Attacks in Cloud Computing.	CSP	2022	DBLP DOI BibTeX RDF
36	Tazar Hussain, Alfie Beard, Liming Chen 0001, Chris D. Nugent, Jun Liu 0001, Adrian Moore 0001	From Machine Learning Based Intrusion Detection to Cost Sensitive Intrusion Response.	CSP	2022	DBLP DOI BibTeX RDF
36	Yangpan Zhang	An approach to construct feedforward clock-controlled sequence with high linear complexity.	CSP	2022	DBLP DOI BibTeX RDF
36	Sevgi Arca, Rattikorn Hewett	Anonymity-driven Measures for Privacy.	CSP	2022	DBLP DOI BibTeX RDF
36	Li Li, Maozhi Xu	RippleSign: Isogeny-Based Threshold Ring Signatures with Combinatorial Methods.	CSP	2022	DBLP DOI BibTeX RDF
36	Shuangbao Paul Wang, Md Tanvir Arafin, Onyema Osuagwu, Ketchiozo Wandji	Cyber Threat Analysis and Trustworthy Artificial Intelligence.	CSP	2022	DBLP DOI BibTeX RDF
36	Mohammed M. Alani	IoTProtect: A Machine-Learning Based IoT Intrusion Detection System.	CSP	2022	DBLP DOI BibTeX RDF
36	Jared Mathews, Prosenjit Chatterjee, Shankar Banik	CoAP-DoS: An IoT Network Intrusion Data Set.	CSP	2022	DBLP DOI BibTeX RDF
36	Rainer Rehak, Christian Ricardo Kühne	The Processing goes far beyond "the app" - Privacy issues of decentralized Digital Contact Tracing using the example of the German Corona-Warn-App.	CSP	2022	DBLP DOI BibTeX RDF
36	Jihan Lailatul Atiqoh, Ari Moesriami Barmawi, Farah Afianti	Blockchain-based Smart Parking System using Ring Learning With Errors based Signature.	CSP	2022	DBLP DOI BibTeX RDF
36	Giampaolo Bella, Cristian Daniele, Mario Raciti	The AILA Methodology for Automated and Intelligent Likelihood Assignment.	CSP	2022	DBLP DOI BibTeX RDF
36	Li Feilin, Li Tao, Hu Aiqu	A Proactively Defensive Low-Level Decision Center Model of Endogenous Security.	CSP	2022	DBLP DOI BibTeX RDF
36	Dongxia Wang, Jie Cui, Jinghua Wang, Huan Tan, Ming Xu	Convex Hull Convolutive Non-negative Matrix Factorization Based Speech Enhancement For Multimedia Communication.	CSP	2022	DBLP DOI BibTeX RDF
36	Jiaqi Liu, Aiqun Hu, Sheng Li	Spectrum-based Fingerprint Extraction and Identification Method of 100M Ethernet Card.	CSP	2022	DBLP DOI BibTeX RDF
36	Eric Sakk	Computational Refinements for Post-Quantum Elliptic Curve Security.	CSP	2022	DBLP DOI BibTeX RDF
36	Yuxi Cheng, Ziang Jin, Wei Ding 0001	Analysis of the Propagation of Miner Botnet.	CSP	2022	DBLP DOI BibTeX RDF
36		5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021	CSP	2021	DBLP DOI BibTeX RDF
36	Sam Ng, Tomás Tauber, Leslie Cheung	ECDSA-Compatible Privacy Preserving Signature With Designated Verifier.	CSP	2021	DBLP DOI BibTeX RDF
36	Abdulbast A. Abushgra	SARG04 and AK15 Protocols Based on the Run-Time Execution and QBER.	CSP	2021	DBLP DOI BibTeX RDF
36	Martin J. Butler, Rika Butler	The Influence of Mobile Operating Systems on User Security Behavior.	CSP	2021	DBLP DOI BibTeX RDF
36	Shuangbao Paul Wang, Eric Sakk	Quantum Algorithms: Overviews, Foundations, and Speedups.	CSP	2021	DBLP DOI BibTeX RDF
36	Yanchun Cui, Kai Zhong, Ansheng Yin	Trust Evaluation Algorithm based on Association Rule Extraction.	CSP	2021	DBLP DOI BibTeX RDF
36	Haotian Zhang, Weiyu Dong, Jian Lin 0007	A Partial-Lifting-Based Compiling Concolic Execution Approach.	CSP	2021	DBLP DOI BibTeX RDF
36	Kunchang Li, Xu Han, Yifan Yang, Shuhao Wang, Runhua Shi, Jianbin Li	A Novel Edge Computing Offloading and Privacy-preserving Scheme for Energy Internet.	CSP	2021	DBLP DOI BibTeX RDF
36	Liangjie Lin, Yuchen Tian, Yang Liu 0039	A Blockchain-based Privacy-Preserving Recommendation Mechanism.	CSP	2021	DBLP DOI BibTeX RDF
36	Haiou Huang, Jianfeng Chu, Xiaochun Cheng	Trend Analysis and Countermeasure Research of DDoS Attack Under 5G Network.	CSP	2021	DBLP DOI BibTeX RDF
36	Jianhua Xing, Jing Si, Yongjing Zhang, Wei Li, Yuning Zheng	Research on Malware Variant Detection Method Based on Deep Neural Network.	CSP	2021	DBLP DOI BibTeX RDF
36	Kunzan Liu, Yuchen Jiao, Ye Jin, Xu Xiang, Yuantao Gu	Dimensionality-reduced Secure Outlier Detection on Union of Subspaces.	CSP	2021	DBLP DOI BibTeX RDF
36	Liwei Liu, Maozhi Xu, Guoqing Zhou	Analysis and Improvements to the Special Number Field Sieve for Discrete Logarithm Problems.	CSP	2021	DBLP DOI BibTeX RDF
36	Jaouhar Fattahi, Mohamed Mejri	Damaged Fingerprint Recognition by Convolutional Long Short-Term Memory Networks for Forensic Purposes.	CSP	2021	DBLP DOI BibTeX RDF
36	Cristòfol Daudén-Esmel, Jordi Castellà-Roca, Alexandre Viejo, Josep Domingo-Ferrer	Lightweight Blockchain-based Platform for GDPR-Compliant Personal Data Management.	CSP	2021	DBLP DOI BibTeX RDF
36	Wouter Louman, Mitchell Vernee, Danique de Bruijn, Babette van't Riet, Hani Alers	Mobile Firewall applications: An analysis of usability and effectiveness.	CSP	2021	DBLP DOI BibTeX RDF
36	Haleh Shahzad, Abdul Rahman Sattar, Janahan Skandaraniyam	DGA Domain Detection using Deep Learning.	CSP	2021	DBLP DOI BibTeX RDF
36	Eric Sakk, Shuangbao Paul Wang	Code Structures for Quantum Encryption and Decryption.	CSP	2021	DBLP DOI BibTeX RDF
36	Ting Ma 0003, Feng Hu, Maode Ma	A LSTM-Based Channel Fingerprinting Method for Intrusion Detection.	CSP	2021	DBLP DOI BibTeX RDF
36	Mark A. Brady, Ikram Ullah 0003, Paul J. M. Havinga	DOSing Distributed Ledger Technology: IOTA.	CSP	2021	DBLP DOI BibTeX RDF