Showing 861 - 880 results of 1,352 for search '"Embedded system"', query time: 0.67s Refine Results
  1. 861
    Advancement in Sensing Technology New Developments and Practical Applications /
    Published 2013
    Table of Contents: “… --     #2:  Development of an Embedded System-based Gateway for Environmental Monitoring  in --   #3…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 862
    Critical Information Infrastructures Security 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised Selected Papers /
    Published 2016
    Table of Contents: “… Network Using a New Model of Interdependency -- Model-based Security Risk Analysis for Networked Embedded…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 863
    Computer Aided Verification 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings /
    Published 2001
    Table of Contents: “… for the Development and Verification of Real-Time Embedded Systems? -- Microprocessor Verification, Cache Coherence…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 864
    Computer Aided Systems Theory - EUROCAST'99 A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings /
    Published 2000
    Table of Contents: “… of Heterogeneous System Specifications -- Patterns for Embedded Systems Design -- Towards Verifying Distributed…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 865
    Engineering and Deployment of Cooperative Information Systems First International Conference, EDCIS 2002, Beijing, China, September 17-20, 2002. Proceedings /
    Published 2002
    Table of Contents: “… for Distributed Embedded Systems Based on Workflow and Distributed Resource Management -- Knowledge Management…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 866
    Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems -- Brief…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 867
    Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings /
    Published 2009
    Table of Contents: “… in Agile Teams -- TEST: Testing Environment for Embedded Systems Based on TTCN-3 in SILS -- A Framework…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 868
    Information and Communications Security 11th International Conference, ICICS 2009, Beijing, China, December 14-17, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Cryptography for SSL Protocol Execution in Embedded Systems -- Public Key Cryptography -- Online/Offline Ring…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 869
    Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II /
    Published 2010
    Table of Contents: “… Applications in Networked Embedded Systems -- Meaningful Metrics for Evaluating Eventual Consistency -- Caching…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 870
    Advanced Microsystems for Automotive Applications 2010 Smart Systems for Green Cars and Safe Mobility /
    Published 2010
    Table of Contents: “…Electrified Vehicles -- Embedded Systems: The Migration from ICE Vehicles to Electric Vehicles…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 871
    Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings /
    Published 2014
    Table of Contents: “… of Model-Based Engineering in the Embedded Systems Domain -- The Relevance of Model-Driven Engineering…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 872
    Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers /
    Published 2006
    Table of Contents: “… of Real-Time and Embedded Systems -- Modular Verification of Safe Online-Reconfiguration for Proactive…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 873
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    Published 2008
    Table of Contents: “… for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 874
    Advances in Information Systems Development New Methods and Practice for the Networked Society /
    Published 2007
    Table of Contents: “… Technologies for Distributed Embedded Systems in Industrial Process Automation -- How to Identify Objectives…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 875
    Human Centered Computing First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers /
    Published 2015
    Table of Contents: “… Sensor Based on STM32 Embedded System -- The Architecture and Energy Saving Technologies of Green Relay…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 876
    Computer and Computing Technologies in Agriculture II, Volume 3 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China /
    Published 2009
    Table of Contents: “… OF PRODUCTION AREA OF AGRICULTURAL PRODUCT DATA COLLECTION SYSTEM BASED ON EMBEDDED SYSTEM -- APPLICATION OF ISO…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 877
    Vector and Parallel Processing - VECPAR'98 Third International Conference Porto, Portugal, June 21-23, 1998 Selected Papers and Invited Talks /
    Published 1999
    Table of Contents: “… of Parallel, Real-Time and Embedded Systems -- Spatial Data Locality with Respect to Degree of Parallelism…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 878
    High Performance Computing - HiPC 2000 7th International Conference Bangalore, India, December 17-20, 2000 Proceedings /
    Published 2000
    Table of Contents: “… Techniques for Minimizing Memory Bandwidth in High-Throughput Embedded Systems -- Energy-Aware Instruction…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 879
    Reconfigurable Computing: Architectures, Tools and Applications 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Using SOFM -- Posters -- SORU: A Reconfigurable Vector Unit for Adaptable Embedded Systems -- A Parallel…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 880
    Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings /
    Published 2008
    Table of Contents: “… Framework for Distributed Cellular Computing -- Hardware/Software Co-synthesis of Distributed Embedded…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search