Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
computers programming » computer programming, computer program, computer programs
programming contract » programming contracts, programming constructs, programming constraint
services computers » services computer, service computer, services computing
contract https » control https, conflict https, contract nets
programming programming » programming programmed, programming program
computers programming » computer programming, computer program, computer programs
programming contract » programming contracts, programming constructs, programming constraint
services computers » services computer, service computer, services computing
contract https » control https, conflict https, contract nets
1
Table of Contents:
“...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
View full text
View full text
Electronic
eBook
2
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
3
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
4
Published 2013
Table of Contents:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”View full text
Electronic
eBook
5
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
6
Published 2006
Table of Contents:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... Basic Contract Language for Web Services -- Types for Dynamic Reconfiguration -- Size-Change Termination...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Refinement Calculus as a Theory of Contracts (Invited Paper) -- Transaction Calculus -- UTP...”View full text
Electronic
eBook
9
Published 2011
Table of Contents:
“...SENSORIA – Software Engineering for Service-Oriented Overlay Computers -- A Unifying Formal Basis...”View full text
Electronic
eBook
10
Subjects:
“...Business and Management, general. https://scigraph.springernature.com/ontologies/product-market...”
View full text
View full text
Electronic
eBook
11
12
Published 2010
Table of Contents:
“... to Achieve Predictability of Service Execution -- Aggregate Quality of Service Computation for Composite...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“...Extreme Accuracy in Symbolic Regression -- Exploring Interestingness in a Computational Evolution...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... of Overloading in Java Programs -- Falling Back on Executable Specifications -- Contract-Based Data Structure...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... and Fault-Tolerant Restful Service Consumption.- Contract Compliance Monitoring of Web Services.- Service...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... and Non-functional Requirements -- SOCK: A Calculus for Service Oriented Computing -- A Priori Conformance...”View full text
Electronic
eBook
20