Rezultaty - services computing programming programming contracts (https OR http)

Inne możliwości wyszukiwania:
programming programming » programming programmed , programming program
computing programming » computer programming , computers programming
programming contracts » programming contract , programming constructs , programming constraints
services computing » server computing , services computer , service computer

Legal Programming Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond /

od Subirana, Brian., Subirana, Brian., Bain, Malcolm.
Wydane 2005

Spis treści: “...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
Dokumenty pełnotekstowe

Elektroniczne E-book

Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing /

Wydane 2011

Spis treści: “...SENSORIA – Software Engineering for Service-Oriented Overlay Computers -- A Unifying Formal Basis...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers /

Wydane 2013

Spis treści: “... Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Wydane 2010

Spis treści: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings /

Wydane 2013

Spis treści: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Wydane 2013

Spis treści: “... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Wydane 2006

Spis treści: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European /

Wydane 2006

Spis treści: “... Basic Contract Language for Web Services -- Types for Dynamic Reconfiguration -- Size-Change Termination...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers /

Wydane 2010

Spis treści: “...Refinement Calculus as a Theory of Contracts (Invited Paper) -- Transaction Calculus -- UTP...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Success in Programming How to Gain Recognition, Power, and Influence Through Personal Branding /

od Harper, Frederic., Harper, Frederic.
Wydane 2015

Hasła przedmiotowe: “...Business and Management, general. https://scigraph.springernature.com/ontologies/product-market...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Service-Oriented Computing 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings /

Wydane 2010

Spis treści: “... to Achieve Predictability of Service Execution -- Aggregate Quality of Service Computation for Composite...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Formalizing Data-Centric Web Services

od Saleh, Iman., Saleh, Iman.
Wydane 2015

Hasła przedmiotowe: “...Programming languages (Electronic computers)....”
Dokumenty pełnotekstowe

Elektroniczne E-book

Genetic Programming Theory and Practice XI

Wydane 2014

Spis treści: “...Extreme Accuracy in Symbolic Regression -- Exploring Interestingness in a Computational Evolution...”
Dokumenty pełnotekstowe

Elektroniczne E-book

ECOOP 2010 -- Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings /

Wydane 2010

Spis treści: “... of Overloading in Java Programs -- Falling Back on Executable Specifications -- Contract-Based Data Structure...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Service-Oriented and Cloud Computing Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013, Proceedings /

Wydane 2013

Spis treści: “... and Fault-Tolerant Restful Service Consumption.- Contract Compliance Monitoring of Web Services.- Service...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Wydane 2014

Spis treści: “... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /

Wydane 2005

Spis treści: “... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Service-Oriented Computing – ICSOC 2005 Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings /

Wydane 2005

Spis treści: “... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Service-Oriented Computing - ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, Proceedings /

Wydane 2006

Spis treści: “... and Non-functional Requirements -- SOCK: A Calculus for Service Oriented Computing -- A Priori Conformance...”
Dokumenty pełnotekstowe

Elektroniczne E-book

The Coder's Path to Wealth and Independence

od Beckner, Mark., Beckner, Mark.
Wydane 2014

Hasła przedmiotowe: “...Programming languages (Electronic computers)....”
Dokumenty pełnotekstowe

Elektroniczne E-book

1
2
3
4
5
6
7
8
9
10
11
Następna »
[13]

Redukuj rezultaty