Search Results - services computing processing programmed contract https

1

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

Published 2010

Table of Contents: “... Service Planning -- Integrated Service Process Adaptation -- Contract Based, Non-invasive, Black-Box...”
View full text

Electronic eBook

2

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

Published 2013

Table of Contents: “... and Fault-Tolerant Restful Service Consumption.- Contract Compliance Monitoring of Web Services.- Service...”
View full text

Electronic eBook

3

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

Published 2014

Table of Contents: “... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”
View full text

Electronic eBook

4

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

Published 2005

Table of Contents: “... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”
View full text

Electronic eBook

5

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

Published 2006

Table of Contents: “...: Building a Transaction Framework for Contract-Driven, Service-Oriented Business Processes -- Securing Web...”
View full text

Electronic eBook

6

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

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

7

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

Published 2011

Table of Contents: “...SENSORIA – Software Engineering for Service-Oriented Overlay Computers -- A Unifying Formal Basis...”
View full text

Electronic eBook

8

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

by Subirana, Brian., Subirana, Brian., Bain, Malcolm.
Published 2005

Table of Contents: “...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
View full text

Electronic eBook

9

Exploring Services Science First International Conference, IESS 2010, Geneva, Switzerland, February 17-19, 2010, Revised Papers /

Published 2010

Table of Contents: “... Contract Structures -- Total Cost of Service Life: The Need for Decision Support in Selecting, Comparing...”
View full text

Electronic eBook

10

Web Services and Formal Methods Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool...”
View full text

Electronic eBook

11

Software Process Dynamics and Agility International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007, Proceedings /

Published 2007

Table of Contents: “... for Government Contract Pricing in China -- A Multilateral Negotiation Method for Software Process Modeling...”
View full text

Electronic eBook

12

Enterprise Service Oriented Architectures Concepts, Challenges, Recommendations /

by McGovern, James., McGovern, James., Sims, Oliver., Jain, Ashish., Little, Mark.
Published 2006

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

13

Technologies for E-Services 5th International Workshop, TES 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “...TES 2004 -- Robust Web Services via Interaction Contracts -- When are Two Web Services Compatible...”
View full text

Electronic eBook

14

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

15

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

16

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International...

Published 2010

Table of Contents: “... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”
View full text

Electronic eBook

17

Business Process Management 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings /

Published 2005

Table of Contents: “...Research Papers -- Modeling and Analysis of Mobile Service Processes by Example of the Housing...”
View full text

Electronic eBook

18

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

Published 2006

Table of Contents: “... Basic Contract Language for Web Services -- Types for Dynamic Reconfiguration -- Size-Change Termination...”
View full text

Electronic eBook

19

Emerging Web Services Technology Volume III

Published 2010

Table of Contents: “... and Modular Service-Oriented Pervasive Computing Applications -- Service Contract Compliance Management...”
View full text

Electronic eBook

20

Euro-Par 2006 Workshops: Parallel Processing CoreGRID 2006, UNICORE Summit 2006, Petascale...

Published 2007

Table of Contents: “...: Incorporating the DynaSOAr Framework in Distributed Query Processing -- Review of Security Models Applied...”
View full text

Electronic eBook

Narrow Search