Showing 121 - 140 results of 238 for search 'Java (software platform)', query time: 0.25s Refine Results
  1. 121
    Euro-Par 2009 – Parallel Processing Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papers /
    Published 2010
    Table of Contents: “… on Highly Parallel Processing on a Chip -- The Next 25 Years of Computer Architecture? -- Software…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 122
    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /
    Published 2014
    Table of Contents: “… -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 123
    Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services 5th International Conference on Intelligence in Services and Networks, IS&N'98, Antwerp, Belgium, May 25-28, 1998, Proceedings /
    Published 1998
    Table of Contents: “… -- Adaptable and adaptive user interfaces for disabled users in the AVANTI project -- An ATM API for Java…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 124
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /
    Published 2016
    Table of Contents: “… for Software Ecosystems -- Adaptable Runtime Monitoring for the Java Virtual Machine -- Identifying Variability…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 125
    Ανάπτυξη παιχνιδιού σε storytelling πλατφόρμα για την προετοιμασία μηχανικών λογισμικού για συνεντεύξεις εργασίας
    Subjects: “…Software engineers preparation…”
    Get full text
  6. 126
    Services and Visualization: Towards User-Friendly Design ACos'98, VISUAL'98, AIN'97, Selected Papers /
    Published 1998
    Table of Contents: “… IN protocol implementation -- Agent-based data services in future IN-platforms -- Visualisation of executable…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 127
    Trends in Distributed Systems: Towards a Universal Service Market Third International IFIP/GI Working Conference, USM 2000 Munich, Germany, September 12-14, 2000 Proceedings /
    Published 2000
    Table of Contents: “… Aware Service Platform for Mobile Applications Based on Java RMI -- Poster Session II: Trends in Data…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 128
    Enterprise Interoperability III New Challenges and Industrial Approaches /
    Published 2008
    Table of Contents: “…-disciplinary B2(B2B) Network -- Platform Design for the B2(B2B) Approach -- Trust and Security in Collaborative…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 129
    Ubiquitous Computing Systems Third International Symposium, UCS 2006, Seoul, Korea, October 11-13, 2006. Proceedings /
    Published 2006
    Table of Contents: “… -- JSense – Prototyping Sensor-Based, Location-Aware Applications in Java -- Communications I -- Estimation…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 130
    Beginning Apache Cassandra Development
    by Mishra, Vivek
    Published 2014
    Subjects: “…Application software.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 131
    Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings /
    Published 2005
    Table of Contents: “…-linear Robust Discrete Time Hybrid Systems -- Computation Platform for Automatic Analysis of Embedded…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 132
    The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library /
    by Beebe, Nelson H.F
    Published 2017
    Table of Contents: “… Architectures -- Appendix I: Integer Arithmetic -- Appendix J: Java Interface -- Appendix L: Letter Notation…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 133
    Objects, Components, Architectures, Services, and Applications for a Networked World International Conference NetObjectDays, NODe 2002, Erfurt, Germany, October 7-10, 2002, Revised Papers /
    Published 2003
    Table of Contents: “… Plug-In-Based Application Development -- Supporting Component-Based Software Evolution -- Java Smart…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 134
    Persistent Object Systems: Design, Implementation, and Use 9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers /
    Published 2001
    Table of Contents: “…Session 1: Overview -- A Framework for Persistence-Enabled Optimization of Java Object Stores…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 135
    Programming Languages and Systems 10th European Symposium on Programming, ESOP 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: “… Formalisation of Java's Exception Mechanism -- A Formal Executable Semantics of the JavaCard Platform…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 136
    Mobile Agents First International Workshop, MA '97, Berlin, Germany, April, 7-8, 1997, Proceedings /
    Published 1997
    Table of Contents: “… systems -- Exploiting code mobility in decentralized and flexible network management -- Java-based mobile…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 137
    Computer Security - ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II /
    Published 2019
    Table of Contents: “…Software Security -- Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 138
    Innovative Security Solutions for Information Technology and Communications 11th International Conference, SecITC 2018, Bucharest, Romania, November 8-9, 2018, Revised Selected Papers /
    Published 2019
    Table of Contents: “… -- Normalization of Java source codes -- HiddenApp - Securing Linux applications using ARM TrustZone -- Security…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 139
    Interactive Multimedia on Next Generation Networks First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Napoli, Italy, November 18-21, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Watermarking -- A Mixed XML-JavaBeans Approach to Developing T-learning Applications for the Multimedia Home…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 140
    Advances in Multimedia and Network Information System Technologies
    Published 2010
    Table of Contents: “… for Two Layered Retrieval -- Verification of Open Source Web Frameworks for Java Platform -- - E-Learning…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search