1
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
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
Published 2012
Table of Contents: ... -- The Complexity of Rerouting Shortest Paths -- Computing with Large Populations Using Interactions -- Pancake...
View full text
Electronic eBook
4
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
Published 2007
Table of Contents: ... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... Evolutionary Algorithm Based on Decomposition and Contraction for Many-objective Optimization Problems -- Cell...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Mobile Work -- Using Autonomic Computing and Click Stream Analysis for Problem Identification...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ...Fair Exchange -- An Evenhanded Certified Email System for Contract Signing -- Efficient ID-Based...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ...Invited Paper -- Palpable Computing and the Role of Agent Technology -- Research Papers -- A...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Web Notes -- A Searching Method Based on Problem Description and Algorithmic Features -- Augmenting...
View full text
Electronic eBook
11
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
Published 2005
Table of Contents: ...Invited Talks -- Automorphisms of Finite Rings and Applications to Complexity of Problems...
View full text
Electronic eBook
13
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
Published 2008
Table of Contents: ... Process as a Pushdown Automaton -- Modeling Computational Security in Long-Lived Systems -- Contract...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ...Grid Computing, High Performance and Distributed Applications (GADA) 2006 International Conference...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...
View full text
Electronic eBook
17
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
Published 2014
Table of Contents: ... Contract-Based Design -- Verification of Markov Decision Processes Using Learning Algorithms -- Test...
View full text
Electronic eBook
19
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
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