Showing 3,201 - 3,220 results of 6,261 for search '"virtualization"', query time: 0.90s Refine Results
  1. 3201
    Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers /
    Published 2002
    Table of Contents: “… -- A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines -- Analyzing…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 3202
    Innovative Security Solutions for Information Technology and Communications 9th International Conference, SECITC 2016, Bucharest, Romania, June 9-10, 2016, Revised Selected Papers /
    Published 2016
    Table of Contents: “…-Algorithm against SCA by Modifying its Initialization -- When Pythons Bite -- Secure Virtual Machine…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3203
    Multi-Image Analysis 10th International Workshop on Theoretical Foundations of Computer Vision Dagstuhl Castle, Germany, March 12-17, 2000 Revised Papers /
    Published 2001
    Table of Contents: “… Vision and Virtual Reality -- Implicit 3D Approach to Image Generation: Object-Based Visual Effects…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 3204
    Services and Visualization: Towards User-Friendly Design ACos'98, VISUAL'98, AIN'97, Selected Papers /
    Published 1998
    Table of Contents: “… for distributed virtual environments -- Value-added services in industrial automation -- Requirements and a…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 3205
    Persistent Object Systems: Design, Implementation, and Use 9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers /
    Published 2001
    Table of Contents: “… -- Architecture of the PEVM: A High-Performance Orthogonally Persistent Java™ Virtual Machine -- Session 2…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 3206
    Computer Science in Perspective Essays Dedicated to Thomas Ottmann /
    Published 2003
    Table of Contents: “… Visualization of Voronoi Diagrams -- Online Courses Step by Step -- Spatial Data Management for Virtual Product…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 3207
    Education Tools for Entrepreneurship Creating an Action-Learning Environment through Educational Learning Tools /
    Published 2016
    Table of Contents: “… virtual and classroom teaching contexts -- Chapter 8 Enhancement of entrepreneurship in Colombian…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 3208
    Simulating Prehistoric and Ancient Worlds
    Published 2016
    Table of Contents: “… with Intelligent Virtual Agents.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 3209
    Theory of Cryptography 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II /
    Published 2016
    Table of Contents: “… Maps -- Secure Obfuscation in a Weak Multilinear Map Model -- Virtual Grey-Boxes Beyond Obfuscation: A…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 3210
    Communication Technologies for Vehicles 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings /
    Published 2016
    Table of Contents: “…KEYNOTE: Roadmap for Wireless Virtual Coupling of Trains -- Rail2X: Demonstration of Vehicle2X…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 3211
    Structural Health Monitoring, Damage Detection & Mechatronics, Volume 7 Proceedings of the 34th IMAC, A Conference and Exposition on Structural Dynamics 2016 /
    Published 2016
    Table of Contents: “… Fiber Optic Sensor Arrays for Real-Time Virtual Instrumentation and Control of Flexible Structures -- 3…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 3212
    Education for Sustainability in Tourism A Handbook of Processes, Resources, and Strategies /
    Published 2015
    Table of Contents: “… for Sustainable Tourism Education: A roadmap to virtual fieldtrips -- 15 Global Programs in Sustainability: A Case…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 3213
    Food, agriculture, and economic policy in the Middle East and North Africa
    Published 2003
    Table of Contents: “… East and North Africa / Julia Devlin -- Politics, economics and (virtual) water : A discursive analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 3214
    Ethics in groups
    Published 2006
    Table of Contents: “…The ethical implications of virtual interaction / Kevin W. Rockmann, Gregory B. Northcraft…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 3215
    Decolonizing Global Citizenship Education
    Published 2015
    Table of Contents: “… Learners -- Virtual Learning Environments’ Contributions to the Processes of Decoloniality of Being…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 3216
    Technological applications
    Published 2001
    Table of Contents: “… M. Royer, Kenneth A. Rath, Loel N. Tronsky -- Zoning in on physics: creating virtual reality…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 3217
    Supporting Real Time Decision-Making The Role of Context in Decision Support on the Move /
    Published 2011
    Table of Contents: “… of Decision Support for Virtual Communities of Practice -- Why Real-Time Transaction Processing Fails…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 3218
    Stochastic Processes, Multiscale Modeling, and Numerical Methods for Computational Cellular Biology
    Published 2017
    Table of Contents: “… for Spatial Stochastic Kinetics.- The T cells in an Ageing Virtual Mouse.- Part III: Analysis of Stochastic…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 3219
    Community Informatics Design Applied to Digital Social Systems Communicational Foundations, Theories and Methodologies /
    by Harvey, Pierre-Léonard
    Published 2017
    Table of Contents: “…: The Construction of a Community Informatics Design Assistance System to Support Communities and Virtual…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 3220
    Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005 /
    Published 2006
    Table of Contents: “… -- Creating Virtual Prototypes of Complex MEMS Transducers Using Reduced-Order Modelling Methods and VHDL-AMS…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search