ASP.NET is a wonderful new enabling technology that allows developers to create business solutions much more effectively than ever before. However, there is room for improvement. Developers often do not see the potholes and pitfalls related to this technology until they stumble. "Real World ASP.NET Best Practices" helps readers to avoid just such frustrations. The book's in-depth coverage includes data handling, caching, JavaScript, user and server controls, distributed programming, configuration, and deployment.

"Real World ASP.NET Best Practices" goes far beyond the documentation to teach ASP.NET development best practices based on the authors' real-world experience. The book's emphasis is on helping developers perform tasks correctly and avoid mistakes, not on teaching ASP.NET in general.

Java Persistence for Relational Databases is best practices and patterns for readers who want to connect to databases using Java. It also includes coverage of various database-related APIs for Java, including JDO, JDBC (including newest 3.0 APIs), and CMP (Container Managed Persistence with EJB).Java Persistence for Relational Databases contains all those things developers want to know but were afraid to ask. It addresses realistically persisting Java objects in various ways. Whether a developers environment requires them to use JDO, CMP, Castor, or hand code a persistence layer using JDBC, there is something in this book for them.

Thisvolumecontainsthe?nalproceedingsoftheSeventhWorkshoponOpen Hypermedia Systems (OHS7), the Third Workshop on Structural Computing (SC3),andtheThirdWorkshoponAdaptiveHypermedia(AH3). Allworkshops wereheldatthe12thACMConferenceonHypertextandHypermediainAarhus, Denmark,August14-18,2001. Introductions, agendas, lists of program committee members and parti- pants,and,ofcourse,thepaperscanbefoundintheindividualsectionsofthe workshops. ThisvolumewouldnothavebeenpossiblewithoutthesupportofSpringer- Verlag,Heidelberg. Inparticular,wewouldliketothanktheexecutiveeditorof theLNCSseries,Mr. AlfredHofmann. November2001 SigiReich ManolisTzagarakis PaulDeBra TableofContents TheSeventhWorkshoponOpenHypermediaSystems (OHS7) ProgramCommitteeMembersofOHS7...2 ListofPresentationsatOHS7 ...2 ListofParticipantsatOHS7 ...3 IntroductiontoOHS7 ...4 SigiReich(SalzburgResearch,Austria) UsingOpenHypermediatoSupportInformationIntegration ...8 KennethM. AndersonandSusanneA. Sherba(UniversityofColorado, Boulder,US) ApplyingCollaborativeOpenHypermediaConceptsto ExtendedEnterpriseEngineeringandOperation ...17 JorgM. Haake(GMD-IPSI,Germany) MemeMediaandMemePoolsforRe-editingand RedistributingIntellectualAssets ...2 8 YuzuruTanaka,JunFujima,andTsuyoshiSugibuchi (HokkaidoUniversity,Sapporo,Japan) ThePipelineofEnrichment:SupportingLinkCreationfor ContinuousMedia...47 RichardBeales,DonCruickshank,DavidDeRoure,NickGibbins, BenJuby,DaniusT. Michaelides,andKevinR. Page(Universityof Southampton,UK) AuldLeaky:AContextualOpenHypermediaLinkServer...59 DaniusT. Michaelides,DavidE. Millard,MarkJ. Weal,and DavidDeRoure(UniversityofSouthampton,UK) FOHM+RTSP:ApplyingOpenHypermediaandTemporalLinkingto AudioStreams...71 NeilRidgwayandDavidDeRoure(UniversityofSouthampton,UK) VIII TableofContents DevelopmentToolsinComponent-Based StructuralComputingEnvironments ...82 U?eKockWiil(AalborgUniversityEsbjerg,Denmark) Peer-Reviewed,PublishableHypertexts:AFirstLook ...94 PeterJ. Nurnb .. ergandDavidL. Hicks(AalborgUniversity Esbjerg,Denmark) BecauseISeekanImage,NotaBook ...104 MoritzNeumul ler(WirtschaftsuniversitatWien,Austria) TheThirdWorkshoponStructuralComputing(SC3) ProgramCommitteeMembersofSC3 ...116 ListofPresentationsatSC3...116 ListofParticipantsatSC3...117 IntroductiontoSC3...118 ManolisM. Tzagarakis(CTI,Patras,Greece) WritingtheHoles;"Structural"Re?ectionsofaVisualArtist...1 20 SaulShapiro(Denmark) BroadeningStructuralComputingtowardsHypermediaDevelopment...131 MariaKyriakopoulou,DimitrisAvramidis,MichalisVaitis, ManolisM. Tzagarakis,andDimitrisChristodoulakis(CTI,Greece) AGraphicalUserInterfaceIntegratingFeaturesfrom Di?erentHypertextDomains...141 WeigangWangandAlejandroFern'andez(FhG-ISPI,Germany) UsingStructuralComputingtoSupportInformationIntegration...151 KennethM. AndersonandSusanneA. Sherba(UniversityofColorado, Boulder,US) ProvidingStructuralComputingServicesontheWorldWideWeb ...160 U?eKockWiilandDavidL. Hicks(AalborgUniversity Esbjerg,Denmark) CooperationServicesinaStructuralComputingEnvironment ...172 SamirTata,DavidL. Hicks,andU?eKockWiil(AalborgUniversity Esbjerg,Denmark) TableofContents IX StructuralComputingandItsRelationshipstoOtherFields...183 PeterJ. Nurnb ..18,2001. Introductions, agendas, lists of program committee members and parti- pants,and,ofcourse,thepaperscanbefoundintheindividualsectionsofthe workshops. ThisvolumewouldnothavebeenpossiblewithoutthesupportofSpringer- Verlag,Heidelberg. Inparticular,wewouldliketothanktheexecutiveeditorof theLNCSseries,Mr. AlfredHofmann. November2001 SigiReich ManolisTzagarakis PaulDeBra TableofContents TheSeventhWorkshoponOpenHypermediaSystems (OHS7) ProgramCommitteeMembersofOHS7...2 ListofPresentationsatOHS7 ...2 ListofParticipantsatOHS7 ...3 IntroductiontoOHS7 ...4 SigiReich(SalzburgResearch,Austria) UsingOpenHypermediatoSupportInformationIntegration ...8 KennethM. AndersonandSusanneA. Sherba(UniversityofColorado, Boulder,US) ApplyingCollaborativeOpenHypermediaConceptsto ExtendedEnterpriseEngineeringandOperation ...17 JorgM. Haake(GMD-IPSI,Germany) MemeMediaandMemePoolsforRe-editingand RedistributingIntellectualAssets ...28 YuzuruTanaka,JunFujima,andTsuyoshiSugibuchi (HokkaidoUniversity,Sapporo,Japan) ThePipelineofEnrichment:SupportingLinkCreationfor ContinuousMedia...47 RichardBeales,DonCruickshank,DavidDeRoure,NickGibbins, BenJuby,DaniusT. Michaelides,andKevinR. Page(Universityof Southampton,UK) AuldLeaky:AContextualOpenHypermediaLinkServer...59 DaniusT. Michaelides,DavidE. Millard,MarkJ. Weal,and DavidDeRoure(UniversityofSouthampton,UK) FOHM+RTSP:ApplyingOpenHypermediaandTemporalLinkingto AudioStreams...7 1 NeilRidgwayandDavidDeRoure(UniversityofSouthampton,UK) VIII TableofContents DevelopmentToolsinComponent-Based StructuralComputingEnvironments ...82 U?eKockWiil(AalborgUniversityEsbjerg,Denmark) Peer-Reviewed,PublishableHypertexts:AFirstLook ...94 PeterJ. Nurnb .. ergandDavidL. Hicks(AalborgUniversity Esbjerg,Denmark) BecauseISeekanImage,NotaBook ...104 MoritzNeumul ler(WirtschaftsuniversitatWien,Austria) TheThirdWorkshoponStructuralComputing(SC3) ProgramCommitteeMembersofSC3 ...116 ListofPresentationsatSC3...116 ListofParticipantsatSC3...117 IntroductiontoSC3...118 ManolisM. Tzagarakis(CTI,Patras,Greece) WritingtheHoles;"Structural"Re?ectionsofaVisualArtist...120 SaulShapiro(Denmark) BroadeningStructuralComputingtowardsHypermediaDevelopment...131 MariaKyriakopoulou,DimitrisAvramidis,MichalisVaitis, ManolisM. Tzagarakis,andDimitrisChristodoulakis(CTI,Greece) AGraphicalUserInterfaceIntegratingFeaturesfrom Di?erentHypertextDomains...141 WeigangWangandAlejandroFern'andez(FhG-ISPI,Germany) UsingStructuralComputingtoSupportInformationIntegration...151 KennethM. AndersonandSusanneA. Sherba(UniversityofColorado, Boulder,US) ProvidingStructuralComputingServicesontheWorldWideWeb ...160 U?e KockWiilandDavidL. Hicks(AalborgUniversity Esbjerg,Denmark) CooperationServicesinaStructuralComputingEnvironment ...172 SamirTata,DavidL. Hicks,andU?eKockWiil(AalborgUniversity Esbjerg,Denmark) TableofContents IX StructuralComputingandItsRelationshipstoOtherFields...183 PeterJ. Nurnb .. erg(AalborgUniversityEsbjerg,Denmark)and MonicaM. C. Schraefel(UniversityofToronto,Canada) TheThirdWorkshoponAdaptiveHypermedia(AH3) ProgramCommitteeMembersofAH3...196 ListofPresentationsatAH3 ...196 ListofParticipantsatAH3 ...197 IntroductiontoAH3 ...199 PaulM. E. DeBra(EindhovenUniversityofTechnology, TheNetherlands) TheImpactofEmpiricalStudiesontheDesignofanAdaptiveHypertext GenerationSystem...201 KalinaBontcheva(UniversityofShe?eld,UK) INSPIRE:AnINtelligentSystemforPersonalizedInstructionin aRemoteEnvironment ...215 KyparisiaA. Papanikolaou,MariaGrigoriadou,HarryKornilakis (UniversityofAthens,Greece),andGeorgeD. Magoulas (BrunelUniversity,UK) DevelopingAdaptiveInternetBasedCourseswith theAuthoringSystemNetCoach...226 GerhardWeber,Hans-ChristianKuhl,andStephanWeibelzahl (UniversityofFreiburg,Germany) LinkAugmentation:AContext-BasedApproachto SupportAdaptiveHypermedia...2 39 ChristopherBailey,SamhaaR. El-Beltagy,andWendyHall (UniversityofSouthampton,UK) XAHM:AnXML-BasedAdaptiveHypermediaModeland ItsImplementation...252 MarioCannataro(ISI-CNR,Italy)andAndreaPugliese (UniversityofCalabria,Italy) RevisitingandVersioninginVirtualSpecialReports ...264 S'atWien,Austria) TheThirdWorkshoponStructuralComputing(SC3) ProgramCommitteeMembersofSC3 ...116 ListofPresentationsatSC3...116 ListofParticipantsatSC3...117 IntroductiontoSC3...118 ManolisM. Tzagarakis(CTI,Patras,Greece) WritingtheHoles;"Structural"Re?ectionsofaVisualArtist...120 SaulShapiro(Denmark) BroadeningStructuralComputingtowardsHypermediaDevelopment...131 MariaKyriakopoulou,DimitrisAvramidis,MichalisVaitis, ManolisM. Tzagarakis,andDimitrisChristodoulakis(CTI,Greece) AGraphicalUserInterfaceIntegratingFeaturesfrom Di?erentHypertextDomains...141 WeigangWangandAlejandroFern'andez(FhG-ISPI,Germany) UsingStructuralComputingtoSupportInformationIntegration...151 KennethM. AndersonandSusanneA. Sherba(UniversityofColorado, Boulder,US) ProvidingStructuralComputingServicesontheWorldWideWeb ...160 U?eKockWiilandDavidL. Hicks(AalborgUniversity Esbjerg,Denmark) CooperationServicesinaStructuralComputingEnvironment ...172 SamirTata,DavidL. Hicks,andU?eKockWiil(AalborgUniversity Esbjerg,Denmark) TableofContents IX StructuralComputingandItsRelationshipstoOtherFields...183 PeterJ. Nurnb .. erg(AalborgUniversityEsbjerg,Denmark)and MonicaM. C. Schraefel(UniversityofToronto,Canada) TheThirdWorkshoponAdaptiveHypermedia(AH3) ProgramCommitteeMembersofAH3...196 ListofPresentationsatAH3 ...196 ListofParticipantsatAH3 ...197 IntroductiontoAH3 ...199 PaulM. E. DeBra(EindhovenUniversityofTechnology, TheNetherlands) TheImpactofEmpiricalStudiesontheDesignofanAdaptiveHypertext GenerationSystem...201 KalinaBontcheva(UniversityofShe?eld,UK) INSPIRE:AnINtelligentSystemforPersonalizedInstructionin aRemoteEnvironment ...215 KyparisiaA. Papanikolaou,MariaGrigoriadou,HarryKornilakis (UniversityofAthens,Greece),andGeorgeD. Magoulas (BrunelUniversity,UK) DevelopingAdaptiveInternetBasedCourseswith theAuthoringSystemNetCoach...226 GerhardWeber,Hans-ChristianKuhl,andStephanWeibelzahl (UniversityofFreiburg,Germany) LinkAugmentation:AContext-BasedApproachto SupportAdaptiveHypermedia...239 ChristopherBailey,SamhaaR. El-Beltagy,andWendyHall (UniversityofSouthampton,UK) XAHM:AnXML-BasedAdaptiveHypermediaModeland ItsImplementation...252 MarioCannataro(ISI-CNR,Italy)andAndreaPugliese (UniversityofCalabria,Italy) RevisitingandVersioninginVirtualSpecialReports ...264 S'ebastienIksalandSergeGarlatti(ENST-Bretagne,France) X TableofContents TailoringtheRecommendationofTouristInformationtoHeterogeneous UserGroups...280 L. Ardissono,A. Goy,G. Petrone,M. Segnan,andP. Torasso (UniversityofTurin,Italy) ApplicationofART2NetworksandSelf-OrganizingMapsto CollaborativeFiltering...296 GuntramGraefandChristianSchaefer(Universityof Karlsruhe,Germany) METIOREW:AnObjectiveOrientedContentBasedandCollaborative RecommendingSystem ...310 DavidBueno,RicardoConejo(UniversityofM'alaga,Spain),and AmosA. David(LORIA,France) IntegratingUserDataandCollaborativeFilteringin aWebRecommendationSystem ...315 PaoloBuono,MariaFrancescaCostabile,StefanoGuida,and AntonioPiccinno(UniversityofBari,Italy) AdaptiveHypermediaSystemforSupportingInformationProvidersin DirectingUsersthroughHyperspace...3 22 YoshinoriHijikata,TetsuyaYoshida,andShogoNishida(Universityof Osaka,Japan) AComplementaryApproachforAdaptiveandAdaptableHypermedia: IntensionalHypertext ...327 WilliamW. Wadge(UniversityofVictoria,Canada)and MonicaM. C. Schraefel(UniversityofToronto,Canada) AuthorIndex...335 ProgramCommitteeMembersofOHS7 ThefollowingpeoplehaveservedontheProgramCommitteeoftheSeventh WorkshoponOpenHypermediaSystems.

"XML Programming Using the Microsoft XML Parser" is written for programmers interested in XML development using Microsoft technologies. Coupling valuable discussion of the Microsoft XML parser, Windows platform, and XML development software with the numerous core XML technologies, including XSLT, XPATH, SAX, DOM, XML Schema, and SOAP, this book steps beyond the mainstream focus on the theoretical aspects of XML and actually demonstrates the concepts in a real-world development environment.

Veteran authors and trainers Soo Mee Foo and Wei Meng Lee intersperse this survey of XML technologies with discussion of topics sure to interest any budding XML developer, providing timely information regarding Web services, ActiveX Data Objects (ADO), and Microsoft SQL Server 2000 XML support. A chapter is also devoted to the Wireless Markup Language (WML), one of the most visible applications of XML technology.

No question, XML is one of the rising stars in information technology. "XML Programming Using the Microsoft XML Parser" offers you what you need to know to get acquainted with the concepts necessary to begin development with this exciting technology.

Design Patterns for Web Services in Java describes the architectural patterns that guide developers through design patterns (service implementation and usage) and illustrates different ways in which Web services can and will be used. Design Patterns for Web Services in Java is not the typical narrative tome. Instead, after some introductory text, author Paul Monday provides a catalog of approximately 20 patterns that are typically needed in the development of Web services-based systems.

XHTML is a flexible XML-based markup language for designing Web sites. In January 2000, the W3C announced that it was supporting the development of XHTML as a replacement to HTML. HTML will continue to be around for a while, but if you want to develop Web sites for the future you need to switch to XHTML. Designers who make the change find that they can develop faster, better sites using XHTML. Most Web sites are interactive, responding to the viewer. To do this you need to use a scripting language - JavaScript is the most popular scripting language and interfaces easily with XHTML. To develop powerful interactive Web sites you need to understand these technologies and how they work together. Essential XHTML fast gives you everything you need to develop great Web sites in XHTML, including an introduction to scripting with JavaScript so that you can create dynamic interactive Web pages. There are many step-by-step examples, which you can download from the series Web site. It covers key aspects such as: - The relationship between XML and XHTML - Cascading Style sheets for formatting layout - Using text, images and image maps as links- Creating and using tables - The new standard for frames - Interactive XHTML forms - The JavaScript language- Incorporating JavaScript into XHTML pages- Handling events in JavaScript The source code for the examples in this book is available at the Essential series web site http://www.essential-series.com

Explains how to configure a telephone or PDA into a network browser, turn a desktop PC into a print server, transfer files between devices, set up and configure a Bluetooth network simulator, and encrypt data transmissions.

"Building Client/Server Applications with VB .NET: An Example-Driven Approach" is based on Release 1.0 of the .NET Framework / Release 1.0 of Visual Studio .NET + .NET Framework Service Pack 1. -->Jeff Levinson--> walks readers through how to write a complete applicationno snippets of codeand will show readers examples of how, when, and why to perform a task. "Building Client/Server Applications with VB .NET: An Example-Driven Approach" is "the" manual on software development for enterprise application development.

In today's world, smart cards play an increasingly important role in everyday life. We encounter them as credit cards, loyalty cards, electronic purses, health cards, and as secure tokens for authentication or digital signature. Their small size and the compatibility of their form with the magnetic stripe card make them ideal carriers of personal information such as secret keys, passwords, customization profiles, and medical emergency information. This book provides a guide for the rapid development of smart card applications using Java and the OpenCard Framework. It gives you the basic information you need about smart cards and how they work. It shows in detail how to develop applications that use smart cards by guiding you through examples step by step. A smart card provided with the book will help you to quickly get some first hands-on experience.

This book constitutes the thoroughly refereed postproceedings of the International Workshop on Scientific Engineering for Distributed Java Applications, FIDJI 2002, held in Luxembourg-Kirchberg, Luxembourg in November 2002. The 16 revised full papers presented together with a keynote paper and 3 abstracts were carefully selected from 33 submissions during two rounds of reviewing and improvement. Among the topics addressed are Java coordination, Web service architectures, transaction models, CORBA-based distributed systems, mobile objects, Java group toolkits, distributed process management systems, active objects in J2EE, Java frameworks, Jini, component-based distributed applications, Java middleware, fault-tolerant mobile systems.

Das Buch Unternehmensportale Grundlagen, Architekturen, Technologien ist das erste deutschsprachige Grundlagenwerk uber modernes Informations- und Geschaftsprozessmanagement mit Hilfe von Unternehmensportalen.

Das umfassende Kompendium ist Grundlagenwerk, Kochbuch und Wegweiser fur alle fachlich-inhaltlichen, technischen und betriebswirtschaftlichen Aspekte von Unternehmensportalen. Diese ganzheitliche Sichtweise bietet dem Leser einen umfassenden Uberblick und versetzt ihn grundsatzlich in die Lage, die Einfuhrung eines Unternehmensportals fur das eigene Unternehmen zu kalkulieren, zu planen und durchzufuhren sowie den Betrieb des Unternehmensportals zu organisieren. Checklisten und Best Practices geben dabei konkrete Hilfestellungen."

Java and Object Orientation: An Introduction (2nd edition) shows readers how to build object oriented applications in Java. Written in a clear and concise style, with lots of examples, this revised edition provides:- A detailed understanding of object orientation- A thorough introduction to Java including building blocks, constructs, classes, data structures etc.- Coverage of graphical user interfaces and applets (AWT, Servlets)- Object oriented analysis and design including UML. If you are looking for a good introduction to Java and object orientation, then this is the book for you. Source code for the examples in this book is available at: http://www.java-and-oo.net

"Moving to ASP.NET: Web Development with VB .NET" provides focused and thorough guidance on creating Web applications using ASP.NET, including both Web Form applications and Web Services. Authors -->Steve Harris--> and -->Rob MacDonald--> have worked extensively with .NET throughout the beta program, and offer their real-world experience creating and implementing ASP.NET applications.

The authors discuss and examine relevant topics, and teach you how to make immediate use of ASP.NET. Topics include Web Forms, server-side and mobile controls, data access and binding, and XML integration. Also covered are .NET architecture and configuration, security, state and session management, scalability design, and Web Services. Extensive examples are featured throughout the book, and are also available on the Web for you to access and download.

Terraform has become a key player in the DevOps world for defining, launching, and managing infrastructure as code (IaC) across a variety of cloud and virtualization platforms, including AWS, Google Cloud, Azure, and more. This hands-on third edition, expanded and thoroughly updated for version 1.0 and beyond, shows you the fastest way to get up and running with Terraform. Gruntwork cofounder Yevgeniy (Jim) Brikman walks you through code examples that demonstrate Terraform's simple, declarative programming language for deploying and managing infrastructure with a few commands. Veteran sysadmins, DevOps engineers, and novice developers will quickly go from Terraform basics to running a full stack that can support a massive amount of traffic and a large team of developers. Compare Terraform with Chef, Puppet, Ansible, CloudFormation, Docker, and Packer Deploy servers, load balancers, and databases Create reusable infrastructure with Terraform modules Test your Terraform modules with static analysis, unit tests, and integration tests Configure CI/CD pipelines for both your apps and infrastructure code Use advanced Terraform syntax for loops, conditionals, and zero-downtime deployment New to the third edition: Get up to speed on Terraform 0.13 to 1.0 and beyond Manage secrets (passwords, API keys) with Terraform Work with multiple clouds and providers (including Kubernetes!)

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 ...1 14 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 engineering have been described at length in many research papers. They include among others: Better understanding and improved communication through unambiguous descriptions. Early bug detection thanks to the formalisation of specifications.

A complete update covering the many advances to the XML language

The XML language has become the standard for writing documents on the Internet and is constantly improving and evolving. This new edition covers all the many new XML-based technologies that have appeared since the previous edition four years ago, providing you with an up-to-date introductory guide and reference. Packed with real-world code examples, best practices, and in-depth coverage of the most important and relevant topics, this authoritative resource explores both the advantages and disadvantages of XML and addresses the most current standards and uses of XML. Features the most updated content built on audience feedback from the previous edition as well as the vast knowledge from XML developer teams Boasts new chapters on RELAX NG and Schematron, XML functionality in databases, LINQ to XML, Jabber and XMLPP, XHTML, HTML5, and more Offers in-depth coverage on extracting data from XML and updated material on Web Services

"Beginning XML, Fifth Edition" delivers the most important aspects of XML in regard to what it is, how it works, what technologies surround it, and how it can best be used in a variety of situations.

Leitlinie dieser Einfuhrung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfugung stehen, um Informatiksysteme analysieren oder entwerfen zu konnen.

Modelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch pragnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, Zustandsubergangs- und Sequenzdiagramme. Inharenter Bestandteil dieser grafischen Beschreibungstechniken ist die Charakterisierung der zugrundeliegenden Daten (z.B. in funktionaler Programmierung). Die Autoren verwenden in Ihrem Werk AutoFOCUS zum Diagramm-orientierten Systementwurf, zur Konsistenzprufung und zur Simulation. Sie gehen den Fragen nach, wie sich Diagramme in formale Spezifikationen ubertragen lassen, woher eine Systementwicklung ihre Argumente nimmt, nach welchen Methoden verifiziert wird und wie interaktive Theorembeweiser, wie z.B. Isabelle/HOL, arbeiten."

Essential ColdFusion fast gives the reader a working knowledge of ColdFusion and how to use it and how it integrates with other web-based technologies. Lots of working examples are included throughout, all of which are also available via a web-site that is powered by ColdFusion, which shows exactly how they work.Matthew Norman has written a 'get started quick' guide to ColdFusion, in the style of the Essential series, describing the setting up of a development system. He talks about how to achieve this on a budget, using techniques that are applicable to large scale operations as well.Anyone with a working knowledge of the internet, and who wants to learn more about what ColdFusion does and how they can start using it quickly, will find this book a real help.

Java developers have adapted to a world in which everything is an object, resources are reclaimed by a garbage collector, and multiple inheritance is replaced by interfaces. All of these things have prepared developers to thrive in Microsoft's new .NET environment using C#.

Despite similarities between Java and C#, complex differences still lurk. This book will walk you through both language and library differences, to help you develop enterprise applications requiring mastery. You will then be able to build applications that communicate with databases and include network components, web pages, and many other features.

Ordinarily, Java developers rely on Java 2 Enterprise Edition (J2EE) to provide these libraries, and C# developers rely on the .NET Framework. At first glance, there seems little similarity between the two, but author Paul Gibbons shows how a Java developer's J2EE skills transfer smoothly when tackling the .NET Framework.

