Visual Interfaces to Digital Libraries exploit the power of human vision and spatial cognition to help individuals mentally organize and electronically access and manage large and complex information spaces. They draw on progress in the field of information visualization and seek to shift the users' mental load from slow reading to faster perceptual processes such as visual pattern recognition.Based on two workshops, the book presents an introductory overview as well as a closing listing of the top ten problems in the area by the volume editors. Also included are 16 thoroughly reviewed and revised full papers organized in topical sections on visual interfaces to documents, document parts, document variants, and document usage data; visual interfaces to image and video documents; visualization of knowledge domains; cartographic interfaces to digital libraries; and a general framework.

Explores the System.Management namespace of the Microsoft .NET Framework and Windows Management Instrumentation, covers enterprise system management facilities, and reviews WMI and System.Management namespace functionality.

Linux-based operating systems are extremely powerful and flexible, but unlocking that power and flexibility requires knowledge and understanding of how the systems work. "Tuning and Customizing a Linux System" goes beyond the mere basics of using and administrating Linux systemsit covers how the systems are "designed." Through detailed analyses of popular Linux distributions, real-world case studies, and example configurations and administration tasks, you will come away with a genuine mastery of Linux-based operating systems (as well as Unix-like systems in general).

"Tuning and Customizing a Linux System" is geared toward users of Linux systems who already know the basics but aren't yet gurus. The author fills in the gaps left by other books, creating a bridge from the basic "how to" to the plane of true mastery. You'll find detailed examples of what a Linux distribution actually consists of, and youll explore explore three popular distributions in detail, learning useful techniques along the way. This comprehensive guide provides you with a complete, practical understanding of what's going on under the covers.

"Writing Perl Modules for CPAN" offers Perl developers a comprehensive guide to using and contributing to the Comprehensive Perl Archive Network (CPAN). Starting with a general overview of CPAN's history, network topology, and navigational mechanisms, the book quickly brings you up-to-speed regarding how to search out and install available modules. However, in the true open source spirit, author and experienced Perl developer Sam Tregar teaches you how to not only use, but also contribute to CPAN via an in-depth discussion of module creation, submission, and maintenance.

Beginning with a survey of basic design principles, Tregar takes care to discuss all issues relevant to developers wishing to create great Perl modules, including choosing a proper name, properly using Perl's POD (plain old documentation) feature, concepts surrounding functional and object-oriented API development, and much more. Tregar then proceeds with a complete dissertation of how modules should conform to CPAN module specifications, covering required distribution files and coding considerations, in addition to offering advice regarding proper module testing. After demonstrating how to create a module and prepare it for release, Tregar guides you through the CPAN module submission process and discusses module maintenance once the module has been contributed to the CPAN service.

"Writing Perl Modules for CPAN" is an indispensable guide for anyone wishing to make the most of the CPAN service.

Designing Collaborative Systems: A Practical Guide to Ethnography introduces a new 'ethnographic' approach that will enable designers to create collaborative and interactive systems, which are employed successfully in real-world settings. This new approach, adapted from the field of social research, considers both the social circumstances and the level and type of human interaction involved, thereby ensuring that future ethnographic systems are as user-friendly and as effective as possible. This book provides the practitioner with an invaluable introduction to this approach, and presents a unique set of practical strategies for incorporating it into the design process. Divided into four distinct sections with practical examples throughout, the book covers:- the requirements problem; - ethnographic practices for describing and analysing cooperative work; - the design process; and - the role of ethnography when evaluating systems supporting cooperative work. "Of the various perspectives that jostle together under the rubric of ethnography, ethnomethodology has often held the most appeal for designers. Yet, surprisingly, there has not been a systematic explication of ethnography and ethnomethodology for the purposes of system design. Andy Crabtree puts this to rights in a comprehensive, informative, and accessible practical guide which will be of great value to not only designers but also the ethnographers who work with them." (Graham Button, Lab. Director, Xerox Research Centre, Europe) "Not only is the book a must for those interested in bringing a social dimension to the system design process, it also makes a significant contribution to ethnomethodology." (Professor John A. Hughes, Lancaster University, UK)

This book constitutes the refereed proceedings of the First International Conference on Soft-Ware 2002, held in Belfast, North Ireland in April 2002.The 24 revised full papers presented together with seven abstracts of invited presentations and the summary of a panel were carefully reviewed and selected for inclusion in the book. All presentations are devoted to the effective handling of soft issues in the design, development, and operation of computing systems, from an academic research point of view as well as from the point of view of industrial practice. The papers aim at integrating an interdisciplinary range of disciplines including artificial intelligence, information systems, software engineering, and systems engineering.

