Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration computing » integration competing, interaction computing, integration computer
computing proceeding » computing proceedings, computing providing, computing protecting
proceeding program » proceedings program, processing program, processing programs
program contract » programme contract, program abstract, program controls
contract https » control https, conflict https, contract nets
integration computing » integration competing, interaction computing, integration computer
computing proceeding » computing proceedings, computing providing, computing protecting
proceeding program » proceedings program, processing program, processing programs
program contract » programme contract, program abstract, program controls
contract https » control https, conflict https, contract nets
1
Published 2013
Table of Contents:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”View full text
Electronic
eBook
2
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“...-efficiency Model Based on QoS in Cloud Computing -- Revenue Sharing Contract in a Cloud Computing Service...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Computing Environments -- Using Automated Planning for Trusted Self-organising Organic Computing Systems...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Service Planning -- Integrated Service Process Adaptation -- Contract Based, Non-invasive, Black-Box...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... and Efficient Computation of High Order Zernike Moments -- 3D Model Generation from Image Sequences Using Global...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... with Differential Parsing -- Web Browsers as Service-Oriented Clients Integrated with Web Services -- Interaction...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... of Computational Secrecy -- What, Indeed, Is Intransitive Noninterference? -- Traceability and Integrity...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“...Computing an Upper Bound for the Longest Edge in an Optimal TSP-Solution -- Electricity Storage...”View full text
Electronic
eBook
15
Published 2012
Table of Contents:
“... Model for Dynamic Environment -- Process Modeling II.-Contracts+Goals=Roles? -- Specialization in i...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... for e-Government Services: An Experience Report -- An Approach for QoS Contract Negotiation...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... for Data Integration -- Recent Advances in Graph Drawing -- The Hyperdatabase Network – New Middleware...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... on Multi-Objective Genetic Algorithm -- Integration of Spatial and Spectral Information by Means of Sparse...”View full text
Electronic
eBook