Εμφανίζονται 861 - 880 Αποτελέσματα από 1.352 για την αναζήτηση '"embedded system"', χρόνος αναζήτησης: 0,89δλ Περιορισμός αποτελεσμάτων
  1. 861
    Advancement in Sensing Technology New Developments and Practical Applications /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… --     #2:  Development of an Embedded System-based Gateway for Environmental Monitoring  in --   #3…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 862
    Critical Information Infrastructures Security 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised Selected Papers /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Network Using a New Model of Interdependency -- Model-based Security Risk Analysis for Networked Embedded…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 863
    Computer Aided Verification 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… for the Development and Verification of Real-Time Embedded Systems? -- Microprocessor Verification, Cache Coherence…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… of Heterogeneous System Specifications -- Patterns for Embedded Systems Design -- Towards Verifying Distributed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 865
    Engineering and Deployment of Cooperative Information Systems First International Conference, EDCIS 2002, Beijing, China, September 17-20, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… for Distributed Embedded Systems Based on Workflow and Distributed Resource Management -- Knowledge Management…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 866
    Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems -- Brief…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… in Agile Teams -- TEST: Testing Environment for Embedded Systems Based on TTCN-3 in SILS -- A Framework…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 868
    Information and Communications Security 11th International Conference, ICICS 2009, Beijing, China, December 14-17, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Cryptography for SSL Protocol Execution in Embedded Systems -- Public Key Cryptography -- Online/Offline Ring…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 869
    Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Applications in Networked Embedded Systems -- Meaningful Metrics for Evaluating Eventual Consistency -- Caching…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 870
    Advanced Microsystems for Automotive Applications 2010 Smart Systems for Green Cars and Safe Mobility /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…Electrified Vehicles -- Embedded Systems: The Migration from ICE Vehicles to Electric Vehicles…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 871
    Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… of Model-Based Engineering in the Embedded Systems Domain -- The Relevance of Model-Driven Engineering…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… of Real-Time and Embedded Systems -- Modular Verification of Safe Online-Reconfiguration for Proactive…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 873
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 874
    Advances in Information Systems Development New Methods and Practice for the Networked Society /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Technologies for Distributed Embedded Systems in Industrial Process Automation -- How to Identify Objectives…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 875
    Human Centered Computing First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Sensor Based on STM32 Embedded System -- The Architecture and Energy Saving Technologies of Green Relay…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… OF PRODUCTION AREA OF AGRICULTURAL PRODUCT DATA COLLECTION SYSTEM BASED ON EMBEDDED SYSTEM -- APPLICATION OF ISO…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 877
    Vector and Parallel Processing - VECPAR'98 Third International Conference Porto, Portugal, June 21-23, 1998 Selected Papers and Invited Talks /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… of Parallel, Real-Time and Embedded Systems -- Spatial Data Locality with Respect to Degree of Parallelism…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 878
    High Performance Computing - HiPC 2000 7th International Conference Bangalore, India, December 17-20, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Techniques for Minimizing Memory Bandwidth in High-Throughput Embedded Systems -- Energy-Aware Instruction…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 879
    Reconfigurable Computing: Architectures, Tools and Applications 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Using SOFM -- Posters -- SORU: A Reconfigurable Vector Unit for Adaptable Embedded Systems -- A Parallel…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 880
    Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Framework for Distributed Cellular Computing -- Hardware/Software Co-synthesis of Distributed Embedded…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email