Kết quả tìm kiếm - interactive computing proceedings programmed contracts https

1

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

Được phát hành 2014

Mục lục: “...-efficiency Model Based on QoS in Cloud Computing -- Revenue Sharing Contract in a Cloud Computing Service...”
lấy văn bản

Điện tử eBook

2

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings /

Được phát hành 2010

Mục lục: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
lấy văn bản

Điện tử eBook

3

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

Được phát hành 2005

Mục lục: “... Reconstruction in Diffusion Tensor MRI -- Interactive 3D Heart Chamber Partitioning with a New Marker-Controlled...”
lấy văn bản

Điện tử eBook

4

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

Được phát hành 2013

Mục lục: “... and Fault-Tolerant Restful Service Consumption.- Contract Compliance Monitoring of Web Services.- Service...”
lấy văn bản

Điện tử eBook

5

Computer Security - ESORICS 2007 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 - 26, 2007, Proceedings /

Được phát hành 2007

Mục lục: “... Points -- Obligations and Their Interaction with Programs -- Applied Cryptography III -- On the Privacy...”
lấy văn bản

Điện tử eBook

6

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

Được phát hành 2006

Mục lục: “... with Differential Parsing -- Web Browsers as Service-Oriented Clients Integrated with Web Services -- Interaction...”
lấy văn bản

Điện tử eBook

7

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

Được phát hành 2005

Mục lục: “... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”
lấy văn bản

Điện tử eBook

8

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings /

Được phát hành 2012

Mục lục: “... -- The Complexity of Rerouting Shortest Paths -- Computing with Large Populations Using Interactions -- Pancake...”
lấy văn bản

Điện tử eBook

9

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Được phát hành 2005

Mục lục: “... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”
lấy văn bản

Điện tử eBook

10

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings /

Được phát hành 2008

Mục lục: “... Process as a Pushdown Automaton -- Modeling Computational Security in Long-Lived Systems -- Contract...”
lấy văn bản

Điện tử eBook

11

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Được phát hành 2014

Mục lục: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
lấy văn bản

Điện tử eBook

12

Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings /

Được phát hành 2010

Mục lục: “...Observables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request...”
lấy văn bản

Điện tử eBook

13

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings /

Được phát hành 2007

Mục lục: “... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...”
lấy văn bản

Điện tử eBook

14

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Được phát hành 2015

Mục lục: “...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”
lấy văn bản

Điện tử eBook

15

Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2

Được phát hành 2015

Mục lục: “... Evolutionary Algorithm Based on Decomposition and Contraction for Many-objective Optimization Problems -- Cell...”
lấy văn bản

Điện tử eBook

16

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings /

Được phát hành 2013

Mục lục: “... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”
lấy văn bản

Điện tử eBook

17

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings /

Được phát hành 2005

Mục lục: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
lấy văn bản

Điện tử eBook

18

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings /

Được phát hành 2010

Mục lục: “... of Shellable Complexes to Distributed Computing -- Concurrency and Composition in a Stochastic World -- Taming...”
lấy văn bản

Điện tử eBook

19

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part I /

Được phát hành 2010

Mục lục: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
lấy văn bản

Điện tử eBook

20

Advanced Information Systems Engineering 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings /

Được phát hành 2008

Mục lục: “...: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business...”
lấy văn bản

Điện tử eBook

Tìm kiếm hẹp