1
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Cryptography: Physical Unclonable Functions -- Regular Papers -- Low-Cost Elliptic Curve Cryptography...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...
View full text
Electronic eBook
7
by Li, Xingfeng., Li, Xingfeng.
Published 2014
Table of Contents: ... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ...: An Early-Stopping Protocol for Computing Aggregate Functions in Sensor Networks -- Easy Consensus...
View full text
Electronic eBook
9
Table of Contents: ... -- Adding Cut-and-Paste Functionality -- Adding Drag-and-Drop Functionality -- Printing -- Introducing Java...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ...Keynote Talk I -- Distributed Security Algorithms by Mobile Agents -- Session I A: Ad Hoc Networks...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...Adding Expert Knowledge and Exploration in Monte-Carlo Tree Search -- A Lock-Free Multithreaded...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... -- Adding Functionality to DNA Arrays: the Development of Semisynthetic DNA-Protein Conjugates -- Bacterial...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... and Collaboration Inducement in Mobile Ad hoc Networks -- Uncoupling of Mobile Cloud Computing Services...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...
View full text
Electronic eBook