Suchergebnisse - interactive computing proceedings programs contract https

1

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

Veröffentlicht 2014

Inhaltsangabe: “...-efficiency Model Based on QoS in Cloud Computing -- Revenue Sharing Contract in a Cloud Computing Service...”
Volltext

Elektronisch E-Book

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 /

Veröffentlicht 2010

Inhaltsangabe: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Volltext

Elektronisch E-Book

3

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

Veröffentlicht 2005

Inhaltsangabe: “... Reconstruction in Diffusion Tensor MRI -- Interactive 3D Heart Chamber Partitioning with a New Marker-Controlled...”
Volltext

Elektronisch E-Book

4

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

Veröffentlicht 2013

Inhaltsangabe: “... and Fault-Tolerant Restful Service Consumption.- Contract Compliance Monitoring of Web Services.- Service...”
Volltext

Elektronisch E-Book

5

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

Veröffentlicht 2007

Inhaltsangabe: “... Points -- Obligations and Their Interaction with Programs -- Applied Cryptography III -- On the Privacy...”
Volltext

Elektronisch E-Book

6

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

Veröffentlicht 2006

Inhaltsangabe: “... with Differential Parsing -- Web Browsers as Service-Oriented Clients Integrated with Web Services -- Interaction...”
Volltext

Elektronisch E-Book

7

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

Veröffentlicht 2005

Inhaltsangabe: “... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”
Volltext

Elektronisch E-Book

8

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

Veröffentlicht 2012

Inhaltsangabe: “... -- The Complexity of Rerouting Shortest Paths -- Computing with Large Populations Using Interactions -- Pancake...”
Volltext

Elektronisch E-Book

9

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

Veröffentlicht 2005

Inhaltsangabe: “... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”
Volltext

Elektronisch E-Book

10

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

Veröffentlicht 2008

Inhaltsangabe: “... Process as a Pushdown Automaton -- Modeling Computational Security in Long-Lived Systems -- Contract...”
Volltext

Elektronisch E-Book

11

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

Veröffentlicht 2014

Inhaltsangabe: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Volltext

Elektronisch E-Book

12

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

Veröffentlicht 2010

Inhaltsangabe: “...Observables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request...”
Volltext

Elektronisch E-Book

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 /

Veröffentlicht 2007

Inhaltsangabe: “... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...”
Volltext

Elektronisch E-Book

14

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

Veröffentlicht 2015

Inhaltsangabe: “...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”
Volltext

Elektronisch E-Book

15

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

Veröffentlicht 2015

Inhaltsangabe: “... Evolutionary Algorithm Based on Decomposition and Contraction for Many-objective Optimization Problems -- Cell...”
Volltext

Elektronisch E-Book

16

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

Veröffentlicht 2013

Inhaltsangabe: “... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”
Volltext

Elektronisch E-Book

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 /

Veröffentlicht 2005

Inhaltsangabe: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
Volltext

Elektronisch E-Book

18

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

Veröffentlicht 2010

Inhaltsangabe: “... of Shellable Complexes to Distributed Computing -- Concurrency and Composition in a Stochastic World -- Taming...”
Volltext

Elektronisch E-Book

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 /

Veröffentlicht 2010

Inhaltsangabe: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Volltext

Elektronisch E-Book

20

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /

Veröffentlicht 2014

Inhaltsangabe: “... for Model Checking Trusted Computing Platforms -- The VerCors Tool for Verification of Concurrent Programs...”
Volltext

Elektronisch E-Book

Suche einschränken