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