Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
proceedings programmed » processing programmed, proceedings program, process programmed
integrals computing » integrated computing, interval computing, integration computing
contract https » conflict https, contract nets, contract matters
proceedings programmed » processing programmed, proceedings program, process programmed
integrals computing » integrated computing, interval computing, integration computing
contract https » conflict https, contract nets, contract matters
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
Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010...
Julkaistu 2010
Sisällysluettelo:
“...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...”Hae kokoteksti
Elektroninen
E-kirja
10
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
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