Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
proceeding programming » processing programming, procedure programming, programming programming
interactive computing » interactive computer
programming contracts » programming contract, programming constructs, programming constraints
computing proceeding » computing proceedings, computing providing, computing protecting
https » http
proceeding programming » processing programming, procedure programming, programming programming
interactive computing » interactive computer
programming contracts » programming contract, programming constructs, programming constraints
computing proceeding » computing proceedings, computing providing, computing protecting
https » http
1
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
2
Published 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Reconstruction in Diffusion Tensor MRI -- Interactive 3D Heart Chamber Partitioning with a New Marker-Controlled...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... and Fault-Tolerant Restful Service Consumption.- Contract Compliance Monitoring of Web Services.- Service...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... with Differential Parsing -- Web Browsers as Service-Oriented Clients Integrated with Web Services -- Interaction...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Points -- Obligations and Their Interaction with Programs -- Applied Cryptography III -- On the Privacy...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“... -- The Complexity of Rerouting Shortest Paths -- Computing with Large Populations Using Interactions -- Pancake...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...Observables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Process as a Pushdown Automaton -- Modeling Computational Security in Long-Lived Systems -- Contract...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... Evolutionary Algorithm Based on Decomposition and Contraction for Many-objective Optimization Problems -- Cell...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Contextual Reasoning in Ambient Intelligence -- Enhancing a Smart Space with Answer Set Programming...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... of Shellable Complexes to Distributed Computing -- Concurrency and Composition in a Stochastic World -- Taming...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...”View full text
Electronic
eBook