This volume continues the tradition established in 2001 of publishing the c- tributions presented at the Cryptographers' Track (CT-RSA) of the yearly RSA Security Conference in Springer-Verlag's Lecture Notes in Computer Science series. With 14 parallel tracks and many thousands of participants, the RSA - curity Conference is the largest e-security and cryptography conference. In this setting, the Cryptographers' Track presents the latest scienti?c developments. The program committee considered 49 papers and selected 20 for presen- tion. One paper was withdrawn by the authors. The program also included two invited talks by Ron Rivest ("Micropayments Revisited" - joint work with Silvio Micali) and by Victor Shoup ("The Bumpy Road from Cryptographic Theory to Practice"). Each paper was reviewed by at least three program committee members; paperswrittenbyprogramcommitteemembersreceivedsixreviews.Theauthors of accepted papers made a substantial e?ort to take into account the comments intheversionsubmittedtotheseproceedings.Inalimitednumberofcases, these revisions were checked by members of the program committee. I would like to thank the 20 members of the program committee who helped to maintain the rigorous scienti?c standards to which the Cryptographers' Track aims to adhere. They wrote thoughtful reviews and contributed to long disc- sions; more than 400 Kbyte of comments were accumulated. Many of them - tended the program committee meeting, while they could have been enjoying the sunny beaches of Santa Barbara.

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. Additional resources and complete specifications for all of the case studies and the RAISE tools used to process them, are available on the World Wide Web. This book will be of particular interest to software engineers, especially those responsible for the initial stages of requirements engineering and software architecture and design. It will also be of interest to academics and students on advanced formal methods courses.

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Selected Areas in Cryptology, SAC 2001, held in Toronto, Ontario, Canada in August 2001.The 25 revised full papers presented together with the abstracts of two invited talks were carefully reviewed and selected during two rounds of refereeing and revision. The papers are organized in topical sections on cryptanalysis, Boolean functions, Rijndael, elliptic curves and efficient implementation, public key systems, and protocols and MAC.

Explains how to create controls tailored to data and application logic; develop user interfaces, dockable windows, and vector-based drawing programs; and code user interfaces with context-sensitive help and dynamic agents.

This book constitutes the refereed proceedings of the Second International Conference on Embedded Software, EMSOFT 2002, held in Grenoble, France in October 2002.The book presents 13 invited papers by leading researchers and 17 revised full papers selected during a competitive round of reviewing. The book spans the whole range of embedded software, including operating systems and middleware, programming languages and compilers, modeling and validation, software engineering and programming methodologies, scheduling and execution-time analysis, formal methods, and communication protocols and fault-tolerance

Apply the principles of DevOps in software development-automated builds, automated tests, and continuous deployment and delivery-to iOS application development on Amazon Web Services (AWS) cloud. This book provides detailed walkthroughs and example source code is provided for the concepts discussed so you can put theory into practical application. You'll start by building a basic iOS application and then dive deep into key AWS Developer tools and services to see how they can be used in iOS application development. Then review the details of the integration of these fully managed AWS services with open-source tools such as Jenkins and Fastlane that allow developers to get the best of both worlds and further help to enhance and increase agility in the development lifecycle of iOS apps. You'll also investigate the Amazon EC2 Mac instance, which allows you to run XCode in a cloud environment for the first time to leverage the flexibility, elasticity, and scale of AWS. It also allows for seamless integration of XCode with fully managed AWS Services from source code control to application deployment. Finally, the book covers how a fully managed Continuous Integration Continuous Deployment (CICD) pipeline can be used to orchestrate all the different components of iOS application development to achieve a fully automated development lifecycle. Get started building your iOS applications using a fully automated process on the AWS Cloud today! What You'll Learn Build an iOS application using AWS DevOps tools Incorporate continuous deployment in your iOS application development Integrate AWS tooling with Xcode and open source tools such as Jenkins and Fastlane Who This Book Is For iOS application developers wanting to incorporate DevOps and Cloud Architecture into their development process.

This book constitutes the refereed proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms, Middleware 2001, held in Heidelberg, Germany, in November 2001.
The 20 revised full papers presented were carefully reviewed and selected from a total of 116 submissions. The papers are organized in topical sections on Java, mobility, distributed abstractions, reliability, home and office, scalability, and quality of service.

Das vorliegende Handbuch wendet sich an Debian-User, die uber ein vollstandig installiertes und konfiguriertes System verfugen, und nun das breite Spektrum der Anwendungen nutzen mochten.

