Search results for "CSP"

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