|
|
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 |
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 |
Displaying result #301 - #400 of 2636 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|