1
Julkaistu 2008
Sisällysluettelo: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2014
Sisällysluettelo: ...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2007
Sisällysluettelo: ... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2006
Sisällysluettelo: ... Location and Control Computation -- Approximate Reachability Computation for Polynomial Systems -- A...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2010
Sisällysluettelo: ...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2013
Sisällysluettelo: ... for Giving Semantics to Machine Language -- Paragon for Practical Programming with Information-Flow Control...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2014
Sisällysluettelo: ... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2007
Sisällysluettelo: ... -- Solving a Stochastic Queueing Control Problem with Constraint Programming -- Constrained Clustering Via...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2010
Sisällysluettelo: ...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2013
Sisällysluettelo: ... for Separation Logic -- Abstract Refinement Types -- Constraining Delimited Control with Contracts -- Verifying...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2014
Sisällysluettelo: ...-efficiency Model Based on QoS in Cloud Computing -- Revenue Sharing Contract in a Cloud Computing Service...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2005
Sisällysluettelo: ... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2007
Sisällysluettelo: ... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2005
Sisällysluettelo: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2006
Sisällysluettelo: ... = Logic + Control” -- ACD Term Rewriting -- Program Analysis -- Detecting Determinacy in Prolog Programs...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2005
Sisällysluettelo: ...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2005
Sisällysluettelo: ... -- Disjoint Cycles: Integrality Gap, Hardness, and Approximation -- A Combinatorial Algorithm to Find a...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2010
Sisällysluettelo: ... Service Planning -- Integrated Service Process Adaptation -- Contract Based, Non-invasive, Black-Box...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2014
Sisällysluettelo: ... for Concurrency Control in Computer Aided Design Database -- Performance Study of Combined Artificial Neural...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2005
Sisällysluettelo: ... Reconstruction in Diffusion Tensor MRI -- Interactive 3D Heart Chamber Partitioning with a New Marker-Controlled...
Hae kokoteksti
Elektroninen E-kirja