To many readers, Mozart/Oz represents a new addition to the pantheon of p- gramming systems. One way of evaluating a newcomer is through the eyes of the classics, for example Kernighan and Pike's "The Practice of Programming," a bookthatconcludeswithsix"lastingconcepts" simplicityandclarity, generality, evolution, interfaces, automation, andnotation.KernighanandPikeconcentrate on using standard languages such as C and Java to implement these concepts, but it is instructive to see how a multiparadigm language such as Oz changes the outlook. Oz's concurrency model yields simplicity and clarity (because Oz makes it easier to express complex programs with many interacting components), g- erality, and better interfaces (because the data?ow model automatically makes interfaces more lightweight). Constraint programming in Oz again yields simplicity and clarity (because theprogrammercanexpresswhatneedstobetrueratherthanthemorecomplex issue of how to make it true), and o?ers a powerful mathematical notation that is di?cult to implement on top of languages that do not support it natively. Mozart's distributed computing model makes for improved interfaces and eases the evolution of systems. In my own work, one of the most important concernsistobeabletoquicklyscaleupaprototypeimplementationintoalar- scale service that can run reliably on thousands of computers, serving millions of users. The ?eld of computer science needs more research to discover the best ways of facilitating this, but Mozart provides one powerful approach. Altogether, Mozart/Ozhelpswithallthelastingconceptsexceptautomation, and it plays a particularly strong role in notation, which Kernighan and Pike pointoutisanunderappreciatedarea.Ibelievethatprovidingtherightnotation isthemostimportantofthesixconcepts, onethatsupportsalltheothers.Mul- paradigm systems such as Oz provide more choices for notation than sing- paradigm languages.

Code generation has the potential to revolutionize application development. Rather than handcrafting each piece of code, enterprises will increasingly turn to code generation, based on templates and application of business logic, to automatically generate code to perform a variety of tasks. Code Generation in Microsoft . NET presents the fundamentals of code generation. Code generation is already used extensively in Visual Studio . NET - every form-based application contains potentially hundreds of lines of wizard created code, which is modified as the developer sets various properties. Strongly typed datasets, XML schemas and web service proxies are also generated automatically by Visual Studio. This results in a huge cost savings and improvement in software reliability. Developers need both the technical details of how to accomplish code generation in . NET as well as a coherent series of steps to follow to incorporate code generation into their development. Code Generation in Microsoft . NET teaches developers how to adopt these techniques in their own development efforts. code generation both within and between projects in the organization. The mechanics of code generation introduced in the book are organized around these steps, and provide the tools to leverage code generation for significant payback on the very first application where it is used.

Most programming books are about as exciting as Bill Gates' left ear. But with this latest eye-opening release, technology author--> Karl Moore--> shows it doesn't have to be quite so dull and uninspiring. Split into eight dynamic parts, Karl Moore's Visual Basic .NET covers every key area of real-life computer developmentand promises to turn even newbie programmers into VB .NET wizards, quicker than anyone else. It's a perfect tutorial guide for those learning VB .NET from scratch or moving from VB6.

"Karl Moore's Visual Basic .NET: The Tutorials" consists of a number of key tutorials, each dealing with a specific, "real-life" area of programming. The tutorials are broken down into easily digestible 10-page installments, with an accompanying FAQ and review sheet at the close. Numerous "top tips" are also distributed throughout the texts to aid understanding.

This volume contains the proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2003, held in Vienna, Austria, September 24-26, 2003. Initially, the workshop was referred to as the International Workshop on Code Generation for Embedded Systems. The ?rst workshop took place in 1994 in Schloss Dagstuhl, Germany. From its beg- nings, the intention of the organizers was to create an atmosphere in which the researcherscould participateactively in dynamic discussionsand pro't from the assembly of international experts in the ?eld. It was at the fourth workshop, in St. Goar, Germany, in 1999, that the spectrum of topics of interest for the workshop was extended, and not only code generation, but also software and compilers for embedded systems, were considered. The change in ?elds of interest led to a change of name, and this is when the present name was used for the ?rst time. Since then, SCOPES has been held again in St. Goar, Germany, in 2001; Berlin, Germany, in 2002; and this year, 2003, in Vienna, Austria. In response to the call for papers, 43 very strong papers from all over the world were submitted. The program committee selected 26 papers for pres- tation at SCOPES 2003. All submitted papers were reviewed by at least three experts in order to ensure the quality of the work presented at the workshop.