Im einzelnen werden folgende Themen behandelt: Datenorganisation (Benutzer- und Terminverwaltung, Groupware), Datenhaltung in Datenbanken (PostgreSQL, MySQL), Gestaltung von Grafiken (xfig, gnuplot, freie CAD-Programme), Bildverarbeitung (Gimp), wichtige Anwendungen zur Netzwerkkommunikation (ftp, E-Mail, write, talk, IRC, Instant Messaging, Voice over IP). Ferner werden freie Programme zur Tabellenkalkulation (Gnumeric) und zur Textverarbeitung (vi, Emacs, LaTeX, RCS, CVS) vorgestellt, eine Einfuhrung in die Computer-Algebra mittels Maple gegeben und gangige UNIX-Werkzeuge sowie die Office-Suiten OpenOffice und StarOffice in ihrer Basisfunktionalitat dargestellt.

Dieses Werk bietet die optimale Erganzung zum Buch Debian GNU/Linux Grundlagen, Installation Administration und Anwendung von Peter H. Ganten und Wulf Alex."

The chapters in this book are revised, updated, and edited versions of 13 selected papers from the Second International Conference on Cooperative Multimodal Communication (CMC'98), held in Tilburg, The Netherlands, in 1998.This wasthesecondconferencein a series,ofwhichthe ?rstonewasheld inEindhoven,TheNetherlands,in1995.Threeofthesepaperswerepresentedby invitedspeakers;thosebyDoniaScott(co-authoredwithRichardPower),Steven Feiner (co-authored with Michele Zhou), and Oliviero Stock (co-authored with Carlo Strapparava and Massimo Zancanaro). The other ten were among the submitted papers that were accepted by the CMC'98 program committee. The editors contributed an introductory chapter to set the stage for the rest of the book. We thank the programcommittee for their excellent and timely feedback to the authors of the submitted papers, and at a later stage for advising on the contents of this volume and for providing additional suggestions for improving theselectedcontributions.Theprogramcommittee consistedofNicholasAsher, NormannBadler,DonBouwhuis,HarryBunt,WalthervonHahn,DieterHuber, Hans Kamp, John Lee, Joseph Mariani, Jean-Claude Martin, Mark Maybury, PaulMcKevitt, RobNederpelt, KeesvanOverveld,RayPerrault,Donia Scott, Jan Treur, Wolfgang Wahlster, Bonnie Webber, Kent Wittenburg, and Henk Zeevat. WethanktheRoyalDutchAcademyofSciences(KNAW)andtheOrga- zationforCooperationamongUniversitiesinBrabant(SOBU)fortheirgrants that supported the conference.

"User Interfaces in VB. NET: Windows Forms and Custom Controls" goes beyond simple coverage of the Windows Forms and GDI+ namespaces by combining a careful treatment of the API with a detailed discussion of good user-interface design principles. After reading "User Interfaces in VB. NET: Windows Forms and Custom Controls," you'll know how to design state-of-the-art application interfaces, program graphics, and much more.

This book contains the following: An overview of how to design elegant user interfaces the average user can understand A comprehensive examination of the user interface controls and classes in .NET Best practices and design tips for coding user interfaces and integrating help

Although this book isn't a reference, it does contain detailed discussions about every user interface element you'll use on a regular basis. But you won't just learn how to use .NET controlsyou'll learn how and why to extend them with your own custom controls. As a developer, you need to know more than how to add a control to a window. You also need to know how to create an entire user interface framework that's scalable, flexible, and reusable.

Use this expert guide to prepare for the VCA-DCV exam

"VCA-DCV VMware Certified Associate on vSphere Study Guide: VCAD-510" is a comprehensive study guide for the VMware Certified Associate - Data Center Virtualization exam. Hands-on examples, real-world scenarios, and expert review questions cover the full exam blueprint, and the companion website offers a suite of tools to help you prepare for the exam including practice exams, electronic flashcards, and a glossary of key terms. In addition, the website includes videos that demonstrate how to complete the more challenging tasks. Focused on practical skills, this study guide not only prepares you for the certification exam, but also for the duties expected of a VCA.

The VMware Certified Associate-Data Center Virtualization certification targets those with limited virtualization and VMware data center technology experience, providing a springboard to the popular VMware Certified Professional-Data Center Virtualization certification. Virtualization has become a high priority among organizations, and credentialed professionals are in high demand. This guide helps you prove a certain level of foundational skill in basic virtualization technology, including the vSphere suite's Infrastructure Services, Application Services, and vCenter Server. Topics include: Explaining data center virtualization conceptsIdentifying the core components of vSphereNetworking and storage planning/configuration with vSphereCorrelating VMware solutions to common business challenges

The VCA-DCV certification is the only one with no instructor-led training requirement, so a thorough study guide is an invaluable tool in you exam preparation. This book not only covers the full exam, but also provides practice designed to actually improve the skills used every day on the job. "VCA-DCV VMware Certified Associate on vSphere Study Guide" is more than just test prep--it's job prep.

Linux has become increasingly popular as an alternative operating system to Microsoft Windows as its ease of installation and use has improved. This, combined with an ever growing range of applications, makes it an attractive alternative to Windows for many people.Essential Linux fast covers areas such as:- The essential preliminaries that should be carried out before installing Linux- Installing a Linux system- Configuring peripherals- Using X windows- Basic and intermediate Unix commands- Using the Internet with Linux- Using Linux for document preparation- Using Linux for programmingIf you want to make the switch from Windows, this is the book you need. Ian Chivers tells you how to get and install Linux and explains why Linux is becoming the hottest operating system of the millennium.

This book constitutes the refereed proceedings of the 8th International Conference on User Modeling, UM 2001, held in Sonthofen, Germany in July 2001.The 19 revised full papers and 20 poster summaries presented together with summaries of 12 selected student presentations were carefully reviewed and selected from 79 submissions. The book offers topical sections on acquiring user models from multi-modal user input; learning interaction models; user models for natural language interpretation, processing, and generation; adaptive interviewing for acquiring user preferences and product customization; supporting user collaboration through adaptive agents; student modeling; and adaptive information filtering, retrieval, and browsing.

The importance of typed languages for building robust software systems is, by now, an undisputed fact. Years of research have led to languages with richly expressive, yet easy to use, type systems for high-level programming languages. Types provide not only a conceptual framework for language designers, but also a ord positive bene ts to the programmer, principally the ability to express and enforce levels of abstraction within a program. Early compilers for typed languages followed closely the methods used for their untyped counterparts. The role of types was limited to the earliest s- ges of compilation, and they were thereafter ignored during the remainder of the translation process. More recently, however, implementors have come to - cognize the importance of types during compilation and even for object code. Several advantages of types in compilation have been noted to date: { They support self-checking by the compiler. By tracking types during c- pilation it is possible for an internal type checker to detect translation errors at an early stage, greatly facilitating compiler development. { They support certi cation of object code. By extending types to the ge- rated object code, it becomes possible for a code user to ensure the basic integrity of that code by checking its type consistency before execution. { They support optimized data representations and calling conventions, even in the presence of modularity. By passing types at compile-, link-, and even run-time, it is possible to avoid compromises of data representation imposed by untyped compilation techniques.

Building on classical queueing theory mainly dealing with single node queueing systems, networks of queues, or stochastic networks has been a field of intensive research over the last three decades. Whereas the first breakthrough in queueing network theory was initiated by problems and work in operations research, the second breakthrough, as well as subsequent major work in the area, was closely related to computer science, particularly to performance analysis of complex systems in computer and communication science.The text reports on recent research and development in the area. It is centered around explicit expressions for the steady behavior of discrete time queueing networks and gives a moderately positive answer to the question of whether there can be a product form calculus in discrete time. Originating from a course given by the author at Hamburg University, this book is ideally suited as a text for courses on discrete time stochastic networks.

This book constitutes the refereed proceedings of the 10th International Conference on Compiler Construction, CC 2001, held in Genova, Italy in April 2001.The 22 revised full papers presented were carefully reviewed and selected from a total of 69 submissions. The papers are organized in topical sections on program analysis, program transformation, intraprocessor parallelism, parsing, memory hierarchy, profiling, and demos.

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2000, held in Yorktown Heights, NY, USA, in August 2000. The 22 revised full papers presented together with 5 posters were carefully selected during two rounds of reviewing and improvement. All current aspects of parallel processing are addressed with emphasis on issues in optimizing compilers, languages, and software environments in high-performance computing.

How can we provide guarantees of behaviours for autonomous systems such as driverless cars? This tutorial text, for professionals, researchers and graduate students, explains how autonomous systems, from intelligent robots to driverless cars, can be programmed in ways that make them amenable to formal verification. The authors review specific definitions, applications and the unique future potential of autonomous systems, along with their impact on safer decisions and ethical behaviour. Topics discussed include the use of rational cognitive agent programming from the Beliefs-Desires-Intentions paradigm to control autonomous systems and the role model-checking in verifying the properties of this decision-making component. Several case studies concerning both the verification of autonomous systems and extensions to the framework beyond the model-checking of agent decision-makers are included, along with complete tutorials for the use of the freely-available verifiable cognitive agent toolkit Gwendolen, written in Java.

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2001, held in Cambridge, MA, USA, in June 2001.The 11 revised full papers presented were carefully selected and improved during two rounds of reviewing and revision, and present state-of-the-art results in the area.