Search results for "constraints"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Fabio Casati, Silvana Castano, Maria Grazia Fugini	Managing Workflow Authorization Constraints through Active Database Technology.	Inf. Syst. Frontiers	2001	DBLP DOI BibTeX RDF	workflows, authorizations, roles, active databases, triggers, authorization constraints
19	Xuan Liu, Shashi Shekhar, Sanjay Chawla	Consistency checking for Euclidean spatial constraints: a dimension graph approach.	ICTAI	2000	DBLP DOI BibTeX RDF	Euclidean spatial constraints, dimension graph approach, graph cycle detection, spatial predicates, two-dimensional space, computational complexity, computational geometry, transforms, polygons, consistency checking, intervals, space complexity, spatial objects
19	Vittorio Brusoni, Luca Console, Paolo Terenziani, Barbara Pernici	Qualitative and Quantitative Temporal Constraints and Relational Databases: Theory, Architecture, and Applications.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	temporal relational databases, temporal constraint propagation, qualitative and quantitative temporal constraints, Artificial intelligence, integration, temporal reasoning
19	F. J. Daniels, Kuo-Chung Tai	Measuring the Effectiveness of Method Test Sequences Derived from Sequencing Constraints.	TOOLS (30)	1999	DBLP DOI BibTeX RDF	Object-oriented intra-class testing, Method sequences, Sequencing constraints
19	Anne H. H. Ngu	Specification of Cooperative Constraints in Virtual Enterprise Workflow.	RIDE	1999	DBLP DOI BibTeX RDF	Workflows, Virtual Enterprise, Constraints Specification
19	Martin Müller, Susumu Nishimura	Type Inference for First-Class Messages with Feature Constraints.	ASIAN	1998	DBLP DOI BibTeX RDF	first-class messages, feature constraints, complexity, object-oriented programming, constraint-based type inference
19	Vera Pless	Constraints on Weights in Binary Codes.	Appl. Algebra Eng. Commun. Comput.	1997	DBLP DOI BibTeX RDF	Singly-even, Doubly-even, Constraints, Weights
19	Gabriella Convertino, Ettore Stella, Antonella Branca, Arcangelo Distante	Optic flow estimation by a Hopfield neural network using geometrical constraints.	Mach. Vis. Appl.	1997	DBLP DOI BibTeX RDF	Trajectory geometric constraints, Optical flow, Hopfield neural network, Features Matching
19	Ann Q. Gates, C. Kubo Della-Piana	The identification of integrity constraints in requirements for context monitoring.	ECBS	1997	DBLP DOI BibTeX RDF	application-specific knowledge, specialized knowledge, software engineering, formal specification, requirements, integrity constraints, development team, context monitoring
19	Guy W. Mineau, Rokia Missaoui	The Representation of Semantic Constraints in Conceptual Graph Systems.	ICCS	1997	DBLP DOI BibTeX RDF	conceptual graph theory, semantics, semantic constraints
19	Minsoo Ryu, Seongsoo Hong, Manas Saksena	Streamlining real-time controller design: From performance specifications to end-to-end timing constraints.	IEEE Real Time Technology and Applications Symposium	1997	DBLP DOI BibTeX RDF	real-time controller design, performance specifications, end-to-end timing constraints, control theoretic approach, schedulability constraint, control output responses, steady state error maximum overshoot, rise time, loop processing periods, input-to-output latency, heuristic optimization algorithm, embedded real-time controller, period calibration method, real-time systems, performance requirements, control performance, real-time control system, temporal requirements, settling time
19	Javier Orozco, Ricardo Cayssials, Jorge Santos 0002, Edgardo Ferro	Precedence constraints in hard real-time distributed systems.	ICECCS	1997	DBLP DOI BibTeX RDF	hard real-time distributed systems, multitask-multiprocessor systems, taxonomic genus, tentative assignment, formally proved method, tentative assignments, real-time systems, NP-complete problem, precedence constraints
19	Rajesh K. Gupta 0001	A framework for interactive analysis of timing constraints in embedded systems.	CODES	1996	DBLP DOI BibTeX RDF	constraint satisfiability, performance evaluation, real-time systems, embedded systems, timing, computability, logic design, satisfiability, timing constraints, interactive analysis, timing performance
19	Jocelyne Farhat-Gissler, Isabelle M. Demeure	Automatic Scheduling of Applications with Temporal QoS Constraints: A Case Study.	EUROMICRO	1996	DBLP DOI BibTeX RDF	automatic scheduling, temporal QoS constraints, scheduling framework, geostationary satellite application, cooperative scheduling system, scheduling scenarios, software quality, dependency graphs
19	Jan Chomicki	Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding.	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF	temporal logic, temporal databases, integrity constraints, active databases, database integrity, triggers, real-time databases
19	Demetri Terzopoulos, Hong Qin 0001	Dynamic NURBS with geometric constraints for interactive sculpting.	ACM Trans. Graph.	1994	DBLP DOI BibTeX RDF	cross-sectional shape design, optimal curve and surface fitting, shape metamorphosis, solid rounding, constraints, dynamics, deformable models, finite elements, NURBS, free-form deformation, CAGD, trimming
19	Udo W. Lipeck	Transformation of Dynamic Integrity Constraints into Transaction Specifications.	ICDT	1988	DBLP DOI BibTeX RDF	pre/postconditions, constraint simplification, integrity, monitoring, temporal logic, transactions, dynamic constraints, transition graphs
19	Anthony C. Klug	Calculating Constraints on Relational Expressions.	ACM Trans. Database Syst.	1980	DBLP DOI BibTeX RDF	eompleteness, constraints, Views, functional dependencies, derivation rules
19	Tiziana Ligorio, Susan L. Epstein	Partial Redundant Modeling.	CP	2005	DBLP DOI BibTeX RDF
19	C. E. Miller, Albert W. Tucker, R. A. Zemlin	Integer Programming Formulation of Traveling Salesman Problems.	J. ACM	1960	DBLP DOI BibTeX RDF
18	Guilan Dai, Rujuan Liu, Chongchong Zhao, Changjun Hu	Timing Constraints Specification and Verification for Web Service Compositions.	APSCC	2008	DBLP DOI BibTeX RDF
18	Ravi D. Shankar, Susana B. Martins, Martin J. O'Connor, David B. Parrish, Amar K. Das	Representing and Reasoning with Temporal Constraints in Clinical Trials Using Semantic Technologies.	BIOSTEC (Selected Papers)	2008	DBLP DOI BibTeX RDF	Ontology, Semantic Web, OWL, temporal reasoning, clinical trials, biomedical informatics
18	Yi Hong 0002, Sam Kwong, Hui Xiong 0001, Qingsheng Ren	Genetic-guided semi-supervised clustering algorithm with instance-level constraints.	GECCO	2008	DBLP DOI BibTeX RDF	genetic algorithms, semi-supervised clustering
18	Sami Al-Maqtari, Habib Abdulrab	Controller Agents for Constraints Solving: Implementation and Use of CACS Prototype.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
18	Shinichi Koda, Chikaaki Kodama, Kunihiro Fujiyoshi	Linear Programming-Based Cell Placement With Symmetry Constraints for Analog IC Layout.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
18	Martin Sachenbacher, Brian C. Williams	Conflict-Directed A* Search for Soft Constraints.	CPAIOR	2006	DBLP DOI BibTeX RDF
18	Mira Balaban, Azzam Maraee	Consistency of UML Class Diagrams with Hierarchy Constraints.	NGITS	2006	DBLP DOI BibTeX RDF
18	Donglin Liu, Xiaobo Sharon Hu, Michael D. Lemmon, Qiang Ling	Scheduling Tasks with Markov-Chain Based Constraints.	ECRTS	2005	DBLP DOI BibTeX RDF
18	Yongzhi Liu, Qiyue Zou, Zhiping Lin 0001	Generalized sidelobe cancellers with leakage constraints.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
18	Karsten Sohr, Gail-Joon Ahn, Martin Gogolla, Lars Migge	Specification and Validation of Authorisation Constraints Using UML and OCL.	ESORICS	2005	DBLP DOI BibTeX RDF
18	Unil Yun, John J. Leggett	WLPMiner: Weighted Frequent Pattern Mining with Length-Decreasing Support Constraints.	PAKDD	2005	DBLP DOI BibTeX RDF
18	Krishna Gade, Jianyong Wang 0001, George Karypis	Efficient closed pattern mining in the presence of tough block constraints.	KDD	2004	DBLP DOI BibTeX RDF	block constraint, tough constraint, closed pattern
18	Sanja Petrovic, Vijay Patel, Yong Yang 0004	Examination Timetabling with Fuzzy Constraints.	PATAT	2004	DBLP DOI BibTeX RDF
18	Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh	Disjoint, Partition and Intersection Constraints for Set and Multiset Variables.	CP	2004	DBLP DOI BibTeX RDF
18	Hongchen Li, Yun Yang 0001	Verification of Temporal Constraints for Concurrent Workflows.	APWeb	2004	DBLP DOI BibTeX RDF
18	Hua Wang 0002, Yanchun Zhang, Jinli Cao, Jian Yang	Specifying Role-Based Access Constraints with Object Constraint Language.	APWeb	2004	DBLP DOI BibTeX RDF
18	Joachim Biskup, Torsten Polle	Adding inclusion dependencies to an object-oriented data model with uniqueness constraints.	Acta Informatica	2003	DBLP DOI BibTeX RDF
18	Markus Bohlin	Improving Cost Calculations for Global Constraints in Local Search.	CP	2002	DBLP DOI BibTeX RDF
18	Lih-Yang Wang, Yen-Tai Lai	Graph-theory-based simplex algorithm for VLSI layout spacingproblems with multiple variable constraints.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
18	Wenfei Fan, Leonid Libkin	On XML Integrity Constraints in the Presence of DTDs. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
18	Calvin Ko, Paul Brutch, Jeff Rowe, Guy Tsafnat, Karl N. Levitt	System Health and Intrusion Monitoring Using a Hierarchy of Constraints.	Recent Advances in Intrusion Detection	2001	DBLP DOI BibTeX RDF
18	Gail-Joon Ahn, Michael E. Shin	Role-Based Authorization Constraints Specification Using Object Constraint Language.	WETICE	2001	DBLP DOI BibTeX RDF
18	Hideki Sato, Akifumi Makinouchi	Temporal Constraints for Object Migration and Behavior Modeling Using Colored Petri Nets.	ER	2000	DBLP DOI BibTeX RDF
18	Nikos Canterakis	A Minimal Set of Constraints for the Trivocal Tensor.	ECCV (1)	2000	DBLP DOI BibTeX RDF
18	Philippe Blache	Constraints, Linguistic Theories and Natural Language Processing.	Natural Language Processing	2000	DBLP DOI BibTeX RDF
18	Aaron G. Cass, Leon J. Osterweil	Design Guidance through the Controlled Application of Constraints.	IWSSD	2000	DBLP BibTeX RDF
18	Joachim Niehren, Martin Müller 0001, Jean-Marc Talbot	Entailment of Atomic Set Constraints is PSPACE-Complete.	LICS	1999	DBLP DOI BibTeX RDF
18	Guy W. Mineau	Constraints on Processes: Essential Elements for the Validation and Execution of Processes.	ICCS	1999	DBLP DOI BibTeX RDF
18	Peter J. Stuckey, S. Sudarshan 0001	Compiling Query Constraints.	PODS	1994	DBLP DOI BibTeX RDF
18	Alexander Brodsky 0001, Yehoshua Sagiv	Inference of Monotonicity Constraints in Datalog Programs.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
18	James P. Delgrande	Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints.	PODS	1987	DBLP DOI BibTeX RDF
18	Victor Vianu	Dynamic Constraints and Database Evolution.	PODS	1983	DBLP DOI BibTeX RDF
18	Roman Barták, Roman Mecl	Implementing Propagators for Tabular Constraints.	CSCLP	2003	DBLP DOI BibTeX RDF
18	Stefano Bistarelli, Jerome Kelleher, Barry O'Sullivan	Tradeoff Generation Using Soft Constraints.	CSCLP	2003	DBLP DOI BibTeX RDF
18	Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou	Towards Automated Reasoning on the Properties of Numerical Constraints.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
18	Waltraud Huyer, Arnold Neumaier	SNOBFIT - Stable Noisy Optimization by Branch and Fit.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	derivative-free, expensive function values, hidden constraints, noisy function values, Branch-and-bound, soft constraints, surrogate model, parallel evaluation
18	Deborah East, Miroslaw Truszczynski	Predicate-calculus-based logics for modeling and solving search problems.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	pseudo-Boolean constraints, constraints, Satisfiability, search problems, predicate logic
18	Chi-Min Lin, Tien-Fu Chen	Dynamic memory management for real-time embedded Java chips.	RTCSA	2000	DBLP DOI BibTeX RDF	storage management chips, dynamic runtime memory management, real-time embedded Java chips, CPU design, hardware-assisted scheme, dynamic garbage collection mechanism, predictable memory allocation time, data transition events, circular heap, simulation, Java, embedded systems, response time, memory architecture, memory architecture, storage allocation, coprocessors, resource constraints, real-time constraints, co-processor
18	Malek Mouhoub	Reasoning about numeric and symbolic time information.	ICTAI	2000	DBLP DOI BibTeX RDF	symbolic time information, numeric time information, TemPro, qualitative temporal constraints, quantitative temporal constraints, scheduling, scheduling, real-time systems, natural language processing, planning (artificial intelligence), planning, natural languages, reasoning, temporal reasoning, temporal reasoning, real time applications, constraint propagation, constraint handling, temporal model, constraint theory, interval algebra
18	Denis Dion Jr., Denis Laurendeau, Robert Bergevin	Generalized Cylinders Extraction in a Range Image.	3DIM	1997	DBLP DOI BibTeX RDF	generalized cylinder extraction, right generalized cylinders, straightness constraints, homogeneity constraints, axis point extraction, axis curve representation, three dimensional object modeling, image segmentation, solid modelling, range image, 3D object modeling, cross-section
18	Jürgen Teich, Tobias Blickle, Lothar Thiele	An evolutionary approach to system-level synthesis.	CODES	1997	DBLP DOI BibTeX RDF	architecture selection, cost constraints, graph-based mapping model, heterogeneous hardware/software architecture, optimal mapping, performance constraints, task-level specification mapping, video-codec implementations, genetic algorithms, scheduling, memories, ASICs, design space exploration, allocation, optimization problem, binding, buses, system-level synthesis, evolutionary approach, algorithm mapping, general-purpose processors, dedicated processors
18	Michel Raynal, Gérard Thia-Kime, Mustaque Ahamad	From serializable to causal transactions for collaborative applications.	EUROMICRO	1997	DBLP DOI BibTeX RDF	serializable transactions, causal transactions, decentralized distributed systems, shared distributed objects, consistency criteria, execution behaviour, failure atomicity, long-lived objects, causal serializability, service quality constraints, fault tolerance, performance, protocols, groupware, availability, cooperative work, autonomy, collaborative applications, concurrent access, operating system support, synchronization constraints, causal consistency
18	Ari Rappoport, Alla Sheffer, Michel Bercovier	Volume-Preserving Free-Form Solids.	IEEE Trans. Vis. Comput. Graph.	1996	DBLP DOI BibTeX RDF	Free-form solids, free-form deformations (FFD), continuity constraints, Uzawa's algorithm, physics-based modeling, volume preservation, energy constraints
18	Ismael Ripoll, Ana García-Fornes, Alfons Crespo	Optimal aperiodic scheduling for dynamic-priority systems.	RTCSA	1996	DBLP DOI BibTeX RDF	optimal aperiodic scheduling, dynamic-priority systems, soft real-time constraints, hard real-time constraints, on-line aperiodic admission algorithm, optimal dynamic priority preemptive scheduler, shortest response time, soft aperiodic tasks, dynamic priority schedulers, firm deadline aperiodic tasks, real-time systems, fixed priority schedulers
18	Lina J. Karam, Christine Podilchuk	Chroma coding for video at very low bit rates.	ICIP	1995	DBLP DOI BibTeX RDF	luminance-chrominance coordinate space, very low bit rate video coding systems, chroma coding, coded luminance data, color motion video, fixed frame constraints, bit rate constraints, hybrid waveform coding technique, model-based component, head-and-shoulders sequence, 8 to 40 kbit/s, compression, data compression, image sequences, video coding, image colour analysis
18	Nikolaos D. Sidiropoulos, John S. Baras, Carlos Alberto Berenstein	On morphological openings and closings of signals in shaped noise.	ICIP	1995	DBLP DOI BibTeX RDF	morphological closings, shaped noise, morphologically smooth binary image signals, IID union noise, IID union clutter, IID random dropouts, morphological constraints, image processing, noise, mathematical morphology, maximum likelihood estimation, filtering theory, geometric constraints, clutter, MAP estimators, morphological filter, noise model, geometric structure, morphological openings
18	Kwok-Wa Lam, Kam-yiu Lam, Sheung-lun Hung	Real-time optimistic concurrency control protocol with dynamic adjustment of serialization order.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time optimistic concurrency control protocol, serialization order dynamic adjustment, nonserious conflicting transactions, backward-adjustment, committing transactions, transaction restarts elimination, conflict constraints, serialization constraints, read phase, priority conflict resolution methods, Thomas's write rule, real-time systems, concurrency control, transaction processing, database theory, access protocols
18	Ashish Mehra, Jennifer Rexford, Hock-Siong Ang, Farnam Jahanian	Design and evaluation of a window-consistent replication service.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	back-up procedures, window-consistent primary-backup replication service, data replication protocols, bounded overhead, repository availability, consistency relaxation, controlled inconsistency, update transmission scheduling, client applications, failed primary, client loads, temporal inconsistency bounds, scheduling, fault tolerance, real-time systems, data integrity, distributed databases, timing, redundancy, redundancy, database theory, timing constraints, software fault tolerance, real-time applications, replicated databases, service guarantees, dependability constraints
18	Joaquim A. Jorge, Ephraim P. Glinert	Online Parsing of Visual Languages Using Adjacency Grammars.	VL	1995	DBLP DOI BibTeX RDF	online parsing, diagram-like visual languages, adjacency grammars, visual computing environments, incremental parsing algorithm, overlapping elements, logical constraints, linear run-times, large visual sentences, visual languages, diagrams, programming theory, graph grammars, spatial constraints, online operation, top-down methods, bottom-up methods
18	Ernst D. Dickmanns, Birger D. Mysliwetz	Recursive 3-D Road and Relative Ego-State Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	recursive 3D road curvature recognition, Intel 386, ego-state recognition, differential geometry representation, Intel 80286, VaMoRs, pattern recognition, computer vision, computer vision, computational geometry, computerised pattern recognition, temporal constraints, computerised navigation, computerised navigation, spatio-temporal model, spatial constraints, road vehicles
18	E. Jane Cameron, David M. Cohen, B. Gopinath, William M. Keese II, Linda A. Ness, Prem Uppaluru, John R. Vollaro	The IC* Model of Parallel Computation and Programming Environment.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	IC* project, structural constraints, explicit modeling, nondeterministic evolution, dynamic activation, distributed systems, design, parallel processing, parallel computation, parallel computer, protocols, specification, programming environment, programming environments, parallel machines, communication protocols, temporal constraints
17	Jie Chen 0003, Bin Xin 0002, Zhihong Peng, LiHua Dou, Juan Zhang	Evolutionary decision-makings for the dynamic weapon-target assignment problem.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	dynamic weapon-target assignment (DWTA), military command and control, evolutionary computation, decision-making, memetic algorithms, constraints handling
17	Lin Fu, Yuexian Hou	Using Non-extensive Entropy for Text Classification.	ICIC (1)	2009	DBLP DOI BibTeX RDF	Non-extensive entropy, High-level constraints, Text classification
17	Ronan Cummins, Colm O'Riordan	Measuring constraint violations in information retrieval.	SIGIR	2009	DBLP DOI BibTeX RDF	information retrieval, constraints, axioms
17	Michael D. Moffitt, Jarrod A. Roy, Igor L. Markov, Martha E. Pollack	Constraint-driven floorplan repair.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	constraints, Floorplanning, legalization
17	Thibaut Feydy, Andreas Schutt, Peter J. Stuckey	Global difference constraint propagation for finite domain solvers.	PPDP	2008	DBLP DOI BibTeX RDF	difference logic, propagation, global constraints
17	James P. Davis, Ronald D. Bonnell	Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Unified Modeling Language, constraints, Conceptual modeling, knowledge engineering, agent-oriented software engineering, object-oriented analysis, Boolean logic
17	Haoxing Ren, David Z. Pan, Charles J. Alpert, Gi-Joon Nam, Paul G. Villarrubia	Hippocrates: First-Do-No-Harm Detailed Placement.	ASP-DAC	2007	DBLP DOI BibTeX RDF	synthesis optimizations, Hippocrates, first-do-no-harm detailed placement, pin-based timing constraint, electrical constraints, reduced wire-length
17	Jin Huang 0001, Xiaohan Shi, Xinguo Liu, Kun Zhou 0001, Li-Yi Wei, Shang-Hua Teng, Hujun Bao, Baining Guo, Heung-Yeung Shum	Subspace gradient domain mesh deformation.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	projection constraint, skeletal control, volume preservation, nonlinear constraints
17	Nizar Grira, Michel Crucianu, Nozha Boujemaa	Active semi-supervised fuzzy clustering for image database categorization.	Multimedia Information Retrieval	2005	DBLP DOI BibTeX RDF	image database categorization, semi-supervised clustering, pairwise constraints
17	Vijayalakshmi Atluri, Janice Warner	Supporting conditional delegation in secure workflow management systems.	SACMAT	2005	DBLP DOI BibTeX RDF	workflow, constraints, delegation
17	Hui Fang 0001, Tao Tao, ChengXiang Zhai	A formal study of information retrieval heuristics.	SIGIR	2004	DBLP DOI BibTeX RDF	TF-IDF weighting, constraints, formal models, retrieval heuristics
17	Laks V. S. Lakshmanan, Carson Kai-Sang Leung, Raymond T. Ng	Efficient dynamic mining of constrained frequent sets.	ACM Trans. Database Syst.	2003	DBLP DOI BibTeX RDF	limited buffer space, data mining, constraints, Association rules, frequent sets, dynamic changes
17	Stephan Flake, Wolfgang Müller 0003	Specification of Real-Time Properties for UML Models.	HICSS	2002	DBLP DOI BibTeX RDF	UML, Object Constraint Language, Real-Time Constraints, Property Specification
17	Paolo Terenziani	Temporal Reasoning with Classes and Instances of Events.	TIME	2002	DBLP DOI BibTeX RDF	Temporal constraints between classes and instances of events, Prediction, Consistency, Inheritance
17	Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi	Verification Criteria for a Compositional Model for Reactive Systems.	ICECCS	2000	DBLP DOI BibTeX RDF	verification criteria, system composition/decomposition, external interface, temporal constraint propagation, structural hierarchy, missing temporal constraints, TROL, object oriented real time language, formal specification, reactive systems, compositional model, graphical notation
17	Jean-Pierre Thomesse, Zoubir Mammeri, L. Vega	Time in Distributed Systems Cooperation and Communication Models.	FTDCS	1995	DBLP DOI BibTeX RDF	Distributed systems, Communication, Real-time, Time constraints
17	Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel	Model-driven visualizations of constraint-based local search.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Model-driven visualization, Constraint-based local search, Optimization algorithm
17	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
17	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
17	Matthias Zytnicki, Christine Gaspin, Thomas Schiex	DARN! A Weighted Constraint Solver for RNA Motif Localization.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	DARN, RNA motif localization, ncRNA
17	Amnon Meisels, Roie Zivan	Asynchronous Forward-checking for DisCSPs.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Distributed CSPs, Asynchronous search, Forward-checking
17	Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson	Design of Financial CDO Squared Transactions Using Constraint Programming.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Financial mathematics, Credit derivatives, Collateralised debt obligation (CDO), CDO squared, Portfolio design (PD), Optimal portfolio design (OPD), Balanced incomplete block design (BIBD), Embedding, Constraint programming
17	Marco Chiarandini, Thomas Stützle	Stochastic Local Search Algorithms for Graph Set T -colouring and Frequency Assignment.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Graph set T-colouring problem, Simple construction heuristics, Stochastic local search algorithms
17	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
17	John N. Hooker	A Hybrid Method for the Planning and Scheduling.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	Bender's decomposition, hybrid methods, planning and scheduling
17	François Fages, Sylvain Soliman, Rémi Coolen	CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	program annotation, visualization, GUI, debugging, constraint programming, search trees
17	David A. Cohen	Tractable Decision for a Constraint Language Implies Tractable Search.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	complexity, language, tractability
17	Jeremy Frank, Ari K. Jónsson	Constraint-Based Attribute and Interval Planning.	Constraints An Int. J.	2003	DBLP DOI BibTeX RDF	dynamic constraint reasoning, consistency enforcement, temporal planning, planning, resources
17	Francesca Rossi 0001	Constraint (Logic) Programming: A Survey on Research and Applications.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF