Search results for "mastering java"
Items we need to order for you
R 1,161.00
R 702.00
R 367.00
R 916.00
R 1,096.00
R 690.98
Java on Smart Cards: Programming and Security
Smart cards are playing an increasingly important role in areas such as ban- 1 king,electroniccommerce,andtelecommunications. TheJavaCard language hasbeenproposedasahigh-levellanguageforprogrammingmulti-application smartcards. Theuseofahigh-levellanguagecanfacilitatethedevelopmentand veri?cation of software for smart cards. The modest code size and the imp- tanceoftheapplicationareasimpliesthatitisbothpossibleanddesirableto developandapplyformalmethodsintheconstructionofsafeandsecureJava Cardsoftware. ThepresentvolumeconstitutestheproceedingsoftheJavaCardworkshop heldinCannes,14September2000. TheworkshopgrewoutoftheINRIAAction deRechercheCoop'erative"JavaCard"andwasorganizedincollaborationwith the Java Card Forum. A call for papers resulted in 14 submissions of which theprogramcommitteeselected11papersforpresentationattheworkshop. In addition,theworkshopfeaturedaninvitedtalkbyDanielLeM'etayer,Trusted Logic,onformalmethodsandsmartcardsecurity. WewishtothankCatherine Godest and Maryse Renaud for their help with preparing the proceedings for thisworkshop. February2001IsabelleAttali ThomasJensen 1 ItshouldbenotedthatJavaCardisatrademarkofSunMicrosystems.Organization ProgramCommittee ProgramChair: IsabelleAttali(INRIA,France) ThomasJensen(IRISA/CNRS,France) Committeemembers: ChristianGoire(BullCP8,France) SebastianHans(SunMicrosystems,USA) PieterHartel(UniversityofSouthampton,UK) PeterHoneyman(UniversityofMichigan,USA) PierreParadinas(Gemplus,France) JoachimPosegga(SAPCorporateResearch,Germany) TableofContents InvitedTalk FormalMethodsinContext:SecurityandJavaCard ...1 D. Bolignano,D. LeM'etayer,C. Loiseaux ContributedPapers ADynamicLogicfortheFormalVeri?cationofJavaCardPrograms ...6 BernhardBeckert ThePACAPPrototype:AToolforDetectingJavaCardIllegalFlow ...25 P. Bieber,J. Cazin,A. ElMarouani,P. Girard,J. -L. Lanet,V. Wiels, G. Zanon CardKt:AutomatedMulti-modalDeductiononJavaCardsfor Multi-applicationSecurity...38 RajeevGor'e,LanDuyNguyen A Programming and a Modelling Perspective on the Evaluation of Java CardImplementations...52 PieterH. Hartel,EduarddeJong SecureInternetSmartcards...73 NaomaruItoi,TomokoFukuzawa,PeterHoneyman IssuesinSmartcardMiddleware...90 RogerKehr,MichaelRohs,HaraldVogt OpenPlatfomSecurity ...98 MarcKekiche?,ForoughKashef,DavidBrewer ASimple(r)InterfaceDistributionMechanismforJavaCard ...114 KsheerabdhiKrishna,MichaelMontgomery AutomaticTestGenerationforJavaCardApplets ...121 HuguesMartin,LydieduBousquet FormalSpeci?cationandVeri?cationofJavaCard'sApplicationIdenti?er Class...137 JoachimvandenBerg,BartJacobs,ErikPoll X TableofContents Security on Your Hand: Secure Filesystems with a "Non-cryptographic" JAVA-Ring...151 R..udigerWeis,BastiaanBakker,StefanLucks AuthorIndex ...163 Formal Methods in Context: Security and Java Card D. Bolignano, D. Le Metayer, and C. Loiseaux Trusted Logic www. trusted-logic. fr 1. Security and Java Card: An Ideal Application Area for Formal Methods The benefits of formal methods for software engineeri
R 2,015.00
R 451.00
R 837.00
R 519.00
R 425.00
R 7,632.00
R 1,038.00
R 370.00
R 535.00
R 1,010.00
R 611.00
R 824.00
R 1,221.00
Guide to the Unified Process featuring UML, Java and Design Patterns
John Hunt's book guides you through the use of the UML and the Unified Process and their application to Java systems. Key topics focus explicitly on applying the notation and the method to Java. The book is clearly structured and written, making it ideal for practitioners. This second edition is considerably revised and extended and includes examples taken from the latest version of Rational Rose and Together. Considers how Agile Modelling fits with the Unified Process, and presents Design Patterns Self contained – covers both the Unified Process and UML in one book Includes real-world case studies Written by an experienced author and industry expert Ideal for students on Software Engineering courses
R 3,110.98
Über die Kawi-sprache auf der Insel Java
Wilhelm von Humboldt (1767–1835) was a German philologist, diplomat and philosopher. While Minister of Education he was responsible for reforming the Prussian education system. His pioneering achievements in linguistics influenced many later scholars including Chomsky. This monumental three-volume study of Kawi, a traditional formal and literary language of Java belonging to the Austronesian language family, was published posthumously in 1836–9. The manuscript was prepared for the press by J. K. E. Buschmann, a protégé of Humboldt's friend and colleague Bopp, whose work is also reissued in this series. Humboldt considered Kawi, which includes many Sanskrit loan-words, to be the common ancestor of all the Malayo-Polynesian languages, though this view is no longer accepted. Volume 3 focuses on the comparative grammar, as attested in epics, songs, arithmetic books and bible translations, of several South Sea languages including Tagalog, Tongan, Tahitian and Hawaiian, and their relationship with the Malayan languages.
R 2,992.97
R 458.00
R 1,010.00
R 1,298.00
R 733.00
R 1,026.24
R 458.00
R 458.00
R 359.00
Scientific Engineering of Distributed Java Applications.
FIDJI 2003 was an international forum for researchers and practitioners in- rested in the advances in, and applications of, software engineering for distri- ted applicationdevelopment. Concerningthe technologies,the workshopfocused on “Java-related” technologies. It was an opportunity to present and observe the latest research, results, and ideas in these areas. Allpaperssubmittedtothisworkshopwerereviewedbyatleasttwomembers of the International Program Committee. Acceptance was based primarily on originality and contribution. We selected, for these post-workshop proceedings, 14 papers, amongst 29 submitted, two tutorials, and one keynote talk. FIDJI2003aimedatpromotingascienti?capproachtosoftwareengineering. The scope of the workshop included the following topics: – design of distributed Java applications – Java-related technologies – software and system architecture engineering and development methodo- gies – development methodologies for UML – development methodologies for reliable distributed systems – component-based development methodologies – managementofevolutions/iterationsintheanalysis,design,implementation, and test phases – dependability support during system life-cycles – managing inconsistencies during application development – atomicity and exception handling in system development – software architectures, frameworks, and design patterns for developing d- tributed systems – integration of formal techniques in the development process – formal analysis and grounding of modeling notation and techniques (e. g. , UML, metamodeling) – supporting the security requirements of distributed applications in the - velopment process – refactoring methods – industrial and academic case studies – development and analysis tools The organization of such a workshop represents an important amount of work.
R 1,998.42
Mastering ARKit
Embark on a journey to build an augmented reality world. This book puts theory into practical application by building unique augmented reality apps specific to each chapter’s topic. You’ll learn to engineer successful, well-designed, and comprehensive augmented reality applications for iOS devices. This updated edition has been thoroughly revised to cover the latest advancements in iOS 17 and Xcode 15, equipping you with the knowledge and tools to build cutting-edge augmented reality experiences. Starting with the foundation of augmented reality on Apple platforms, you will understand the building blocks and inner workings of the technologies that power augmented reality. Then, delve into the practicalities of building AR apps using ARKit, SceneKit, SpriteKit, RealityKit, and integrating with SwiftUI and advanced features like ReplayKit for recording experiences. Explore augmented reality app business models, designs, and content for the ultimate user experience. This book covers a wide range of ARKit APIs and topics, including surface detection, 3D objects implementation, horizontal plane detection with raycast, physics by launching rocket ships, light estimation, 2D image recognition, world-mapping data for persistence, immersive audio experiences, real-time image analysis, machine learning, face and body motion capture, people occlusion, and more. Chapter by chapter, this book guides you to become an advanced augmented reality engineer for Apple’s platforms. By the end of the book, you’ll have acquired the necessary mental models and tools to engineer delightful experiences in Apple’s augmented reality ecosystem. What You'll LearnConstruct AR apps using SceneKit, SpriteKit, RealityKit, and integrate with SwiftUI.Leverage ARKit for advanced features like face and body motion capture, people occlusion, and world tracking.Incorporate 3D objects, surface detection, computer vision, and body motion capture in your apps.Implement persistence in AR experiences and create shared experiences using Multipeer Connectivity. Who This Book Is ForiOS developers who want to expand their knowledge of ARKit. Ideal for those with a solid foundation in Swift and familiarity with Xcode, seeking to explore the expansive capabilities of augmented reality on Apple devices.
R 1,368.00
R 641.00
R 519.00
R 1,010.00
R 2,983.10
Fundamental Networking in Java
The book provides complete coverage of fundamental IP networking in Java. It introduces the concepts behind TCP/IP and UDP and their intended use and purpose; gives complete coverage of Java networking APIs, includes an extended discussion of advanced server design, so that the various design principles and tradeoffs concerned are discussed and equips the reader with analytic queuing-theory tools to evaluate design alternatives; covers UDP multicasting, and covers multi-homed hosts, leading the reader to understand the extra programming steps and design considerations required in such environments.After reading this book the reader will have an advanced knowledge of fundamental network design and programming concepts in the Java language, enabling them to design and implement distributed applications with advanced features and to predict their performance. Special emphasis is given to the scalable I/O facilities of Java 1.4 as well as complete treatments of multi-homing and UDP both unicast and multicast.
R 1,571.49
R 204.00
Microsoft Azure for Java Developers
Learn Azure-based features to build and deploy Java applications on Microsoft’s Azure cloud platform. This book provides examples of components on Azure that are of special interest to Java programmers, including the different deployment models that are available. The book shows how to deploy your Java applications in Azure WebApp, Azure Kubernetes Service, Azure Functions, and Azure Spring Cloud. Also covered is integration with components such as Graph API, Azure Storage, Azure Redis Cache, and Azure SQL. The book begins with a brief discussion of cloud computing and an introduction to Java support on Azure. You’ll then learn how to deploy Java applications using each of the deployment models, and you’ll see examples of integrating with Azure services that are of particular interest to Java programmers. Security is an important aspect, and this book shows you how to enable authentication and authorization for your Java applications using Azure Active Directory. Implementing a DevOps strategy is essential in today’s market when building any application. Examples in this book show you how to build continuous integration and continuous deployment pipelines to build and deploy Java applications on Azure. The book focuses on the best practices you should follow while designing and implementing Java applications on Azure. The book also elaborates on monitoring and debugging Java applications running on Azure using Application Insights and Azure Monitor. What You Will LearnDesign and build Azure-based Java applicationsRun Azure-based Java applications on services such as Azure App Services, Azure Spring Cloud, Azure Functions, and Azure Kubernetes ServiceIntegrate Azure services such as Azure SQL, Azure Storage Account, Azure Redis Cache, Azure Active Directory, and more with Java applications running on Azure Monitor and debug Java applications running on AzureSecure Azure-based Java applicationsBuild DevOps CI/CD strategy for Azure-based Java applicationsPackage and deploy Azure-based Java applications on Azure Who This Book Is ForJava developers planning to build Azure-based Java applications and deploy them on Azure. Developers should be aware of the preliminary cloud fundamentals to help them understand the Java capability available on Azure. They do not need to be an expert in Azure to grasp the book’s content and start building Java-based applications using the capability available on Azure. However, they should have a good understanding of the Java programming language and frameworks.
R 1,482.00
R 428.00
R 624.72
R 1,221.00
R 1,694.00
R 550.00
R 821.00
