 [9-23]Mobility in Ad Hoc Wireless Networks: Friend or Foe
|
2009-09-22 |
| [9-10]Formal security proofs for cryptographic algorithms and their implementations
|
2009-09-07 |
| [9-1]Certification of code-based cryptographic proofs
|
2009-08-27 |
| [8-14]RELATIVE INFORMATION COMPLETENESS
|
2009-08-11 |
| [8-13]Multi-level Domain Decomposition Preconditioners and Applications in Solving Inverse Elliptic Problems
|
2009-08-10 |
| [8-13]An Algorithmic Framework for Solving Systems of PDEs from Multi-physics Applications on Parallel Computers
|
2009-08-10 |
| [8-13]DDMs for PDEs: the history and recent developments
|
2009-08-10 |
| [8-12]Phase-field models for multiphase complex fluids: modeling, numerical analysis and simulations
|
2009-08-10 |
| [7-30]User friendly solvers and solver friendly discritization
|
2009-07-28 |
| [7-27]Testing Finitary Probabilistic Processes
|
2009-07-20 |
| [7-23]Moduli of Smoothness and K-functionals on Unit Sphere and Unit Ball
|
2009-07-20 |
| [7-21]Measurement-Driven System Development Strategies...
|
2009-07-13 |
| [7-16]A Graph-Based Operational Semantics of Object Oriented Programs
|
2009-07-01 |
| [7-15]Cloud Computing: Virtual Clusters, Data Security, and Disaster Recovery
|
2009-07-10 |
| [7-14]A New Era after the Convergence of Network Centric and Data Centric Computing
|
2009-07-13 |