Early chapters highlight C#'s differences from Java, and discuss differences between the .NET CLR and JVM. Subsequent chapters cover various technologies in which J2EE development translates into .NET enterprise development. These middle chapters also explain .NET technologies that Java developers can begin using immediately. The final chapter examines migration of existing Java applications to C#, and the available tools and techniques. By the end of ."NET Development for Java Programmers," a professional Java developer will be able to tackle a real software project in .NET, using C#.

One of the most useful features of today's modern browsers is the ability to store data right on the user's computer or mobile device. Even as more people move toward the cloud, client-side storage can still save web developers a lot of time and money, if you do it right. This hands-on guide demonstrates several storage APIs in action. You'll learn how and when to use them, their plusses and minuses, and steps for implementing one or more of them in your application. Ideal for experienced web developers familiar with JavaScript, this book also introduces several open source libraries that make storage APIs easier to work with. Learn how different browsers support each client-side storage API Work with web (aka local) storage for simple things like lists or preferences Use IndexedDB to store nearly anything you want on the user's browser Learn how support web apps that still use the discontinued Web SQL Database API Explore Lockr, Dexie, and localForage, three libraries that simplify the use of storage APIs Build a simple working application that makes use of several storage techniques

"Real World ASP.NET: Building a Content Management System" provides web developers with a cost-effective way to develop a content management system within Microsoft's .NET Framework. Unlike other .NET books on ASP.NET that teach technologies on a piecemeal basis, this book explains the underlying technologies and also shows how they are integrated into a complete ASP.NET application suitable for many organizations. Complete source code written in C# and ASP.NET is included, which will enable web developers to create a dynamic content site at a fraction of the cost of a commercial solution. You will learn about the following:

Content management system: This system used to manage the content of a website consists of the content management, metacontent management, and content delivery applications. C# and ASP.NET: These underlying technologies are introduced and then applied extensively. ADO.NET: All aspects relevant to dynamic content management are covered. XML: Extensible Markup Language (XML) is introduced and then applied in the programmatic updating of the config.web file. Authentication, authorization, and encryption: These topics are discussed in the book, especially with regard to protected content and system administration. Personalization: Many key technologies are used to make the CMS solution truly user-friendly.

"Real-World ASP.NET: Building a Content Management System" is the complete hands-on guide to mastering the art of content management systems and website development using the .NET Framework.

"The .NET Languages: A Quick Translation Guide" answers two questions posed by the introduction of the .NET Framework: "How do I quickly upgrade my skills to this new language?" and "How do I understand the code that another developer has written?"

Author Brian Bischof offers a complete translation guide for converting programs among the three primary Microsoft languages: Visual Basic 6.0, Visual Basic .NET, and C#. Bischof makes it easy for the thousands of Visual Basic 6.0 programmers to take the knowledge they already have and use it to write for the .NET platform.

Each chapter is laid out in a clear and concise format. Most chapters begin with a syntax conversion chart displaying how each language translates into the other languages. Included are detailed points explaining these conversions. Each chapter ends with a fully comprehensive example, written in each language, that demonstrates that particular chapters concepts. This provides you with all the information you need for converting your programs: quick lookup charts, detailed explanations, and thorough examples. Nothing is left out.

While most other books merely instruct on basic JSP and servlet development, "JSP Examples and Best Practices "gives you some of the best practices and design principles, enabling you to build scalable and extensible enterprise Java applications. And JavaServer Pages technology can be used to build complex enterprise applications in a highly re-usable manner.

This book takes basic JSP and applies sound architectural principles and design patterns, to give you the tools to build scalable enterprise applications using JSP. Further, this book covers features of the JSP 1.2 specification, including the standard filtering mechanism.

To understand Jini, imagine that you could move to a new office across the world, or check into any hoteland could simply plug your notebook or Palm directly into the local network. Your device would immediately be recognized, and you would have access to the services at that location"transparently."

Jini is Sun's Java-based technology, with potential to make transparant, "universal plug and play" a reality. This book is an expanded, updated version of the most popular online tutorial for Jini. Author Jan Newmarch includes comprehensive Jini advancements announced at Java One in June 2000. And he includes other important topics, like how Enterprise Java Beans blend in with the Jini framework and how CORBA fits in as well.