Showing 701 - 720 results of 1,352 for search '"embedded system"', query time: 0.12s Refine Results
  1. 701
    Progress in Cryptology - INDOCRYPT 2006 7th International Conference on Cryptology in India, Kolkata, India, December 11-13, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Encryption Without Random Oracles: Security Notions and Construction -- Embedded System and Side Channel…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 702
    Technologies and Innovation Third International Conference, CITI 2017, Guayaquil, Ecuador, October 24-27, 2017, Proceedings /
    Published 2017
    Table of Contents: “…-based architecture to develop a healthcare smart platform -- A Development Model of an Embedded System…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 703
    Real-Time and Embedded Computing Systems and Applications 9th International Conference, RTCSA 2003, Tainan City, Taiwan, February 18-20, 2003. Revised Papers /
    Published 2004
    Table of Contents: “… -- Embedded Systems/Environments -- XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 704
    Information Security Theory and Practice 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings /
    Published 2015
    Table of Contents: “… Generation by Policy Invalidation -- Lightweight Password Hashing Scheme for Embedded Systems -- Secure…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 705
    Innovative Security Solutions for Information Technology and Communications 8th International Conference, SECITC 2015, Bucharest, Romania, June 11-12, 2015. Revised Selected Papers /
    Published 2015
    Table of Contents: “… -- Evaluation of Lightweight Block Ciphers for Embedded Systems -- SCA Resistance Analysis on FPGA…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 706
    Software Architecture First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Development Methodology -- Correct Development of Embedded Systems -- Expressing Domain Variability…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 707
    Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Multivariate PKC on Low-Resource Embedded Systems -- Integrity -- Higher Dependability and Security for Mobile…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 708
    Autonomic and Trusted Computing 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings /
    Published 2009
    Table of Contents: “…-Based Organic Computing Systems -- Towards Self-organization in Automotive Embedded Systems -- Analyzing…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 709
    Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
    Published 2010
    Table of Contents: “…-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2007
    Table of Contents: “… of Embedded Systems -- Design Verification Patterns -- On Revival of Algol-Concepts in Modern Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 711
    Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /
    Published 2014
    Table of Contents: “… Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems -- Towards Testing Self…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 712
    Software Process Technology 7th European Workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000. Proceedings /
    Published 2000
    Table of Contents: “… and evaluation of object orientation in a company developing real-time embedded systems -- Descriptive process…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2001
    Table of Contents: “… -- Marrella and the Verification of an Embedded System.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 714
    Informatics in Control, Automation and Robotics 11th International Conference, ICINCO 2014 Vienna, Austria, September 2-4, 2014 Revised Selected Papers /
    Published 2016
    Table of Contents: “… -- Adaptive Embedded Systems - New Composed Technical Solutions for Feasible Low-Power and Real-time Flexible…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 715
    Embedded Software Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings /
    Published 2003
    Table of Contents: “… to Distributed Real-Time Embedded Systems -- Regular Papers -- Heterogeneous Reactive Systems Modeling…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 716
    Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015
    Published 2016
    Table of Contents: “… -- Automatic Generation of S-LAM Descriptions from UML/MARTE for the DSE of Massively Parallel Embedded Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 717
    Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings /
    Published 2007
    Table of Contents: “… -- Self-organizing Software Components in Distributed Systems -- Toward Self-adaptive Embedded Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 718
    Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
    Published 2008
    Table of Contents: “… in Model Checking Embedded Systems Assembly Code -- A Complete Bounded Model Checking Algorithm…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 719
    Middleware 2005 ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings /
    Published 2005
    Table of Contents: “… -- RTZen: Highly Predictable, Real-Time Java Middleware for Distributed and Embedded Systems -- Composite…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 720
    Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Testing in Large-Scale Component-Based Systems -- Black-Box System Testing of Real-Time Embedded Systems…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search