Showing 801 - 820 results of 1,352 for search '"Embedded system"', query time: 0.44s Refine Results
  1. 801
    Biometric Authentication ECCV 2004 International Workshop, BioAW 2004, Prague, Czech Republic, May 15th, 2004. Proceedings /
    Published 2004
    Table of Contents: “… -- Efficient Fingerprint Image Enhancement for Mobile Embedded Systems -- Template Protection and Security…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 802
    Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Product Line Architecture -- A Formal Component Framework for Distributed Embedded Systems -- A Prototype…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 803
    Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings /
    Published 2006
    Table of Contents: “… for Automated Analysis of Embedded Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 804
    Exploring Services Science First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010. Revised Papers /
    Published 2010
    Table of Contents: “…: An Approach to Web Services for Embedded Systems Based on the OSGi Framework -- Value Co-creation and Customer…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 805
    Security and Privacy in Communication Networks 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedings /
    Published 2010
    Table of Contents: “… for Android -- System Security – II -- Efficient Isolation of Trusted Subsystems in Embedded Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 806
    Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings /
    Published 2012
    Table of Contents: “… Correct Embedded Systems -- Complementary Methodologies for Developing Hybrid Systems with Event-B -- A…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 807
    Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers /
    Published 2013
    Table of Contents: “… for Embedded Systems Based on Time Petri Nets -- Pruning False Positives of Static Data-Race Detection via…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 808
    Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /
    Published 2008
    Table of Contents: “… -- Non-functional Requirements in Embedded Systems -- Navigating the Requirements Jungle -- Non…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 809
    Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V /
    Published 2012
    Table of Contents: “… -- Implementation of Face Selective Attention Model on an Embedded System -- From Image Annotation to Image…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 810
    Computer Safety, Reliability and Security 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings /
    Published 1998
    Table of Contents: “… Methods III - Petri Nets -- Integration of Logical and Physical Properties of Embedded Systems by Use…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 811
    Tools and Algorithms for the Construction and Analysis of Systems 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings /
    Published 2002
    Table of Contents: “… of Embedded Systems -- Compositional Verification Using SVL Scripts -- STG: A Symbolic Test Generation Tool…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 812
    Computer Safety, Reliability, and Security 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings /
    Published 2003
    Table of Contents: “… -- Dependable Communication Synthesis for Distributed Embedded Systems -- Tools for Dependable Design…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 813
    Languages and Compilers for Parallel Computing 16th International Workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003. Revised Papers /
    Published 2004
    Table of Contents: “…-Aware Programming for Networks of Embedded Systems -- Operation Reuse on Handheld Devices -- Memory…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 814
    Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings /
    Published 2013
    Table of Contents: “…-Multiprocessor for GALS Embedded Systems -- HW/SW Tradeoffs for Dynamic Message Scheduling in Controller Area…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 815
    Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings /
    Published 2008
    Table of Contents: “… of Embedded Systems with UPPAAL PORT -- Timed and Stochastic Systems -- Time-Progress Evaluation for Dense…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 816
    Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9-12, 2019, Proceedings /
    Published 2019
    Table of Contents: “… in embedded systems using deep convolutional neural networks -- Design, optimization and characterization…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 817
    Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
    Published 2010
    Table of Contents: “…Invited Talks -- Embedded Systems Design — Scientific Challenges and Work Directions -- Antichain…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 818
    Networked Services and Applications - Engineering, Control and Management 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010. Proceedings /
    Published 2010
    Table of Contents: “… with Proactive Nodes for Scheduling and Optimizing Distributed Embedded Systems -- Resource Adaptive Distributed…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 819
    Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I /
    Published 2010
    Table of Contents: “… System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies -- Improving Test…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 820
    Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
    Published 2010
    Table of Contents: “… -- Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects -- Verification…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search