Search Results - interaction computing proceedings problems contracting https

1

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

Published 2014

Table of Contents: “...-efficiency Model Based on QoS in Cloud Computing -- Revenue Sharing Contract in a Cloud Computing Service...”
View full text

Electronic eBook

2

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

Published 2005

Table of Contents: “... Reconstruction in Diffusion Tensor MRI -- Interactive 3D Heart Chamber Partitioning with a New Marker-Controlled...”
View full text

Electronic eBook

3

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

Published 2012

Table of Contents: “... -- The Complexity of Rerouting Shortest Paths -- Computing with Large Populations Using Interactions -- Pancake...”
View full text

Electronic eBook

4

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 /

Published 2010

Table of Contents: “...: Open Problems in Theory and Practice -- Regret Minimization and Job Scheduling -- Lessons in Software...”
View full text

Electronic eBook

5

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 /

Published 2007

Table of Contents: “... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...”
View full text

Electronic eBook

6

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

Published 2015

Table of Contents: “... Evolutionary Algorithm Based on Decomposition and Contraction for Many-objective Optimization Problems -- Cell...”
View full text

Electronic eBook

7

Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Mobile Work -- Using Autonomic Computing and Click Stream Analysis for Problem Identification...”
View full text

Electronic eBook

8

Information and Communications Security 7th International Conference, ICICS 2005, Beijing, China, December 10-13, 2005, Proceedings /

Published 2005

Table of Contents: “...Fair Exchange -- An Evenhanded Certified Email System for Contract Signing -- Efficient ID-Based...”
View full text

Electronic eBook

9

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings /

Published 2005

Table of Contents: “...Invited Paper -- Palpable Computing and the Role of Agent Technology -- Research Papers -- A...”
View full text

Electronic eBook

10

Databases in Networked Information Systems 4th International Workshop, DNIS 2005, Aizu-Wakamatsu, Japan, March 28-30, 2005, Proceedings /

Published 2005

Table of Contents: “... Web Notes -- A Searching Method Based on Problem Description and Algorithmic Features -- Augmenting...”
View full text

Electronic eBook

11

Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010, Proceedings /

Published 2010

Table of Contents: “...’ Evolution in Multi-application Smart Cards by Security-by-Contract? -- Website Credential Storage and Two...”
View full text

Electronic eBook

12

STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings /

Published 2005

Table of Contents: “...Invited Talks -- Automorphisms of Finite Rings and Applications to Complexity of Problems...”
View full text

Electronic eBook

13

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

Published 2013

Table of Contents: “... on Multi-objective Approaches to Search-Based Software Engineering -- Tutorial -- Cloud Computing and SBSE...”
View full text

Electronic eBook

14

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

Published 2008

Table of Contents: “... Process as a Pushdown Automaton -- Modeling Computational Security in Long-Lived Systems -- Contract...”
View full text

Electronic eBook

15

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006, Proceedings, Part II /

Published 2006

Table of Contents: “...Grid Computing, High Performance and Distributed Applications (GADA) 2006 International Conference...”
View full text

Electronic eBook

16

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

Published 2005

Table of Contents: “... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”
View full text

Electronic eBook

17

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

Published 2015

Table of Contents: “... -- The Relationship between Psychological Distress and Human Computer Interaction Parameters: Linear or Non-linear...”
View full text

Electronic eBook

18

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

Published 2014

Table of Contents: “... Contract-Based Design -- Verification of Markov Decision Processes Using Learning Algorithms -- Test...”
View full text

Electronic eBook

19

Intelligent Data Engineering and Automated Learning - IDEAL 2005 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Recursive Self-organizing Map as a Contractive Iterative Function System -- Differential Priors for Elastic...”
View full text

Electronic eBook

20

Artificial Neural Networks and Machine Learning -- ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I /

Published 2012

Table of Contents: “... Bayesian Network Structure -- The Mix-Matrix Method in the Problem of Binary Quadratic Optimization -- A...”
View full text

Electronic eBook

Narrow Search