Showing 721 - 740 results of 1,352 for search '"Embedded system"', query time: 0.12s Refine Results
  1. 721
    Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings /
    Published 2005
    Table of Contents: “…Invited Talk -- Modular Performance Analysis of Distributed Embedded Systems -- Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 722
    Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings /
    Published 2005
    Table of Contents: “… the Development of a Reliable Embedded System -- RT-EP: A Fixed-Priority Real Time Communication Protocol over…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 723
    Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 724
    Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings /
    Published 2007
    Table of Contents: “… -- Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems -- A Framework for Contract…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 725
    Dependable Computing Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings /
    Published 2007
    Table of Contents: “…Invited Talks -- Reliability, Safety, and Security in Everyday Embedded Systems (Extended Abstract…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 726
    Handbook of Networked and Embedded Control Systems
    Published 2005
    Table of Contents: “… -- Basics of Computer Architecture -- Real-Time Scheduling for Embedded Systems -- Network Fundamentals…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 727
    Lean Enterprise Software and Systems 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings /
    Published 2013
    Table of Contents: “…-Intensive Embedded Systems -- Feature Prioritization Based on Mock-Purchase: A Mobile Case Study -- Part…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 728
    Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /
    Published 2008
    Table of Contents: “… of Component-Based Embedded Systems for Automotive Applications -- On the Timed Automata-Based Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 729
    Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings /
    Published 2008
    Table of Contents: “… Verification of Embedded Systems -- Integrating Portfolio Management and Simulation Concepts in the ERP Project…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 730
    Έλεγχος ρομποτικού φιδιού με μικροελεγκτή
    Get full text
    Thesis
  11. 731
    Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014. Proceedings /
    Published 2014
    Table of Contents: “…Part Agile Development -- UX Design in Agile: A DSDM Case Study -- Agile Principles in the Embedded…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 732
    Image Processing and Communications Challenges 10 10th International Conference, IP&C'2018 Bydgoszcz, Poland, November 2018, Proceedings /
    Published 2019
    Table of Contents: “…10 years of IP&C -- Development of a mobile robot prototype based on an embedded system for mapping…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 733
    Σύστημα ανίχνευσης σημάτων ακουστικής εκπομπής και αυτόματης μετάδοσης σε υπολογιστικό σύστημα
    by Πλαγκέτη, Λητώ
    Published 2018
    Get full text
    Thesis
  14. 734
    Human Interface and the Management of Information. Information and Interaction Design 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I /
    Published 2013
    Table of Contents: “… Mixed Reality Technique -- Managing HMI quality in embedded system development -- Window Manager…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 735
    Proceedings of the International Conference on Nano-electronics, Circuits & Communication Systems
    Published 2017
    Table of Contents: “… Implementation of Evolvable Embedded System for Combinational Logic Circuits using Virtex 6 FPGA -- 3. Evaluation…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 736
    Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /
    Published 2015
    Table of Contents: “… Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 737
    Generative Programming and Component Engineering Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings /
    Published 2003
    Table of Contents: “…-Specific Language for Real-Time Embedded Systems -- Staged Programming -- Implementing Multi-stage…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 738
    ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings /
    Published 1998
    Table of Contents: “…Industrial Issues -- Industrial Requirements for the Efficient Development of Reliable Embedded…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 739
    Algorithmic Aspects of Wireless Sensor Networks Second International Workshop, ALGOSENSORS 2006, Venice, Italy, July 15, 2006, Revised Selected Papers /
    Published 2006
    Table of Contents: “… Sensor Networks -- Declarative Resource Naming for Macroprogramming Wireless Networks of Embedded Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 740
    Advances in Heuristic Signal Processing and Applications
    Published 2013
    Table of Contents: “… Tracking for Embedded Systems: State of the Art.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search