Εμφανίζονται 81 - 100 Αποτελέσματα από 238 για την αναζήτηση 'Java (software platform)', χρόνος αναζήτησης: 0,13δλ Περιορισμός αποτελεσμάτων
  1. 81
    Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…Keynote Speech -- Building a Domain-Knowledge Guided System Software Environment to Achieve High…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 82
    ECOOP 2010 – Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… in Object-Oriented Software -- Debugging Model-Transformation Failures Using Dynamic Tainting…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 83
    ASP.NET Core Recipes A Problem-Solution Approach /
    ανά Ciliberti, John
    Έκδοση 2017
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 84
    Pro Team Foundation Service
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 85
    Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…? -- Contributed Papers -- Verifying Cryptographic Software Correctness with Respect to Reference Implementations…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 86
    Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Dynamics on Grid Platforms: Some Effects of Long Range Interactions on the Reactivity of N + N2…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 87
    Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Platform for Multi–modeling -- Keynote II -- Abstraction and Modelling — A Complementary Partnership…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 88
    Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… of Embedded Control Software -- Reflection Analysis for Java -- Lightweight Family Polymorphism -- A Portable…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 89
    Middleware 2009 ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 – December 4, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… in Java Enterprise Edition -- A Cost-Sensitive Adaptation Engine for Server Consolidation of Multitier…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 90
    Middleware 2013 ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… – Deterministic Execution Replayability-as-a-Service for Java VM on Multiprocessors -- DynaSoRe: Efficient…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 91
    Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… and ?-Removal -- A Software Platform for Timed Mobility and Timed Interaction -- Modeling, Validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 92
    Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Control from Data: User Interfaces of MIDP Applications -- Extending Operational Semantics of the Java…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 93
    Ανοικτή, γενικού σκοπού διαχείριση συστημάτων και δικτύου
    Θέματα: “…Software…”
    Λήψη πλήρους κειμένου
    Thesis
  14. 94
    B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “…Invited Talks -- E-Voting and the Need for Rigourous Software Engineering – The Past, Present…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 95
    OSS Design Patterns A Pattern Approach to the Design of Telecommunications Management Systems /
    ανά Ashford, Colin, Gauthier, Pierre
    Έκδοση 2009
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 96
    Internetware A New Software Paradigm for Internet Computing /
    ανά Mei, Hong, Lü, Jian
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Management of Platforms in Cloud -- 17. Golden Age: On Multi-Source Software Update Propagation in Pervasive…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 97
    Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… in Inception-Phase Software Architecture -- MDA I -- Explicit Platform Models for MDA -- Integrated Model-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 98
    New Developments in Distributed Applications and Interoperable Systems IFIP TC6/WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems September 17–19, 2001, Kraków, Poland /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… -- Interoperability -- Software Connectors and Their Role in Component Deployment -- An Extension to a Corba Trader…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 99
    OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Platforms -- Experiences Parallelizing a Web Server with OpenMP -- Advanced Performance Tuning -- Automatic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 100
    Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Java Verifier -- Building Your Own Software Model Checker Using the Bogor Extensible Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email