Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integrating specification » integrating verification, alternating specifications, integration verification
specification programming » verification programming, identification programming, specification program
programming programming » programming programmed, programming program
programming constraints » programming constraint, programming constrained, programming constructs
constraints https » constraints haptic, constraints data, constraints chap
integrating specification » integrating verification, alternating specifications, integration verification
specification programming » verification programming, identification programming, specification program
programming programming » programming programmed, programming program
programming constraints » programming constraint, programming constrained, programming constructs
constraints https » constraints haptic, constraints data, constraints chap
1
Published 2014
Table of Contents:
“... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”View full text
Electronic
eBook
3
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
4
Published 2005
Table of Contents:
“... Numerical Attributes in Databases Under Integrity Constraints -- Consistent Query Answers on Numerical...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“...-specific Heuristics -- Integrating ASP into ROS for Reasoning in Robots -- Automated inference of rules...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... -- Formal Refinement in SysML -- Verifying Modal Workflow Specifications Using Constraint Solving.-Proofs...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”View full text
Electronic
eBook
9
Published 2011
Table of Contents:
“... Based on Answer Set Programming with Constraints: Preliminary Design -- Applications of Answer Set...”View full text
Electronic
eBook
10
11
Published 2012
Table of Contents:
“... Specifications in CλaSH -- SyReC: A Programming Language for Synthesis of Reversible Circuits -- Logical Time...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“...Concepts and Approaches of Integrated Water Management -- Filling the Information Gap between Water...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid...”View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“... Security Constraints -- Customizing protocol specifications for detecting resource exhaustion and guessing...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... and Time -- An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... for Programs with Quantified First-Order Logic Specifications -- Efficient Distributed Test Architectures...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... -- Integration of Time Issues into Component-Based Applications -- Slicing of Component Behavior Specification...”View full text
Electronic
eBook
18
Published 2011
Table of Contents:
“... Discovery, Orchestration and Recovery.-CC-Pi: A Constraint Language for Service Negotiation and Composition...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... StateMachines -- Facilitating the Definition of General Constraints in UML -- Security -- Towards a MOF/QVT...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Psychological Theory -- Model Driven Development -- Integrating Performance and Reliability Analysis in a Non...”View full text
Electronic
eBook