|
|
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 |
20 | Rafael Ceballos, Victor Cejudo, Rafael M. Gasca, Carmelo Del Valle |
A Topological-Based Method for Allocating Sensors by Using CSP Techniques. |
CAEPIA |
2005 |
DBLP DOI BibTeX RDF |
|
20 | John Derrick, Heike Wehrheim |
Non-atomic Refinement in Z and CSP. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Lars Engebretsen, Jonas Holmerin |
More Efficient Queries in PCPs for NP and Improved Approximation Hardness of Maximum CSP. |
STACS |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Malek Mouhoub, Amrudee Sukpan |
A New Temporal CSP Framework Handling Composite Variables and Activity Constraints. |
ICTAI |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Mihaela Butaru, Zineb Habbas |
Solving the Car-Sequencing Problem as a Non-binary CSP. |
CP |
2005 |
DBLP DOI BibTeX RDF |
n-ary CSPs, n-ary Forward Checking, scheduling, heuristics, constraint satisfaction, problem solving |
20 | Daniele Paolo Radicioni, Vincenzo Lombardo |
A CSP Approach for Modeling the Hand Gestures of a Virtual Guitarist. |
AI*IA |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Igor Razgon, Amnon Meisels |
A CSP Search Algorithm with Reduced Branching Factor. |
CSCLP |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Mihaela Butaru, Zineb Habbas |
The Car-Sequencing Problem as n-Ary CSP - Sequential and Parallel Solving. |
Australian Conference on Artificial Intelligence |
2005 |
DBLP DOI BibTeX RDF |
scheduling, heuristics, Constraint satisfaction, problem solving |
20 | Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff |
Towards a Formal Specification of an Electronic Payment System in CSP-CASL. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Aleksandar S. Dimovski, Ranko Lazic 0001 |
CSP Representation of Game Semantics for Second-Order Idealized Algol. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Jim Davies |
Using CSP. |
PSSE |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Peter H. Welch, Fred R. M. Barnes |
Communicating Mobile Processes. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Peter Y. A. Ryan |
Shedding Light on Haunted Corners of Information Security. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Jeff Magee, Jeff Kramer |
Model-Based Design of Concurrent Programs. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Michael Goldsmith |
Operational Semantics for Fun and Profit. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Michael J. Butler, C. A. R. Hoare, Carla Ferreira 0001 |
A Trace Semantics for Long-Running Transactions. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Jifeng He 0001 |
Linking Theories of Concurrency. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Mark B. Josephs |
Models for Data-Flow Sequential Processes. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Mingyan Huang, Zhiyong Liu, Scott D. Goodwin |
Dueling CSP Representations: Local Search in the Primal versus Dual Constraint Graph. |
AI |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Preston A. Jackson, Brad L. Hutchings, Justin L. Tripp |
Simulation and Synthesis of CSP-based Interprocess Communication. |
FCCM |
2003 |
DBLP DOI BibTeX RDF |
|
20 | George Katsirelos, Fahiem Bacchus |
Unrestricted Nogood Recording in CSP Search. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Graeme Smith 0001, John Derrick |
Abstract Specification in Object-Z and CSP. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Riera, Miquel Angel Piera Eroles, Antoni Guasch |
PN to CSP Methodology: Improved Bounds. |
CCIA |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Gordon Thomas Rohrmair, Gavin Lowe |
Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area. |
FASec |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Carlos Ansótegui, Felip Manyà |
Bridging the Gap between SAT and CSP. |
CP |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Ola Angelsmark, Peter Jonsson, Svante Linusson, Johan Thapper |
Determining the Number of Solutions to Binary CSP Instances. |
CP |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Cèsar Fernández, Ramón Béjar, Bhaskar Krishnamachari, Carla P. Gomes |
Communication and Computation in Distributed CSP Algorithms. |
CP |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro |
Max-CSP Approach for Software Diagnosis. |
IBERAMIA |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Jifeng He 0001 |
Integrating CSP and DC. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Zeynep Kiziltan, Pierre Flener, Brahim Hnich |
Towards Inferring Labelling Heuristics for CSP Application Domains. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Jim Woodcock 0001, Ana Cavalcanti 0001 |
The Steam Boiler in a Unified Theory of Z and CSP. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Christopher H. Nevison |
Teaching Distributed and Parallel Computing with Java and CSP. |
CCGRID |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Zineb Habbas, Michaël Krajecki, Daniel Singer |
The Langford's Problem: A Challenge for Parallel Resolution of CSP. |
PPAM |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Nicoleta Neagu |
Exploiting the CSP Structure by Interchangeability. |
CP |
2001 |
DBLP DOI BibTeX RDF |
constraint satisfaction problem, interchangeability |
20 | Kalev Kask |
New Search Heuristics for Max-CSP. |
CP |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire |
A CSP Abstraction Framework. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Michael Goldsmith, Irfan Zakiuddin |
Critical Systems Validation and Verification with CSP and FDR. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Bruno Dutertre, Steve A. Schneider |
Using a PVS Embedding of CSP to Verify Authentication Protocols. |
TPHOLs |
1997 |
DBLP DOI BibTeX RDF |
|
20 | K. Narayan Kumar, Paritosh K. Pandya |
ICSP and Its Relationship with ACSP and CSP. |
FSTTCS |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Jim Davies, Steve A. Schneider |
Using CSP to Verify a Timed Protocol over a Fair Medium. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Shing-Tsaan Huang |
A Distributed Deadlock Detection Algorithm for CSP-Like Communication. |
ACM Trans. Program. Lang. Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Luc Bougé |
Repeated Synchronous Snapshots and Their Implementation in CSP (Extended Abstract). |
ICALP |
1985 |
DBLP DOI BibTeX RDF |
|
20 | Jean-Luc Richier |
Distributed Termination in CSP: Symmetric Solutions with Minimal Storage. |
STACS |
1985 |
DBLP DOI BibTeX RDF |
|
20 | Dorit Ron, Flavia Rosemberg, Amir Pnueli |
A Hardware Implementation of the CSP Primitives and its Verification. |
ICALP |
1984 |
DBLP DOI BibTeX RDF |
|
15 | Peilei Ye |
Study on Formalizing Unified Modeling Language Activity Diagrams in FDR. |
MVHI |
2010 |
DBLP DOI BibTeX RDF |
Model Checking, CSP, FDR, UML Activity Diagrams |
15 | Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren 0002 |
Dynamic structural symmetry breaking for constraint satisfaction problems. |
Constraints An Int. J. |
2009 |
DBLP DOI BibTeX RDF |
Dominance detection, CSP, Tractability, Symmetry breaking |
15 | Carlos Carrascosa, Miguel Rebollo |
Agreement spaces for counselor agents. |
AAMAS (2) |
2009 |
DBLP BibTeX RDF |
counselor, context, CSP, agreement |
15 | Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace 0001 |
The Design of the Zinc Modelling Language. |
Constraints An Int. J. |
2008 |
DBLP DOI BibTeX RDF |
Modelling, Optimisation, CSP, Constraint programming, Language design |
15 | Matthew C. Jadud, Jon Simpson, Christian L. Jacobsen |
Patterns for programming in parallel, pedagogically. |
SIGCSE |
2008 |
DBLP DOI BibTeX RDF |
occam-?, parallelism, concurrency, CSP, fun, LEGO |
15 | Dénes Bisztray, Reiko Heckel, Hartmut Ehrig |
Compositional Verification of Architectural Refactorings. |
WADS |
2008 |
DBLP DOI BibTeX RDF |
UML, Service Oriented Architecture, Refactoring, CSP, Graph Transformation |
15 | Peter Y. H. Wong, Jeremy Gibbons |
Verifying Business Process Compatibility (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
compatibility verification, model checking, refinement, CSP, business process modelling |
15 | André Trudel, Elhadi M. Shakshuki, Yiqing Xu |
A Probabilistic Multi-agent Scheduler Implemented in JXTA. |
NBiS |
2007 |
DBLP DOI BibTeX RDF |
Allen’s temporal relations, agents, CSP, temporal reasoning, JXTA |
15 | Éric Grégoire, Bertrand Mazure, Cédric Piette |
MUST: Provide a Finer-Grained Explanation of Unsatisfiability. |
CP |
2007 |
DBLP DOI BibTeX RDF |
unsatisfiability, MUC, MUS, MUST, CSP, explanation, constraint networks |
15 | Jian Huang, A. W. Roscoe 0001 |
Extending noninterference properties to the timed world. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
CSP, information flow, noninterference, discrete time |
15 | Tony Lambert, Éric Monfroy, Frédéric Saubion |
Solving strategies using a hybridization model for local search and constraint propagation. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
hybrid resolution, local search, CSP, constraint propagation |
15 | Yat Chiu Law, Jimmy Ho-Man Lee |
Breaking value symmetries in matrix models using channeling constraints. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
CSP, symmetry breaking |
15 | Christian L. Jacobsen, Matthew C. Jadud |
Towards concrete concurrency: occam-pi on the LEGO mindstorms. |
SIGCSE |
2005 |
DBLP DOI BibTeX RDF |
occam ?, parallelism, concurrency, CSP, fun, LEGO |
15 | Heike Wehrheim |
Behavioral Subtyping Relations for Active Objects. |
Formal Methods Syst. Des. |
2003 |
DBLP DOI BibTeX RDF |
object-orientation, refinement, CSP, behavioral subtyping |
15 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
The complexity of acyclic conjunctive queries. |
J. ACM |
2001 |
DBLP DOI BibTeX RDF |
LOGCFL, acyclic hypergraph, degree of cyclicity, hinge, join tree, qury-idth, algorithm, parallel algorithm, constraint, CSP, database theory, constraint satisfaction problem, conjunctive query, subsumption, query containment, bounded treewidth, tree query |
15 | Gregor Engels, Jochen Malte Küster, Reiko Heckel, Luuk Groenewegen |
A methodology for specifying and analyzing consistency of object-oriented behavioral models. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
behavioral consistency, UML, UML, CSP, object-oriented modeling |
15 | Colin O'Halloran |
Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
Verification, Formal Methods, CSP, Z, Acceptance, Safety critical, Simulink, Control Laws |
15 | Stephan Schulz 0002 |
A Transformation for System Level Design Model Specifications into Implementation Descriptions. |
SCCC |
2001 |
DBLP DOI BibTeX RDF |
CSP, system modeling, codesign, embedded systems design |
15 | Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe 0001 |
Automating Data Independence. |
ESORICS |
2000 |
DBLP DOI BibTeX RDF |
model checking, security protocols, CSP, automatic verification, FDR, data independence, Casper |
15 | Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Faltings |
Distributed asynchronous search with private constraints (extended abstract). |
Agents |
2000 |
DBLP DOI BibTeX RDF |
CSP |
15 | Jonathan Sobel, Daniel P. Friedman |
Recycling Continuations. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
CSP |
15 | Larry Gilg |
Known Good Die. |
J. Electron. Test. |
1997 |
DBLP DOI BibTeX RDF |
known good die, KGD, chip scale (size) package, multi-chip module (MCM), wafer probe, membrane probe card, buckling beam probe card, KGD carrier, CSP, burn-in |
15 | Luis Fernando Llana Díaz, Manuel Núñez 0001 |
Testing Semantics for Unbounded Nondeterminism. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
unbounded nondeterminism, testing semantics, Process algebra, CSP, operational semantics |
15 | Fuyau Lin |
A Formalism for Specifying Communicating Processes. |
ACM Conference on Computer Science |
1993 |
DBLP DOI BibTeX RDF |
CSP |
15 | Yuh-Jzer Joung, Scott A. Smolka |
Coordinating First-Order Multiparty Interactions. |
POPL |
1991 |
DBLP DOI BibTeX RDF |
CSP |
15 | B. Bütler, Rob Esser, R. Mattmann |
A distributed simulator for high order Petri nets. |
Applications and Theory of Petri Nets |
1989 |
DBLP DOI BibTeX RDF |
Embedded Systems, Petri nets, CSP, Distributed Simulator, Executable Specification, Transputer, Occam, Interconnection Architecture |
15 | Kavi Arya |
Processes in a Functional Animation System. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
CSP |
15 | David May 0001, Roger Shepherd |
Occam and the transputer. |
European Workshop on Applications and Theory in Petri Nets |
1988 |
DBLP DOI BibTeX RDF |
parallel processing, CSP, VLSI architecture, transputer, occam |
15 | Phil Kearns |
A Correct and Unrestrictive Implementation of General Semaphores. |
ACM SIGOPS Oper. Syst. Rev. |
1988 |
DBLP DOI BibTeX RDF |
CSP |
15 | Krzysztof R. Apt |
Correctness Proofs of Distributed Termination Algorithms. |
ACM Trans. Program. Lang. Syst. |
1986 |
DBLP DOI BibTeX RDF |
CSP |
15 | Stephen D. Brookes, C. A. R. Hoare, A. W. Roscoe 0001 |
A Theory of Communicating Sequential Processes. |
J. ACM |
1984 |
DBLP DOI BibTeX RDF |
CSP |
15 | Neelam Soundararajan |
Axiomatic Semantics of Communicating Sequential Processes. |
ACM Trans. Program. Lang. Syst. |
1984 |
DBLP DOI BibTeX RDF |
CSP |
15 | M. Elizabeth C. Hull, R. M. McKeag |
Communicating Sequential Processes for Centralized and Distributed Operating System Design. |
ACM Trans. Program. Lang. Syst. |
1984 |
DBLP DOI BibTeX RDF |
CSP |
15 | Jayadev Misra, K. Mani Chandy |
Termination Detection of Diffusing Computations in Communicating Sequential Processes. |
ACM Trans. Program. Lang. Syst. |
1982 |
DBLP DOI BibTeX RDF |
CSP |
15 | Sid Stamm, Brandon Sterne, Gervase Markham |
Reining in the web with content security policy. |
WWW |
2010 |
DBLP DOI BibTeX RDF |
content restrictions, security policy, http, web security |
15 | Manuel Bodirsky, Hubie Chen |
Relatively quantified constraint satisfaction. |
Constraints An Int. J. |
2009 |
DBLP DOI BibTeX RDF |
Quantified constraint satisfaction, Computational complexity |
15 | Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001 |
A UTP semantics for Circus. |
Formal Aspects Comput. |
2009 |
DBLP DOI BibTeX RDF |
Concurrency, Theorem proving, Relational model, Refinement calculus |
15 | Tobias Achterberg, Timo Berthold |
Hybrid Branching. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Roman Barták, Daniel Toropila |
Constraint Models for Sequential Planning. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Juan I. Cano, Luis Sánchez, David Camacho, Estrella Pulido, Eloy Anguiano |
Using Preferences to Solve Student-Class Allocation Problem. |
IDEAL |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Georg Gottlob, Gianluigi Greco, Bruno Marnette |
HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results. |
Graph Theory, Computational Intelligence and Thought |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang 0002 |
Weight Constraint Programs with Functions. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Sean A. Bittle, Mark S. Fox |
Learning and using hyper-heuristics for variable and value ordering in constraint satisfaction problems. |
GECCO (Companion) |
2009 |
DBLP DOI BibTeX RDF |
constrained heuristic search, variable and value ordering, constraint satisfaction, hyper-heuristics, soar |
15 | San-Tsai Sun, Kirstie Hawkey, Konstantin Beznosov |
Towards Enabling Web 2.0 Content Sharing beyond Walled Gardens. |
CSE (4) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Andrew Butterfield, Art Ó Catháin |
Concurrent Models of Flash Memory Device Behaviour. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Cédric Pralet, Gérard Verfaillie |
Slice Encoding for Constraint-Based Planning. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
15 | David A. Basin, Samuel J. Burri, Günter Karjoth |
Dynamic Enforcement of Abstract Separation of Duty Constraints. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Bodirsky, Miki Hermann, Florian Richoux |
Complexity of Existential Positive First-Order Logic. |
CiE |
2009 |
DBLP DOI BibTeX RDF |
Existential Positive First-Order Logic, Computational Complexity, Constraint Satisfaction Problems |
15 | Jules White, Brian Dougherty, Douglas C. Schmidt, David Benavides 0001 |
Automated reasoning for multi-step feature model configuration problems. |
SPLC |
2009 |
DBLP BibTeX RDF |
|
15 | Ali Nasrat Haidar, Ali E. Abdallah |
Abstractions of Web Services. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi 0001 |
Timed Automata Patterns. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Carlos Müller, Antonio Ruiz Cortés, Manuel Resinas |
An Initial Approach to Explaining SLA Inconsistencies. |
ICSOC |
2008 |
DBLP DOI BibTeX RDF |
Quality of Service, Debugging, Service Level Agreement, Consistency Checking, WS-Agreement |
15 | Hyun-Don Kim, Kazunori Komatani, Tetsuya Ogata, Hiroshi G. Okuno |
Design and evaluation of two-channel-based sound source localization over entire azimuth range for moving talkers. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Witzel |
Symmetric and Synchronous Communication in Peer-to-Peer Networks. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Hubie Chen, Florent R. Madelaine, Barnaby Martin |
Quantified Constraints and Containment Problems. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Venkatesan Guruswami, Rajsekar Manokaran, Prasad Raghavendra |
Beating the Random Ordering is Hard: Inapproximability of Maximum Acyclic Subgraph. |
FOCS |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 2636 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|