Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
programming contracts » programming contract, programming constructs, programming constraints
interactive computer » interfaces computer, internet computer
computer programming » computer program, computer programs
https » http
programming programming » programming programmed, programming program
programming contracts » programming contract, programming constructs, programming constraints
interactive computer » interfaces computer, internet computer
computer programming » computer program, computer programs
https » http
1
Table of Contents:
“...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
View full text
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:
“...-Oriented Service Discovery -- Ad Hoc Composition of User Tasks in Pervasive Computing Environments...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”View full text
Electronic
eBook
5
Published 2011
Table of Contents:
“... Identification Using Genetic Algorithms -- 2. Sequential State Computation Using Discrete Modeling -- 3...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... Computing -- Position Papers -- Tools for Developing Large Systems (A Proposal) -- Why Programming Languages...”View full text
Electronic
eBook
8
Published 2011
Table of Contents:
“....- Analyzing Contract Robustness through a Model of Commitments.- A Case for New Directions in Agent-Oriented...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...Observables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Impaired PSENs through a Computer Mediated Distance Learning Program....”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Process as a Pushdown Automaton -- Modeling Computational Security in Long-Lived Systems -- Contract...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“...Interaction and Coordination of Tools for Structured Data -- Modelling Coordination in Biological...”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 2013
Table of Contents:
“... and Fault-Tolerant Restful Service Consumption.- Contract Compliance Monitoring of Web Services.- Service...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... of Shellable Complexes to Distributed Computing -- Concurrency and Composition in a Stochastic World -- Taming...”View full text
Electronic
eBook