1
Published 2006
Table of Contents: ... of Composable Memory Transactions in Concurrent Haskell -- Polytypic Syntax Tree Operations -- Implementing a...
View full text
Electronic eBook
2
Table of Contents: ... Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Boundary Between Service And Desktop Grids -- P2P-based Job Assignment For Public Resource Computing...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Recognition by Immune Neural Network -- Composing Different Models of Computation in Kepler and Ptolemy II...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ...Coupled Problems -- A Unified Approach for the Analysis of Networks Composed of Transmission Lines...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...
View full text
Electronic eBook
11
by Raynal, Michel., Raynal, Michel.
Published 2013
Table of Contents: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Simulation and Composable Point Obfuscation -- Multiparty Computation -- Protocols for Multiparty Coin Toss...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Functionality -- Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... on the Joint Linear Complexity Profile of Multisequences -- Period of Streamcipher Edon80 -- Boolean Function...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ...Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... to Mobile Computing – Keynote Address -- Extending Wide-Area Replication Support with Mobility and Improved...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... from Lossy Trapdoor Functions -- Attacking RSA with a Composed Decryption Exponent Using Unravelled...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ...Computing Cusps of 3R Robots Using Distance Geometry -- Kinematic Mapping of SE(4...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
20
by Kagan, M. Yu., Kagan, M. Yu.
Published 2013
Table of Contents: ... on molecular BEC in 6Li and 40K -- Reference list to Chapter 5 -- Composed particles, trios and quartets...
View full text
Electronic eBook