Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
computing programming » computer programming, computers programming
programming contracts » programming contract, programming constructs, programming constraints
spaces computing » space computing, games computing, services computing
https » http
programming programming » programming programmed, programming program
computing programming » computer programming, computers programming
programming contracts » programming contract, programming constructs, programming constraints
spaces computing » space computing, games computing, services computing
https » http
1
Published 2013
Table of Contents:
“... Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic...”View full text
Electronic
eBook
2
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”View full text
Electronic
eBook
3
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
4
Published 2006
Table of Contents:
“...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... -- Algorithmic Graph Minor Theory: Improved Grid Minor Bounds and Wagner’s Contraction -- Best Student Paper 2006...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Interfaces, Contracts and Adapters of Component-Based Systems -- Component Contracts in Eclipse - A Case...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... -- Randomized Approaches for Nearest Neighbor Search in Metric Space When Computing the Pairwise Distance...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... with Type Inheritance -- Modelling Parametric Contracts and the State Space of Composite Components by Graph...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Process as a Pushdown Automaton -- Modeling Computational Security in Long-Lived Systems -- Contract...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“...-functions of Quasi-selfadjoint Contractions -- A Class of Abstract Boundary Value Problems with Locally...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Process Using UML -- SoftContract: Model-Based Design of Error-Checking Code and Property Monitors...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Contextual Reasoning in Ambient Intelligence -- Enhancing a Smart Space with Answer Set Programming...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... and Bases in Permutation Groups.- Parameterized Complexity of Two Edge Contraction Problems with Degree...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Path Through Skeleton Scale-Space Tracking -- Multiscale Segmentation of HRCT Images Using Bipolar...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... to Balanced Metric Labeling -- Fearful Symmetries: Quantum Computing, Factoring, and Graph Isomorphism...”View full text
Electronic
eBook