Search results for "CSP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Brendan P. Mahony, Jin Song Dong	Timed Communicating Object Z.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Software/system specification, real-time systems, formal methods, concurrency, CSP, object-oriented modeling, Z
22	Jing Liu, Jin Song Dong, Jing Sun 0002	TRMCS in TCOZ.	IWSSD	2000	DBLP BibTeX RDF	real-time modeling, formal specification, CSP, Z, TCOZ
22	Jan Peleska 0001	Test Automation for Safety-Critical Systems: Industrial Application and Future Developments.	FME	1996	DBLP DOI BibTeX RDF	test driver, test monitors, refinement, test generation, CSP, reactive systems, test oracles, FDR
22	Peter Aczel	Final Universes of Processes.	MFPS	1993	DBLP DOI BibTeX RDF	Final Universe, Process, CSP, Labelled, Transition System, CCS, Coalgebra
22	Ernst-Rüdiger Olderog	From Trace Specifications to Process Terms.	REX Workshop	1989	DBLP DOI BibTeX RDF	COSY, many-sorted first order logic, trace logic, process correctness, externally deterministic, modified readiness semantics, top-down construction, mixed terms, Milner's scheduling problem, communication, Petri nets, specification, transformations, safety, CSP, liveness, CCS, Concurrent processes
22	Ernst-Rüdiger Olderog	Strong bisimilarity on nets: a new concept for comparing net semantics.	REX Workshop	1988	DBLP DOI BibTeX RDF	Strong bisimilarity, labelled place/transitions nets, causal nets, process terms, COSY, operational and compositional net semantics, CSP, CCS, safeness
22	Luc Bougé, Nissim Francez	A Compositional Approach to Superimposition.	POPL	1988	DBLP DOI BibTeX RDF	CSP
22	Dániel Marx	Approximating fractional hypertree width.	SODA	2009	DBLP DOI BibTeX RDF
22	Miki Hermann, Florian Richoux	On the Computational Complexity of Monotone Constraint Satisfaction Problems.	WALCOM	2009	DBLP DOI BibTeX RDF
22	Motoaki Kawanabe, Carmen Vidaurre, Benjamin Blankertz, Klaus-Robert Müller	A Maxmin Approach to Optimize Spatial Filters for EEG Single-Trial Classification.	IWANN (1)	2009	DBLP DOI BibTeX RDF
22	Demian Antony D'Mello, V. S. Ananthanarayana	A tree structure for web service compositions.	Bangalore Compute Conf.	2009	DBLP DOI BibTeX RDF	service offer, QoS, composition, service selection
22	Peter Y. H. Wong, Jeremy Gibbons	Property Specifications for Workflow Modelling.	IFM	2009	DBLP DOI BibTeX RDF
22	Gábor Kun, Mario Szegedy	A new line of attack on the dichotomy conjecture.	STOC	2009	DBLP DOI BibTeX RDF	term operations, computational complexity, constraint satisfaction problems, fourier analysis, NP, dichotomy
22	Lin Wang 0038, Wee Keong Ng, Bing Song	Constraint Satisfaction Approach on Product Configuration with Cost Estimation.	IEA/AIE	2009	DBLP DOI BibTeX RDF	Constraint satisfaction problem, Cost estimation, Product family, Mass customization, Product configuration
22	Joaquín Bautista, Jordi Pereira, Belarmino Adenso-Díaz	A Beam Search approach for the optimization version of the Car Sequencing Problem.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Car sequencing problem, Scheduling, Beam search
22	Juha Partala, Tapio Seppänen	On the conjugacy search problem and left conjugacy closed loops.	Appl. Algebra Eng. Commun. Comput.	2008	DBLP DOI BibTeX RDF	Conjugacy search, Non-associative, Cryptography, Key exchange, Conjugacy problem
22	Jo Ueyama, Edmundo Roberto Mauro Madeira, Paul Grace	FlexPar: Reconfigurable Middleware for Parallel Environments.	ISORC	2008	DBLP DOI BibTeX RDF
22	Kazunori Mizuno, Yukio Fukui, Seiichi Nishihara	Urban Traffic Signal Control Based on Distributed Constraint Satisfaction.	HICSS	2008	DBLP DOI BibTeX RDF
22	Yuechang Liu, Yunfei Jiang, Hong Qian	Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal Problems.	TIME	2008	DBLP DOI BibTeX RDF
22	Yuanlin Zhang 0002, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti	An Elimination Algorithm for Functional Constraints.	CP	2008	DBLP DOI BibTeX RDF
22	Manuel Bodirsky, Jan Kára	The complexity of temporal constraint satisfaction problems.	STOC	2008	DBLP DOI BibTeX RDF	complexity, constraint satisfaction, temporal reasoning
22	Jinlin Chen, Terry Cook	Mining contiguous sequential patterns from web logs.	WWW	2007	DBLP DOI BibTeX RDF	contiguous sequential pattern, web usage mining, sequential pattern
22	Kazunori Mizuno, Seiichi Nishihara	Distributed Constraint Satisfaction for Urban Traffic Signal Control.	KSEM	2007	DBLP DOI BibTeX RDF
22	Gábor Kun, Jaroslav Nesetril	NP by Means of Lifts and Shadows.	MFCS	2007	DBLP DOI BibTeX RDF	duality, Constraint Satisfaction Problem, homomorphism, Digraph, NP
22	Yuki Yokoe, Yoshimichi Ito, Noboru Babaguchi	Audio-Based Estimation of Speakers Directions for Multimedia Meeting Logs.	ICME	2007	DBLP DOI BibTeX RDF
22	Thomas Ruhroth, Heike Wehrheim	Refactoring Object-Oriented Specifications with Data and Processes.	FMOODS	2007	DBLP DOI BibTeX RDF
22	Alfonso Gerevini, Alessandro Saetti	Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure.	CP	2007	DBLP DOI BibTeX RDF
22	Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini	Finite Model Reasoning on UML Class Diagrams Via Constraint Programming.	AI*IA	2007	DBLP DOI BibTeX RDF
22	Simon J. E. Taylor, Xiaoguang Wang 0002, Stephen John Turner, Malcolm Y. H. Low	Integrating Heterogeneous Distributed COTS Discrete-Event Simulation Packages: An Emerging Standards-Based Approach.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF
22	David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith	Symmetry Definitions for Constraint Satisfaction Problems.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Symmetry, Constraint satisfaction problems
22	Franco Tommasi, Simone Molendini, Andrea Tricco	Network Management via Satellite.	NOMS	2006	DBLP DOI BibTeX RDF
22	Jian Feng Zhang, Ryszard Kowalczyk	Agent-based Dis-graph Planning Algorithm for Web Service Composition.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
22	Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny	Towards an Algebra of Abstractions for Communicating Processes.	ACSD	2006	DBLP DOI BibTeX RDF
22	Su Chen, Tomasz Imielinski, Karin Johnsgard, Donald Smith, Mario Szegedy	A Dichotomy Theorem for Typed Constraint Satisfaction Problems.	SAT	2006	DBLP DOI BibTeX RDF
22	Xiaofeng Wu, Vassilios A. Chouliaras, José L. Núñez-Yáñez, Roger Goodall, Tanya Vladimirova	A Novel Processor Architecture for Real-Time Control.	Asia-Pacific Computer Systems Architecture Conference	2006	DBLP DOI BibTeX RDF
22	Ryota Tomioka, Guido Dornhege, Guido Nolte, Kazuyuki Aihara, Klaus-Robert Müller	Optimizing Spectral Filters for Single Trial EEG Classification.	DAGM-Symposium	2006	DBLP DOI BibTeX RDF
22	Xue Wang 0001, Sheng Wang 0010	Peer-to-Peer Collaborative Signal Processing for Target Tracking in Wireless Sensor Networks.	GCC	2006	DBLP DOI BibTeX RDF
22	Johannes Faber, Roland Meyer 0001	Model Checking Data-Dependent Real-Time Properties of the European Train Control System.	FMCAD	2006	DBLP DOI BibTeX RDF
22	Peter H. Welch, Fred R. M. Barnes, Fiona Polack	Communicating Complex Systems.	ICECCS	2006	DBLP DOI BibTeX RDF
22	Hubie Chen	Periodic Constraint Satisfaction Problems: Tractable Subclasses.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	periodic problems, polynomial-time algorithms
22	Jifeng He 0001, C. A. R. Hoare	Linking Theories of Concurrency.	ICTAC	2005	DBLP DOI BibTeX RDF
22	André Trudel, Haiyi Zhang	Exploiting the Relationship between IA Networks and Finite Domain CSPs.	TIME	2005	DBLP DOI BibTeX RDF
22	David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith	Symmetry Definitions for Constraint Satisfaction Problems.	CP	2005	DBLP DOI BibTeX RDF
22	Gustav Hast	Beating a Random Assignment.	APPROX-RANDOM	2005	DBLP DOI BibTeX RDF
22	Heiko Rossnagel, Denis Royer	Making Money with Mobile Qualified Electronic Signatures.	TrustBus	2005	DBLP DOI BibTeX RDF
22	Malek Mouhoub	Reasoning with Numeric and Symbolic Time Information.	Artif. Intell. Rev.	2004	DBLP DOI BibTeX RDF	constraint satisfaction techniques, scheduling, approximation algorithms, planning, temporal reasoning
22	S. Braathen, O. J. Sendstad	A hybrid fuzzy logic/constraint satisfaction problem approach to automatic decision making in simulation game models.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
22	David A. Cohen	Tractable Decision for a Constraint Language Implies Tractable Search.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	complexity, language, tractability
22	Andrei A. Bulatov	A Graph of a Relational Structure and Constraint Satisfaction Problems.	LICS	2004	DBLP DOI BibTeX RDF
22	Ryan Williams 0001	A New Algorithm for Optimal Constraint Satisfaction and Its Implications.	ICALP	2004	DBLP DOI BibTeX RDF
22	Ying Xiao 0001, Krishnaiyan Thulasiraman, Guoliang Xue	The Primal Simplex Approach to the QoS Routing Problem.	QSHINE	2004	DBLP DOI BibTeX RDF
22	Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier	How to Verify Dynamic Properties of Information Systems.	SEFM	2004	DBLP DOI BibTeX RDF
22	Peter Triantafillou, Ioannis Aekaterinidis	Web Proxy Cache Replacement: Do's, Don'ts, and Expectations.	NCA	2003	DBLP DOI BibTeX RDF
22	Mihaela Sabin, Eugene C. Freuder, Richard J. Wallace	Greater Efficiency for Conditional Constraint Satisfaction.	CP	2003	DBLP DOI BibTeX RDF
22	Tomas Eric Nordlander, Kenneth N. Brown, Derek H. Sleeman	Identifying Inconsistent CSPs by Relaxation.	CP	2003	DBLP DOI BibTeX RDF
22	Hubie Chen	Periodic Constraint Satisfaction Problems: Polynomial-Time Algorithms.	CP	2003	DBLP DOI BibTeX RDF
22	David G. Mitchell	Resolution and Constraint Satisfaction.	CP	2003	DBLP DOI BibTeX RDF
22	Alexandre Mota 0001, Paulo Borba, Augusto Sampaio	Mechanical Abstraction of CSPZ Processes.	FME	2002	DBLP DOI BibTeX RDF
22	Boi Faltings, Santiago Macho-Gonzalez	Open Constraint Satisfaction.	CP	2002	DBLP DOI BibTeX RDF
22	Aditya Ghose, Peter Harvey	Metric SCSPs: Partial Constraint Satisfaction via Semiring CSPs Augmented with Metrics.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
22	Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante	An Integrated Approach to Specification and Validation of Real-Time Systems.	FME	2001	DBLP DOI BibTeX RDF
22	Uwe Schöning	A Probabilistic Algorithm for k-SAT and Constraint Satisfaction Problems.	FOCS	1999	DBLP DOI BibTeX RDF	satisfiability, constraint satisfaction problem, local-search algorithm, k-SAT
22	Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano, Massimo Piccardi	3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction.	ICIAP	1999	DBLP DOI BibTeX RDF
22	Ali E. Abdallah	Synthesis of Massively Pipelined Algorithms for List Manipulation.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF
22	R. Govindarajan, Sheng Yu 0001	Data Flow Implementation of Generalized Guarded Commands.	PARLE (1)	1991	DBLP DOI BibTeX RDF
22	Valérie Issarny	Design and Implementation of an Exception Handling Mechanism for Communicating Sequential Processes.	CONPAR	1990	DBLP DOI BibTeX RDF
22	Luc Bougé	On the Existence of Generic Broadcast Algorithms in Networks of Communicating Sequential Processes (Extended Abstract).	WDAG	1987	DBLP DOI BibTeX RDF
21	Mohd Fadzil Hassan 0001, Dave Robertson 0001	Addressing the Brittleness of Agent Interaction.	PRIMA	2008	DBLP DOI BibTeX RDF	Brittle agent interaction, constraint relaxation for agent interaction, Distributed Partial CSP for computation of agent interaction
21	Lucian Leahu, Carla P. Gomes	Quality of LP-Based Approximations for Highly Combinatorial Problems.	CP	2004	DBLP DOI BibTeX RDF	hybrid LP/CSP, approximations, phase transition, search heuristics
21	Amnon Meisels, Natalia Lusternik	Experiments on Networks of Employee Timetabling Problems.	PATAT	1997	DBLP DOI BibTeX RDF	Employee Timetabling, Experimental CSP, Non binary constraints, Constraint Networks
21	J. C. Tay, S. Y. Huang, Hiok Chai Quek	CSL (Part II): Modelling General N-ary, Logical CSPs.	ICTAI	1997	DBLP DOI BibTeX RDF	CSL algebra, constraint specification language, n-ary logical constraint satisfaction problem, executable data structures, binary CSP algorithms, design, compiler, implementation, constraint handling
21	Georgios Theodoropoulos 0001, J. V. Woods	Simulating Asynchronous Architectures on Transputer Networks.	PDP	1996	DBLP DOI BibTeX RDF	asynchronous architecture simulation, asynchronous design techniques, clock related timing problems, CSP based parallel language, asynchronous architectural simulation models, parallel architectures, logic design, asynchronous circuits, circuit analysis computing, parallel languages, Occam, Occam, asynchronous logic, transputer systems, transputer networks
21	Richard N. Taylor, David L. Levine, Cheryl D. Kelly	Structural Testing of Concurrent Programs.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	structural testing techniques, structural testing criteria, concurrency state coverage, state transition coverage, synchronization coverage, static concurrency analyzer, program transformation system, powerful run-time monitor, controllable run-time scheduler, CSP-like languages, static naming, tasking objects, scheduling, parallel programming, Ada, concurrency control, software metrics, program testing, concurrent programs, support tools, sequential programs
21	Leo Yuhsiang Liu, R. K. Shyamasundar	Static Analysis of Real-Time Distributed Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	maximal parallelism model, parallel actions, temporal errors, CSP programs, software engineering, real-time systems, parallel programming, static analysis, distributed processing, programs, programming languages, reasoning, deadlocks, terminations, failures, livelocks, timing properties, real-time distributed systems, temporal behaviors
20	Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara	Compiling finite linear CSP into SAT.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	SAT encoding, Open-shop scheduling problems, Constraint satisfaction problems
20	Peter Nightingale	Non-binary quantified CSP: algorithms and modelling.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	QCSP, Quantified constraints, Reasoning algorithm, Modelling, Propagation algorithm
20	Allan I. McInnes	Using CSP to Model and Analyze TinyOS Applications.	ECBS	2009	DBLP DOI BibTeX RDF
20	Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà	Sequential Encodings from Max-CSP into Partial Max-SAT.	SAT	2009	DBLP DOI BibTeX RDF
20	Adriana Damasceno, Adalberto Farias, Alexandre Mota 0001	A Mechanized Strategy for Safe Abstraction of CSP Specifications.	SBMF	2009	DBLP DOI BibTeX RDF
20	Wen Su, Fan Yang, Huibiao Zhu, Qin Li 0002	Modeling MapReduce with CSP.	TASE	2009	DBLP DOI BibTeX RDF
20	Temesghen Kahsai, Markus Roggenbach	Property Preserving Refinement for Csp-Casl.	WADT	2008	DBLP DOI BibTeX RDF
20	Jinzhao Wu, Shihan Yang	Timed CSP for Safety Specification of Hybrid System.	ICYCS	2008	DBLP DOI BibTeX RDF
20	Stefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson	A New CSP Operator for Optional Parallelism.	CSSE (2)	2008	DBLP DOI BibTeX RDF
20	Ronald Poppe, Mannes Poel	Discriminative human action recognition using pairwise CSP classifiers.	FG	2008	DBLP DOI BibTeX RDF
20	Abigail Parisaca Vargas, Silvia Lizeth Tapia Tarifa, Chris George	A Translation from RSL to CSP.	SCCC	2008	DBLP DOI BibTeX RDF
20	Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob	A CSP model of Eiffel's SCOOP.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	SCOOP, Formal methods, Concurrency, Programming languages, Eiffel
20	Dániel Varró, Márk Asztalos, Dénes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell	Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools.	AGTIVE	2007	DBLP DOI BibTeX RDF
20	Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans	Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.	IFM	2007	DBLP DOI BibTeX RDF
20	Lilian Janin, Doug Edwards	CSP Transactors for Asynchronous Transaction Level Modeling and IP Reuse.	ICCSA (3)	2007	DBLP DOI BibTeX RDF
20	Marco Gavanelli	The Log-Support Encoding of CSP into SAT.	CP	2007	DBLP DOI BibTeX RDF
20	Peter Gregory, Derek Long, Maria Fox 0001	A Meta-CSP Model for Optimal Planning.	SARA	2007	DBLP DOI BibTeX RDF
20	Wing Lok Yeung, Ji Wang 0001, Wei Dong 0006	Verifying Choreographic Descriptions of Web Services Based on CSP.	SCW	2006	DBLP DOI BibTeX RDF
20	Madalina Ionita, Cornelius Croitoru, Mihaela Breaban	Incorporating Inference into Evolutionary Algorithms for Max-CSP.	Hybrid Metaheuristics	2006	DBLP DOI BibTeX RDF
20	Siraj A. Shaikh, Christos K. Dimitriadis	Analysing a Biometric Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions.	SPC	2006	DBLP DOI BibTeX RDF
20	Mohand Ou Idir Khemmoudj, Hachemi Bennaceur	Clique Inference Process for Solving Max-CSP.	CP	2006	DBLP DOI BibTeX RDF
20	Philippe Jégou, Samba Ndiaye, Cyril Terrioux	An Extension of Complexity Bounds and Dynamic Heuristics for Tree-Decompositions of CSP.	CP	2006	DBLP DOI BibTeX RDF
20	Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara	Compiling Finite Linear CSP into SAT.	CP	2006	DBLP DOI BibTeX RDF
20	Vibhav Gogate, Rina Dechter	A New Algorithm for Sampling CSP Solutions Uniformly at Random.	CP	2006	DBLP DOI BibTeX RDF
20	Marco Benedetti, Arnaud Lallouet, Jérémie Vautard	Reusing CSP Propagators for QCSPs.	CSCLP	2006	DBLP DOI BibTeX RDF	QCSP, Quantified Languages
20	Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider	Specifying Authentication Using Signal Events in CSP.	CISC	2005	DBLP DOI BibTeX RDF