Εμφανίζονται 701 - 720 Αποτελέσματα από 1.352 για την αναζήτηση '"Embedded system"', χρόνος αναζήτησης: 0,28δλ Περιορισμός αποτελεσμάτων
  1. 701
    Progress in Cryptology - INDOCRYPT 2006 7th International Conference on Cryptology in India, Kolkata, India, December 11-13, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Encryption Without Random Oracles: Security Notions and Construction -- Embedded System and Side Channel…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 702
    Technologies and Innovation Third International Conference, CITI 2017, Guayaquil, Ecuador, October 24-27, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “…-based architecture to develop a healthcare smart platform -- A Development Model of an Embedded System…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 703
    Real-Time and Embedded Computing Systems and Applications 9th International Conference, RTCSA 2003, Tainan City, Taiwan, February 18-20, 2003. Revised Papers /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- Embedded Systems/Environments -- XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 704
    Information Security Theory and Practice 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Generation by Policy Invalidation -- Lightweight Password Hashing Scheme for Embedded Systems -- Secure…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 705
    Innovative Security Solutions for Information Technology and Communications 8th International Conference, SECITC 2015, Bucharest, Romania, June 11-12, 2015. Revised Selected Papers /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… -- Evaluation of Lightweight Block Ciphers for Embedded Systems -- SCA Resistance Analysis on FPGA…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 706
    Software Architecture First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Development Methodology -- Correct Development of Embedded Systems -- Expressing Domain Variability…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 707
    Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Multivariate PKC on Low-Resource Embedded Systems -- Integrity -- Higher Dependability and Security for Mobile…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 708
    Autonomic and Trusted Computing 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…-Based Organic Computing Systems -- Towards Self-organization in Automotive Embedded Systems -- Analyzing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 709
    Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 710
    Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… of Embedded Systems -- Design Verification Patterns -- On Revival of Algol-Concepts in Modern Programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 711
    Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems -- Towards Testing Self…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 712
    Software Process Technology 7th European Workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000. Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… and evaluation of object orientation in a company developing real-time embedded systems -- Descriptive process…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 713
    Foundations of Software Science and Computation Structures 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Marrella and the Verification of an Embedded System.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 714
    Informatics in Control, Automation and Robotics 11th International Conference, ICINCO 2014 Vienna, Austria, September 2-4, 2014 Revised Selected Papers /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… -- Adaptive Embedded Systems - New Composed Technical Solutions for Feasible Low-Power and Real-time Flexible…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 715
    Embedded Software Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… to Distributed Real-Time Embedded Systems -- Regular Papers -- Heterogeneous Reactive Systems Modeling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 716
    Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015
    Έκδοση 2016
    Πίνακας περιεχομένων: “… -- Automatic Generation of S-LAM Descriptions from UML/MARTE for the DSE of Massively Parallel Embedded Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 717
    Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Self-organizing Software Components in Distributed Systems -- Toward Self-adaptive Embedded Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 718
    Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… in Model Checking Embedded Systems Assembly Code -- A Complete Bounded Model Checking Algorithm…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 719
    Middleware 2005 ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- RTZen: Highly Predictable, Real-Time Java Middleware for Distributed and Embedded Systems -- Composite…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 720
    Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Testing in Large-Scale Component-Based Systems -- Black-Box System Testing of Real-Time Embedded Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email