"Introduction to 3D Game Engine Design Using DirectX 9 and C#" illustrates the process of creating a simple 3D game engine. During this process, author Lynn Harrison demonstrates many facets of the DirectX 9 software through clear-cut explanations and examples.

Throughout the course of the book, you'll develop an off-road driving game that brings such features as management of large scenes, environmental effects, and physics into play. To write the game, you'll use cutting-edge technologiesC# and DirectX, and the .NET Frameworkand you'll go beyond simple graphics to explore audio, user input, artificial intelligence, and multiplayer design. Table of Contents Overview User Interface Hanging Ten: A Ride Through the Rendering Pipeline Basic 3D Objects Complex 3D Objects Camera: The Player's View of the World Adding Some Atmosphere: Lighting and Fog Artificial Intelligence: Adding the Competition Game Audio: Let's Make Some Noise Game Physics: Keeping It Real Tools of the Trade

* Covers the new, forthcoming release of Samba 3. * Demonstrates how to integrate Samba with other network protocols, such as NFS, AppleTalk, LPD, IPP, DNS, and NTP. * Clear and concise, the books describes the inner working of SMB/CIFS, and how to configure and maintain the Samba software on many platforms, including Linux, Unix, FreeBSD, Mac OS X (Jaguar and Panther), and Windows.

The 7th Annual Financial Cryptography Conference was held January 27-30, 2003, in Guadeloupe, French West Indies. Financial Cryptography is organized by the International Financial Cryptography Association. Financial Cryptography 2003 received 54 paper submissions, of which one was withdrawn. The remaining papers were carefully reviewed by at least three members of the program committee. The program committee selected 17 papers for inclusion in the conference, revised versions of which are included in this proceedings. In addition to the submitted papers, the program included interesting and entertaining invited talks by Tim Jones on digital cash and by Richard Field on the interactions between technology and the United Nations. There were also several panels, on micropayments, economics of security, and trusted computing platforms, some of which are represented by contributions in these proceedings, and a rump session chaired by Juan Garay. We thank the program committee (listed on the next page) for their hard work in selecting the program from these papers. We also thank the external referees who helped with the reviewing task: N. Asokan, Danny Bickson, - manuel Bresson, Dario Catalano, Xuhua Ding, Louis Granboulan, Stuart Haber, Amir Herzberg, Bill Horne, Russ Housley, Yongdae Kim, Brian LaMacchia, Phil MacKenzie, Maithili Narasimha, Phong Nguyen, Kaisa Nyberg, David Poi- cheval, Tomas Sander, Yaron Sella, Mike Szydlo, Anat Talmy, Ahmed Tew?k, Susanne Wetzel, Shouhuai Xu, and Jeong Yi. (Apologies for any omissions - advertent.

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.

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Information Hiding, IH 2002, held in Noordwijkerhout, The Netherlands, in October 2002. The 27 revised full papers presented were carefully selected during two rounds of reviewing and revision from 78 submissions. The papers are organized in topical sections on information hiding and networking, anonymity, fundamentals of watermarking, watermarking algorithms, attacks on watermarking algorithms, steganography algorithms, steganalysis, and hiding information in unusual content.

This book constitutes the thoroughly refereed post-proceedings of the 9th Annual International Workshop on Selected Areas in Cryptology, SAC 2002, held in St. John's, Newfoundland, Canada, in August 2002. The 25 revised full papers presented were carefully selected from 90 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on elliptic curve enhancements, SNOW, encryption schemes, differential attacks, Boolean functions and stream ciphers, block cipher security, signatures and secret sharing, MAC and hash constructions, and RSA and XTR enhancements.

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.

"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)

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.

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 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.

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.

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

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.

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.

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."

"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.

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 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.