CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Designing and assessing an intelligent e-tool for deaf children
Proceedings of the 13th international conference on Intelligent user interfaces
The Design of the Zinc Modelling Language
Constraints
Constraint programming for itemset mining
Proceedings of the 14th ACM SIGKDD international conference on Knowledge discovery and data mining
Domain-Specific Model Editors with Model Completion
Models in Software Engineering
A Declarative Framework for Constrained Search Problems
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
The SmartFrog configuration management framework
ACM SIGOPS Operating Systems Review
Using Context Information for Tailoring Multimedia Services to User's Resources
MMNS '07 Proceedings of the 10th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services: Real-Time Mobile Multimedia Services
Verifying UML/OCL Operation Contracts
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Hybrid Automata in Systems Biology: How Far Can We Go?
Electronic Notes in Theoretical Computer Science (ENTCS)
Predicated Worst-Case Execution-Time Analysis
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Solving Constraints in Model Transformations
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Constraint Programming Models for Transposition Distance Problem
BSB '09 Proceedings of the 4th Brazilian Symposium on Bioinformatics: Advances in Bioinformatics and Computational Biology
The multikernel: a new OS architecture for scalable multicore systems
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
Quality-driven synthesis of embedded multi-mode control systems
Proceedings of the 46th Annual Design Automation Conference
On implementing symmetry detection
Constraints
Rhizoma: a runtime for self-deploying, self-managing overlays
Proceedings of the 10th ACM/IFIP/USENIX International Conference on Middleware
Automatically Discovering Hidden Transformation Chaining Constraints
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Programming and Computing Software
Hybrid automata, reachability, and Systems Biology
Theoretical Computer Science
LODE: global reasoning on e-stories for deaf children
KES'07/WIRN'07 Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part III
Constraint-based temporal reasoning for e-learning with LODE
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
MiniZinc: towards a standard CP modelling language
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Implementing reactive BDI agents with user-given constraints and objectives
International Journal of Agent-Oriented Software Engineering
Hybrid algorithms in constraint programming
CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints
A hybrid constraint model for the routing and wavelength assignment problem
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
The proper treatment of undefinedness in constraint languages
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Maintaining state in propagation solvers
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Test generation through programming in UDITA
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Rhizoma: a runtime for self-deploying, self-managing overlays
Middleware'09 Proceedings of the ACM/IFIP/USENIX 10th international conference on Middleware
HieroMate: a graphical tool for specification and verification of hierarchical hybrid automata
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Philosophy of the MiniZinc challenge
Constraints
Unicast and multicast QoS routing with soft-constraint logic programming
ACM Transactions on Computational Logic (TOCL)
Dependable self-hosting distributed systems using constraints
HotDep'08 Proceedings of the Fourth conference on Hot topics in system dependability
Design principles for end-to-end multicore schedulers
HotPar'10 Proceedings of the 2nd USENIX conference on Hot topics in parallelism
Integrated scheduling and synthesis of control applications on distributed embedded systems
Proceedings of the Conference on Design, Automation and Test in Europe
A 25-year perspective on logic programming
An integrated modelling, debugging, and visualisation environment for G12
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
MDE-based approach for generalizing design space exploration
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Multi-agent systems: modeling and verification using hybrid automata
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
A declarative language approach to device configuration
Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
Core-generating discretization for rough set feature selection
Transactions on rough sets XIII
Grammatical error simulation for computer-assisted language learning
Knowledge-Based Systems
BDI agents with objectives and preferences
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Proceedings of the 2010 Summer Computer Simulation Conference
Itemset mining: A constraint programming perspective
Artificial Intelligence
A constraint-based approach to dynamically adapt multimedia interfaces
Journal of Mobile Multimedia
Assessing the Kodkod model finder for resolving model inconsistencies
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Reliability-aware frame packing for the static segment of flexray
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Policy expressivity in the Anzere personal cloud
Proceedings of the 2nd ACM Symposium on Cloud Computing
The discovery of frequent patterns with logic and constraint programming
MAMECTIS/NOLASC/CONTROL/WAMUS'11 Proceedings of the 13th WSEAS international conference on mathematical methods, computational techniques and intelligent systems, and 10th WSEAS international conference on non-linear analysis, non-linear systems and chaos, and 7th WSEAS international conference on dynamical systems and control, and 11th WSEAS international conference on Wavelet analysis and multirate systems: recent researches in computational techniques, non-linear systems and control
The GDSE framework: a meta-tool for automated design space exploration
Proceedings of the 10th Workshop on Domain-Specific Modeling
Evaluation of tools and slicing techniques for efficient verification of UML/OCL class diagrams
Advances in Software Engineering
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Declarative Language Approach to Device Configuration
ACM Transactions on Computer Systems (TOCS) - Special Issue APLOS 2011
Theory and Practice of Logic Programming - Prolog Systems
Annals of Mathematics and Artificial Intelligence
E-Learning and deaf children: a logic-based web tool
ICWL'07 Proceedings of the 6th international conference on Advances in web based learning
Evaluating the adaptation of multimedia services using a constraints-based approach
Mobile Multimedia Processing
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
An alternative to SAT-Based approaches for bit-vectors
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Combining CSP and constraint-based mining for pattern discovery
ICCSA'10 Proceedings of the 2010 international conference on Computational Science and Its Applications - Volume Part II
Constraint-Based runtime prediction of SLA violations in service orchestrations
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
pTunes: runtime parameter adaptation for low-power MAC protocols
Proceedings of the 11th international conference on Information Processing in Sensor Networks
Solving non-linear arithmetic constraints in soft realtime environments
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A survey of constraint-based programming paradigms
Computer Science Review
Unifying synchronization and events in a multicore OS
Proceedings of the Asia-Pacific Workshop on Systems
Visualising Reasoning: What ATP Can Learn From CP
Electronic Notes in Theoretical Computer Science (ENTCS)
Unifying synchronization and events in a multicore OS
APSys'12 Proceedings of the Third ACM SIGOPS Asia-Pacific conference on Systems
Generalized resource allocation for the cloud
Proceedings of the Third ACM Symposium on Cloud Computing
UMLtoCSP (UOST): a tool for efficient verification of UML/OCL class diagrams through model slicing
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
A constraint-based approach to quality assurance in service choreographies
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
International Journal of Information System Modeling and Design
Hi-index | 0.00 |
Providing an introduction to constraint programming, as well as a systematic introduction to the Eclipse system, this text shows how to write constraint programs that solve complex problems, and illustrates the power, versatility and utility of Eclipse.