1
Published 2014
Table of Contents: ...Track B: Logic, Semantics, Automata, and Theory of Programming -- Symmetric Groups and Quotient...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ...The Role of Programming Languages in Future Data-Centric and Net-Centric Applications -- The Role...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... for Intertask Communication in Grid Computing Through Distributed Pipes -- Internet Technology -- Internet...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Reed-Solomon Codes -- Computational Complexity of the Distance Constrained Labeling Problem for Trees...
View full text
Electronic eBook
6
Published 2011
Table of Contents: ... Identification Using Genetic Algorithms -- 2. Sequential State Computation Using Discrete Modeling -- 3...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ... Compute Units -- Relationship-Preserving Change Propagation in Process Ecosystems -- Scheduling Service...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ...) -- CoopIS 2007 PC Co-chairs’ Message -- The Internet Service Bus -- Soundness Verification of Business...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Modeling Approach – Accessing Urban Growth Dynamics in Linguistic Terms -- Computer-Based Methods for a...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... and Panmictic Genetic Algorithms for Real-Time Object Detection -- Bloat Free Genetic Programming versus...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Programming and Environment -- A Greedy Algorithm for Capacity-Constrained Surrogate Placement in CDNs...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ...Image and Template Security for Palmprint -- Extending Network Lifetime by Time Constrained Data...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Constrained Multipath Routing Protocol for Wireless Sensor Networks -- Ubiquitous Computing -- PerSON: A...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... of Semantic Web Services Using Constraint Programming -- Architectural Decisions and Patterns...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- A Computerized Interactive Toy: TSU.MI.KI -- Multimodal Wayfinding in a Driving Simulator...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ...-Objective Programming for Energy Resource Planning -- Fuzzy Simulation Based Chance Constrained Programming...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... of Shellable Complexes to Distributed Computing -- Concurrency and Composition in a Stochastic World -- Taming...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... on Register-Constrained Inclusion Scheduling -- Hiord: A Type-Free Higher-Order Logic Programming Language...
View full text
Electronic eBook