Showing 2,081 - 2,100 results of 2,179 for search '"Java"', query time: 0.15s Refine Results
  1. 2081
    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
  2. 2082
    Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
    Published 2009
    Table of Contents: “… of Integer Array Programs -- Automated Analysis of Java Methods for Confidentiality -- Requirements…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 2083
    Human-Computer Systems Interaction Backgrounds and Applications /
    Published 2009
    Table of Contents: “… -- Polish Speech Processing Expert System Incorporated into the EDA Tool -- A Web-Oriented Java3D Talking…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 2084
    Emerging Trends in Computing and Communication ETCC 2014, March 22-23, 2014 /
    Published 2014
    Table of Contents: “… to Identify Information Domain -- Analysis of Multithreading in Java for Symbolic Computation on Multicore…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 2085
    Quantitative assessments of distributed systems : methodologies and techniques /
    Published 2015
    Table of Contents: “…2.5 jSAM: Java Stochastic Model-Checker2.6 Leader Election in STOKLAIM; 2.7 Concluding Remarks…”
    Full Text via HEAL-Link
    eBook
  6. 2086
    Disaster Risk Reduction in Indonesia Progress, Challenges, and Issues /
    Published 2017
    Table of Contents: “… Organizations As Risk Communicators: Case Study Of Bandung, West Java (Farah Mulyasari) -- Chapter 16. The Role…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 2087
    Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Java Verifier -- Building Your Own Software Model Checker Using the Bogor Extensible Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 2088
    Computer and Network Security Essentials
    Published 2018
    Table of Contents: “… Rule Mining -- Chapter 5.A Postmortem Forensic Analysis for a JavaScript Based Attack -- Part II…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 2089
    Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
    Published 2008
    Table of Contents: “… Filesystem -- A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 2090
    Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Processing -- High-Bandwidth Address Generation Unit -- An IP Core for Embedded Java Systems -- Embedded…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 2091
    Nature Inspired Cooperative Strategies for Optimization (NICSO 2007)
    Published 2008
    Table of Contents: “… Structural Unit-Testing on Third-Party Object-Oriented Java Software -- Adaptive Spatial Allocation…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 2092
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    Published 2008
    Table of Contents: “… for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 2093
    Proceedings of The Ifip Tc 11 23rd International Information Security Conference IFIP 20th World Computer Congress, IFIP SEC’08, September 7-10, 2008, Milano, Italy /
    Published 2008
    Table of Contents: “… based on the Java Security Framework using XACML Policies -- Negotiation of Prohibition: An Approach…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 2094
    Distributed Computing 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings /
    Published 2009
    Table of Contents: “…) -- Interrupting Snapshots and the Java Size() Method -- Elastic Transactions -- Brief Announcement: Transactional…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 2095
    Biometric ID Management and Multimodal Communication Joint COST 2101 and 2102 International Conference, BioID_MultiComm 2009, Madrid, Spain, September 16-18, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Passports Using Java -- Handwritten Signature On-Card Matching Performance Testing -- Classification Based…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 2096
    HCI and Usability for e-Inclusion 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2009, Linz, Austria, November 9-10, 2009 Proceedings /
    Published 2009
    Table of Contents: “… and Surveys -- A Standalone Vision Impairments Simulator for Java Swing Applications -- AltText: A Showcase…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 2097
    Current Trends in Web Engineering 10th International Conference on Web Engineering ICWE 2010 Workshops, Vienna, Austria, July 2010, Revised Selected Papers /
    Published 2010
    Table of Contents: “… International Workshop on Service Web Engineering (SWEng) -- REST Inspired Code Partitioning with a Java…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 2098
    Advances in Soft Computing and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part II /
    Published 2013
    Table of Contents: “…: A Java Type-2 Fuzzy Inference Systems Class Library for Building Object-Oriented Intelligent…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 2099
    Information Systems Development Reflections, Challenges and New Directions /
    Published 2013
    Table of Contents: “… Approach to Business Process Automation -- NDT-Driver, a Java Tool to Support QVT Transformations for NDT…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 2100
    Applied Computing Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004. Proceedings /
    Published 2004
    Table of Contents: “… in Implementing Real-Time Active Control Systems -- An Efficient Technique for Dynamic Slicing of Concurrent Java…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search