1
Publicat 2007
Taula de continguts: ...Ad-Hoc Networks -- Adaptive Admission Control for Mobile Ad Hoc Networks based on a Cross-layer...
Obtenir text complet
Electrònic eBook
2
Publicat 2013
Taula de continguts: ... -- Prediction Based Job Scheduling Strategy for a Volunteer Desktop Grid -- GRAF Password for More Secured User...
Obtenir text complet
Electrònic eBook
3
Publicat 2006
Taula de continguts: ... -- Applying Transformations to Model Driven Data Warehouses -- Bulk Loading a Linear Hash File -- Materialized...
Obtenir text complet
Electrònic eBook
4
Publicat 2011
Taula de continguts: ...Introduction to Optimization in Wireless Networks -- Introduction to Wireless Communications...
Obtenir text complet
Electrònic eBook
5
Publicat 2007
Taula de continguts: ... Simulation Based on Mass-Spring System -- Sweeping Surface Generated by a Class of Generalized Quasi-cubic...
Obtenir text complet
Electrònic eBook
6
Publicat 2006
Taula de continguts: ...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...
Obtenir text complet
Electrònic eBook
7
Publicat 2005
Taula de continguts: ... Excitation for Speech Generation Based on Recursive Volterra Systems -- A Simple, Quasi-linear, Discrete...
Obtenir text complet
Electrònic eBook
8
Publicat 2010
Taula de continguts: ... Classifier Based on Bipartite Graph Representation of Decision Tables -- Main Track (Short Papers) -- A...
Obtenir text complet
Electrònic eBook
9
Publicat 2008
Taula de continguts: ... Issues -- Peer-to-Peer Systems -- Cooperation in P2P Systems through Sociological Incentive Patterns -- A...
Obtenir text complet
Electrònic eBook
10
Publicat 2010
Taula de continguts: ... Linear-Size Circuits -- A K-Provers Parallel Repetition Theorem for a Version of No-Signaling Model...
Obtenir text complet
Electrònic eBook
11
Publicat 2005
Taula de continguts: ... and Collective Communication Performance with Output-Queued High-Radix Routers -- A Clustering and Traffic...
Obtenir text complet
Electrònic eBook
12
Publicat 2005
Taula de continguts: ... Constraint Satisfaction Problems -- A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems...
Obtenir text complet
Electrònic eBook
13
Publicat 2010
Taula de continguts: ... -- Session 2. Model Checking and Automata -- Simulation Subsumption in Ramsey-Based Büchi Automata...
Obtenir text complet
Electrònic eBook
14
Publicat 2008
Taula de continguts: ... Linear Programming -- Tool Papers -- Synthesis of Petri Nets from Scenarios with VipTool -- A Monitoring...
Obtenir text complet
Electrònic eBook
15
Publicat 2015
Taula de continguts: ... -- Relative Discrepancy Does not Separate Information and Communication Complexity -- A Galois Connection...
Obtenir text complet
Electrònic eBook
16
Publicat 2007
Taula de continguts: ... Decision Diagrams -- Model Checking on Trees with Path Equivalences -- Uppaal/DMC – Abstraction-Based...
Obtenir text complet
Electrònic eBook
17
Publicat 2007
Taula de continguts: ... Optical Networks -- All-Optical Signal Processing Subsystems Based on Highly Non-linear Fibers...
Obtenir text complet
Electrònic eBook
18
Publicat 2005
Taula de continguts: ... of Planar Points Under Min-sum Criteria -- A Generalization of Magic Squares with Applications to Digital...
Obtenir text complet
Electrònic eBook
19
Publicat 2015
Taula de continguts: ... -- Reasoning over Linear Probabilistic Knowledge Bases with Priorities -- Intelligent Data Analytics...
Obtenir text complet
Electrònic eBook
20
Publicat 2013
Taula de continguts: ...Critical Issues in Model-Based Surrogate Functions in Estimation of Distribution Algorithms...
Obtenir text complet
Electrònic eBook