1
Published 2008
Table of Contents: ... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...
View full text
Electronic eBook
4
by Hooker, John N., Hooker, John N.
Published 2012
Table of Contents: ... -- Dictionary of Constraints.     ....
View full text
Electronic eBook
5
Published 2008
Table of Contents: ...Concepts and Approaches of Integrated Water Management -- Filling the Information Gap between Water...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... for e-Government Services: An Experience Report -- An Approach for QoS Contract Negotiation...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... in an Industrial Environment -- W8 – Integrating MDA and V&V -- Report on the 3rd MoDeVa Workshop – Model Design...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... Research -- What Beyond CMMI Is Needed to Help Assure Program and Project Success? -- Integrated Software...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Reasoning -- Rule-Based Event Processing and Reaction Rules -- Ensuring Compliance with Semantic Constraints...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... Process Relationship -- Assessing 3-D Integrated Software Development Processes: A New Benchmark...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... of Product Differentiation and Reuse -- Integrating Component and Product Lines Technologies -- Feature...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problem – a Controlled-Bias...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... Garner Algorithm for Chinese Remainder Theorem -- dMPI: Facilitating Debugging of MPI Programs via...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... Generalized Databases with Equality Constraints -- A Dynamic View of Active Integrity Constraints...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ...-Specific Constraints -- Scalable Armies of Model Clones through Data Sharing -- Feature and Variability...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... on Approaches for Business-to-Business Integration -- Tools and Applications -- Evolving Concurrent Petri Net...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... in Business Process Management -- Towards a Compliance-Aware Inter-organizational Service Integration Platform...
View full text
Electronic eBook