Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
proceedings programs » proceedings program, processing programs, procedures programs
services computing » server computing, services computer, service computer
programs compact » programs impact, programs complete, program impact
compact https » impacts https
proceedings programs » proceedings program, processing programs, procedures programs
services computing » server computing, services computer, service computer
programs compact » programs impact, programs complete, program impact
compact https » impacts https
1
Published 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Availability in Sites -- Keeping Denial-of-Service Attackers in the Dark -- On Conspiracies and Hyperfairness...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... in Radio Networks -- A Subjective Visit to Selected Topics in Distributed Computing -- Regular Papers...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Lists -- Fault-Tolerant and Self-stabilizing Mobile Robots Gathering -- Fast Computation by Population...”View full text
Electronic
eBook
6
Published 2012
Table of Contents:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“... Based on the User Tendency in the Online Game Services -- Computer Education’s Teaching-Learning Methods...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... -- Compactness Properties for Stable Semantics of Logic Programs -- Uniform Circuits, & Boolean Proof Nets...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... -- A Complete and Compact Propositional Deontic Logic -- Verifying Lock-Freedom Using Well-Founded...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Patterns -- A Fast Algorithm to Calculate Powers of a Boolean Matrix for Diameter Computation of Random...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“...Invited Talks -- Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... and Collaboration Inducement in Mobile Ad hoc Networks -- Uncoupling of Mobile Cloud Computing Services...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“... Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Surface Reconstruction -- Finite Sample Bias of Robust Scale Estimators in Computer Vision Problems...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“...-Approximation Algorithm for Block Sorting -- Computational and Structural Complexity -- On the Power...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...”View full text
Electronic
eBook