1
Veröffentlicht 2006
Inhaltsangabe: ... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2012
Schlagworte: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2011
Inhaltsangabe: ...: Integrating Stochastic Programs and Policy Simulators -- Growth-Security Models and Stochastic Dominance...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2014
Inhaltsangabe: ... and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud -- Applying an Integrated...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2013
Inhaltsangabe: ... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2005
Inhaltsangabe: ... -- Distributed Constraint-Based Railway Simulation -- Declarative Programming and Web-Based Systems -- Concurrent...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2007
Inhaltsangabe: ... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2006
Inhaltsangabe: ... StateMachines -- Facilitating the Definition of General Constraints in UML -- Security -- Towards a MOF/QVT...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2014
Inhaltsangabe: ... for Constraint Solvers -- Lightweight State Capturing for Automated Testing of Multithreaded Programs -- How Test...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2006
Inhaltsangabe: ... Process Relationship -- Assessing 3-D Integrated Software Development Processes: A New Benchmark...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2008
Inhaltsangabe: ... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2007
Inhaltsangabe: ... Simulator Based on a Generic Model Execution Engine -- Queries and Constraints: A Comprehensive Semantic...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2005
Inhaltsangabe: ... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2007
Inhaltsangabe: ...Keynotes -- Software Is the Answer But What Is the Question? -- Integrating VLIW Processors with a...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2005
Inhaltsangabe: ... for Reconfigurable Packet Processing -- Processor Architectures, Design and Simulation -- Flux Caches: What...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2010
Inhaltsangabe: ... to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2012
Inhaltsangabe: ... Security Constraints -- Customizing protocol specifications for detecting resource exhaustion and guessing...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2008
Inhaltsangabe: ... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2007
Inhaltsangabe: ... -- An Approach to Software Evolution Based on Semantic Change -- A Simulation-Oriented Formalization for a...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2010
Inhaltsangabe: ...-Neuron Model of the Oculomotor System -- An Integrated Neuromimetic Model of the Saccadic Eye Movements...
Volltext
Elektronisch E-Book