ppxscal/embedding_network huggingface dataset:
Linkers and Loaders, 1st edition
Authors: John R. Levine
Venue:  (1999)

:Whatever your programming language, whatever your platform, you probably tap into linker and loader functions all the time. But do you know how to use them to their greatest possible advantage? Only now, with the publication of Linkers Loaders, is there an authoritative book devoted entirely to these deep-seated compile-time and run-time processes. The book begins with a detailed and comparative account of linking and loading that illustrates the differences among various compilers and operating systems. On top of this foundation, the author presents clear practical advice to help you create faster, cleaner code. Youll learn to avoid the pitfalls associated with Windows DLLs, take advantage of the space-saving, performance-improving techniques supported by many modern linkers, make the best use of the UNIX ELF library scheme, and much more. If youre serious about programming, youll devour this unique guide to one of the fields least understood topics. Linkers Loaders is also an ideal supplementary text for compiler and operating systems courses. Features Includes a linker construction project written in Perl, with project files available for download. Covers dynamic linking in Windows, UNIX, Linux, BeOS, and other operating systems. Explains the Java linking model and how it figures in network applets and extensible Java code. Helps you write more elegant and effective code, and build applications that compile, load, and run more efficiently. About the Authors John Levine is the author or co-author of many books, including lex & yac (O'Reilly), Programming for Graphics Files in C and C++ (Wiley), and The Internet for Dummies (IDG). He is also publisher emeritus of the Journal of C Language Translation, long-time moderator of the comp.compilers newsgroup, and the creator of one of the first commercial Fortran 77 compilers. He holds a Ph.D. in Computer Science from Yale University.
A type system for certified binaries
Authors: Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou
Venue: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2002)

A certified binary is a value together with a proof that the value satisfies a given specification. Existing compilers that generate certified code have focused on simple memory and control-flow safety rather than more advanced properties. In this paper, we present a general framework for explicitly representing complex propositions and proofs in typed intermediate and assembly languages. The new framework allows us to reason about certified programs that involve effects while still maintaining decidable typechecking. We show how to integrate an entire proof system (the calculus of inductive constructions) into a compiler intermediate language and how the intermediate language can undergo complex transformations (CPS and closure conversion) while preserving proofs represented in the type system. Our work provides a foundation for the process of automatically generating certified binaries in a typetheoretic framework.
Critical Approaches to Information Technology in Librarianship: Foundations and Applications
Authors: John Buschman
Venue:  (1993)

:Constant developments in information technology are creating fundamental changes in librarianship. This book challenges the uncritical acceptance of these changes caused by technology. The volume begins by explaining the importance of a critical approach to information technology in librarianship. The first part of the book then explores the fundamental critical issues at the heart of technology in the library. Chapters in this section consider such topics as the neutrality of technology, information technology and censorship, the role of computers in education, and the sometimes critical views of scientists on technology. The second part of the volume looks more closely at issues related to the application of technology in librarianship. These chapters discuss technology and the civic role of libraries, the political apsects of electronic information, and the role of technology in the labor process. A selected bibliography concludes the work.
Special Edition Using Lotus Notes and Domino 4.6 with Cdrom, 1st edition
Authors: Cate Richards
Venue:  (1998)

:This book covers every single facet of the Notes and Domino environment, focusing on the features and tools that help the power user accomplish tasks in the most efficient manner. Get up to speed on the latest Notes features, like Notes Developer, portfolio views, enhanced calendaring and scheduling, Internet Mail mail support, and the Internet Explorer 4 Web browser. Master the newest features of Domino, including support for the latest Internet protocols and the administration enhancements. Learn to integrate Lotus Notes with other applications, like Windows NT Workstation 4, Microsoft Office 97, Lotus SmartSuite 98 and more. Also learn how to access data remotely, through Notes remote access features or via a Web browser over the Internet.Proven Sales History: This updated edition of the most popular book on Lotus Notes and Domino provides the best all-around coverage of client, server and Internet topics for the power user and new developerGrowing Market: Lotus predicts it will ship over 8 million units of Lotus Notes in 1997, and to date has increased staff by 40% to meet the increased demand (Reuters News, 6/3/97)New Market: Lotus announced in August 1997 that it will be revamping it s popular AS/400 minicomputer line (a $5 billion dollar business) to extend Domino as an Internet server (Reuters News, 8/18/97)
VRID: a design model and methodology for developing virtual reality interfaces
Authors: Vildan Tanriverdi, Robert J.K. Jacob
Venue: Proceedings of the ACM symposium on Virtual reality software and technology (2001)

Compared to conventional interfaces, Virtual reality (VR) interfaces contain a richer variety and more complex types of objects, behaviors, interactions and communications. Therefore, designers of VR interfaces face significant conceptual and methodological challenges in: a) thinking comprehensively about the overall design of the VR interface; b) decomposing the design task into smaller, conceptually distinct, and easier tasks; and c) communicating the structure of the design to software developers. To help designers to deal with these challenges, we propose a Virtual Reality Interface Design (VRID) Model, and an associated VRID methodology.
Windows 2000 automated deployment
Authors: Ted Malone, Rolly Perreaux, Mike Young
Venue:  (2001)

Offering such benefits as new management functionality and allowing for a high level of administrative control over the corporate desktop, Windows 2000 also inevitably poses intricacies that may trip up even the most ambitious system administrator. This book provides you with the proper guidance to make informed decisions when using the automated deployment and management tools that Microsoft has incorporated for the first time in Windows 2000.
Novell's Intranetware Administrator's Handbook, 1st edition
Authors: Kelley J.P. Lindberg
Venue:  (1996)

:People all around your company rely on you to install the network properly, run it smoothly, and provide help when there is trouble. Get cut-to-the-chase answers on login scripts, configuration data, and maintenance topics with Kelley J.P. Lindberg's compact yet comprehensive reference. This definitive handbook is your official source on Novell's new intranetWare. Find Concise, Expert Checklists and Troubleshooting Tips on... NetWare 4.11 Novell Directory Services Printing Connecting NetWare to the Internet Disaster Planning and Recovery Users and Groups Network Security File Management NetWare Clients for Mac OS Online Documentation Protocols
The changing role of online pedagogy: how may instructional management systems, metadata, and problem-based learning combine to facilitate learner-centered instruction
Authors: Justin L. Schakelman
Venue: Proceedings of the 29th annual ACM SIGUCCS conference on User services (2001)

Over the past decade, online instruction has taken many shapes and forms. No single construct, however, has harbored enough inertia to affect the thousands of educational professionals seeking best online practices. Instead, small insights are realized and duly reported, often only reaching a small audience. As instructional technologies advance at a furious rate, the small constituent of true educational innovators usually find themselves unable to keep up with change-let alone share their findings in a time-efficient manner. Some new educational technologies, however, have come to market recently to diffuse some of this burden.
Three-party encrypted key exchange: attacks and a solution
Authors: Chun-Li Lin, Hung-Min Sun, Tzonelih Hwang
Venue: ACM SIGOPS Operating Systems Review (2000)

Password-based mechanism is the widely used method for authentication since it allows people to choose their own passwords without any assistant device to generate or store. However, people are used to choose easy-to-remember passwords such that guessing attacks could succeed. In 1992, Bellovin and Merritt proposed Encrypted Key Exchange (EKE) protocols for preventing guessing attacks, in which two communication parties A and B securely share a possibly weak password in advance. In large communication environments, it is inconvenient in key management that every two communication parties mutually share a secret. Three-party EKE protocols, in which all parties (clients) share their secrets with a trusted server only, are more suitable for large communication environments. In 1995, Steiner, Tsudik and Waidner proposed a realization of three-party EKE protocol which is later demonstrated that it is vulnerable to undetectable on-line guessing attacks. In this paper, We will show a new off-line guessing attack on Steiner, Tsudik and Waidners' protocol. Besides, we will also propose a new three-party EKE protocol which not only is secure against both the off-line guessing attack and undetectable on-line guessing attacks but also satisfies the security properties of perfect forward secrecy and known-key security.
Emergence of Technopolis: Knowledge-Intensive Technologies and Regional Development
Authors: Robert W. Preer
Venue:  (1992)

:This study examines the rise of the "technopolis"--high technology-based regional development. It explores how and why these regions emerged and the policies that have been devised to promote them. The rapid, propulsive growth of the technopolis in the 1960s and 1970s caught many people by surprise. A new generation of regional development policies have appeared worldwide, the most common ones being science parks, small business incubators, and venture capital funds. This book surveys these policies from a comparative, critical perspective and develops a theoretical framework for understanding the role policy can play in the development process. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Some guidelines for non-repudiation protocols
Authors: Panagiotis Louridas
Venue: ACM SIGCOMM Computer Communication Review (2000)

Non-repudiation protocols aim at preventing parties in a communication from falsely denying having taken part in that communication; for example, a non-repudiation protocol for digital certified mail should ensure that neither the sender can deny sending the message, nor the receiver can deny receiving it. We identify some guidelines for non-repudiation protocols. The guidelines are derived by examining a series of non-repudiation protocols that descend from a single ancestor.
Windows NT TCP/IP
Authors: Karanjit S Siyan
Venue:  (1998)

:With this book, Dr. Siyan shows the experienced administrator how to implement and integrate Windows applications using the latest advances in TCP/IP. He focuses on the key administration issues, delves deeply into these issues, and gives experienced professionals the practical, mission-critical information they need for solutions based results.
Communications Media in the Information Society, 1st edition
Authors: Robert LaRose
Venue:  (1995)

:Communications Media in the Information Society introduces you to mass media as they were and as they will be on tomorrow's information superhighway. Straubhaar and LaRose explore mass media and advanced information technology, helping you grasp the knowledge base, skills, and perspective that cut across the industries. With a balance of behavioral and critical perspectives, they encourage you to consider the effects and implications of the media as they evolve, ultimately preparing you to thrive in a new communications environment.
Windows 2000 Server Security For Dummies
Authors: Paul Sanna
Venue:  (1999)

:From hackers and viruses to e-commerce transactions, security is an increasing concern for network administrators. This all-new guide shows them how to lock in tight network security, using such methods as virus protection, safe dial-in connections, firewalls, proxy servers, and flux capacitors. The CD-ROM comes with top network security tools.
Pipelined All-to-All Broadcast in All-Port Meshes and Tori
Authors: Yuanyuan Yang, Jianchao Wang
Venue: IEEE Transactions on Computers (2001)

All-to-all communication is one of the most dense communication patterns and occurs in many important applications in parallel computing. In this paper, we present a new all-to-all broadcast algorithm in all-port meshes and tori. The algorithm utilizes a controlled message flooding based on a novel broadcast pattern, which ensures a balanced traffic load in all dimensions in the network so that the optimal transmission time for all-to-all broadcast can be achieved. The broadcast pattern is described in a formal, generic way for each node in terms of a few simple operations and can be easily built into router hardware. Unlike existing all-to-all broadcast algorithms, the new algorithm overlaps message switching time with transmission time in a pipelined fashion to reduce the total communication delay of all-to-all broadcast. In most cases, the total communication delay is close to the lower bound of all-to-all broadcast within a small constant range. Finally, the algorithm is conceptually simple and symmetrical for every message and every node so that it can be easily implemented in hardware and achieves the optimum in practice.
Core Perl
Venue:  (2002)

This start-to-finish tutorial and reference gives experienced developers the techniques and real-world code they need to master Perl---fast! Begin by leveraging your current skills to quickly master the fundamentals of Perl development---from basic syntax to objects, data structures to text processing. Next, learn how to use Perl's powerful facilities for working with files, networks, and relational databases. Finally, Core Perl shows you how to make the most of Perl in any Web appplication---from simple CGI to full-fledged site development and delivery.
Electronic Word: Democracy, Technology, and the Arts
Authors: Richard A. Lanham
Venue:  (1993)

:The personal computer has revolutionized communication, and digitized text has introduced a radically new medium of expression. Interactive, volatile, mixing word and image, the electronic word challenges our assumptions about the shape of culture itself.This highly acclaimed collection of Richard Lanham's witty, provocative, and engaging essays surveys the effects of electronic text on the arts and letters. Lanham explores how electronic text fulfills the expressive agenda of twentieth-century visual art and music, revolutionizes the curriculum, democratizes the instruments of art, and poses anew the cultural accountability of humanism itself. Persuading us with uncommon grace and power that the move from book to screen gives cause for optimism, not despair, Lanham proclaims that "electronic expression has come not to destroy the Western arts but to fulfill them." The Electronic Word is also available as a Chicago Expanded Book for your Macintosh&reg;. This hypertext edition allows readers to move freely through the text, marking "pages," annotating passages, searching words and phrases, and immediately accessing annotations, which have been enhanced for this edition. In a special prefatory essay, Lanham introduces the features of this electronic edition and gives a vividly applied critique of this dynamic new edition. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
HTML: The Complete Reference, 3rd edition
Authors: Thomas A. Powell
Venue:  (2000)

:A comprehensive,all-in-one reference for all levels of HTML developers. This bestselling book combines theory and practice,and includes extensive examples. The Ultimate HTML Resource!Build and design dynamic,fully-functional Web sites with this comprehensive guide. You'll learn exactly how to create compelling,cross-platform Web pages,understand the functions of the individual tags,and learn which tags to use for which environment. All of the practical examples included are updated to work with Netscape Navigator 6 and Internet Explorer 5. 5. You'll also get an introduction to server- and client-side programming using JavaScript,Java,ActiveX,plug-ins,and popular server-side technologies such as ColdFusion,ASP,and CGI. Preview more advanced topics,including the DOM,XML,and XSL. Straightforward,fact-packed,and instructive,this is your one-stop guide to using HTML!Inside,you'll find out how to: Master simple to complex Web page design using step-by-step tutorials Get the facts on WebTV,Netscape Navigator,and Internet Explorer Build client interactivity easily with Dynamic HTML (DHTML) Describe,deliver,and exchange structured data between multiple applications with Extensible Markup Language (XML) Control color,font,and layout with Cascading Style Sheets (CSS),TGI,and Cold Fusion Use forms and the advanced scripting potential of Active Server Pages (ASP) to create complete applications that work on the Web Maximize your productivity with a 400-page reference section including HTML tags,color/HEX values,color names,fonts,and style sheets
Towards the prediction of development effort for hypermedia applications
Authors: Emilia Mendes, Steve Counsell, Nile Mosley
Venue: Proceedings of the 12th ACM conference on Hypertext and Hypermedia (2001)

Accurate estimates of development effort play an important role in the successful management of larger hypermedia development projects. By applying measurement principles to measure characteristics of the applications and their development processes, feedback can be obtained to help understand, control and improve future applications and corresponding processes. The objective of this paper is to describe the application of case-based reasoning to estimating the effort for developing hypermedia applications. The data used in the estimation process was obtained through an experiment where effort and size metrics were collected. We have shown that case-based reasoning is a candidate technique to effort estimation and, with the aid of an automated environment, can be applied to hypermedia development effort prediction.
Using Microsoft FrontPage with Cdrom
Authors: Neil Randall
Venue:  (1996)

:FrontPage is the critically acclaimed Web authoring system from Vermeer, recently acquired by Microsoft. This comprehensive reference follows web authoring with FrontPage, covering all aspects including HTML creation, document conversion and site maintenance. The CD-ROM includes additional custom templates, wizards and "bots" to be used with FrontPage.
Combining and selecting characteristics of information use
Authors: Ian Ruthven, Mounia Lalmas, Keith van Rijsbergen
Venue: Journal of the American Society for Information Science and Technology (2002)

Ruthven, Lalmas, and van Rijsbergen use traditional term importance measures like inverse document frequency, noise, based upon in-document frequency, and term frequency supplemented bytheme value which is calculated from differences of expected positions of words in a text from their actual positions, on the assumption that even distribution indicates term association with a main topic, andcontext,which is based on a query term's distance from the nearest other query term relative to the average expected distribution of all query terms in the document. They then define document characteristics likespecificity, the sum of all idf values in a document over the total terms in the document, or document complexity, measured by the documents averageidf value; and information to noise ratio, info-noise, tokens after stopping and stemming over tokens before these processes, measuring the ratio of useful and non-useful information in a document. Retrieval tests are then carried out using each characteristic, combinations of the characteristics, and relevance feedback to determine the correct combination of characteristics. A file ranks independently of query terms by both specificity and info-noise, but if presence of a query term is required unique rankings are generated.
Presenting Windows 98 One Step at a Time with Cdrom, 1st edition
Authors: Brian Underdahl
Venue:  (1997)

:What's this? A book on Windows 98 when the software hasn't even been released yet? Presenting Windows 98 One Step at a Time doesn't just give you a sneak peak at the forthcoming operating system from Microsoft but also actually allows you to test drive it, thanks to the unique, hands-on software included on the book's bonus CD-ROM. It shows you -- on screen -- how to Take advantage of Windows 98's new features, including Internet Explorer 4, Active Desktop, Windows Address Book, FrontPad, Web Publishing Wizard, NetMeeting, Virtual Private Networking, TV Viewer, System File Checker, Windows Tune-Up Wizard, and Schedule Agent Connect to the Internet and use push and broadcast Web technologies Bring the Internet right onto your desktop (this you have to see) Send faxes and exchange e-mail with Windows Messaging System Manage files and folders effectively Best of all, the award-winning, interactive software accompanying Presenting Windows 98 One Step at a Time coaches you through all the lessons in the book, offering voice-over narration to make learning new software easier and more enjoyable than ever before.
The Literary Text in the Digital Age
Authors: Richard J. Finneran
Venue:  (1995)

:The development of digital technology and its widespread availability on the personal computer are bringing about a fundamental paradigm shift in the ways that literary texts are created, preserved, disseminated, and studied - a revolution that many scholars have argued is as profound as that created by Gutenberg's invention of movable type. At the same time, a major shift in textual theory - away from the notion of a "Definitive Edition" and toward a recognition of the integrity of discrete versions - has highlighted the fundamental limitations of the printed book. The Literary Text in the Digital Age addresses these developments from a wide range of perspectives. The essays discuss topics from the history of electronic editions to problems in encoding to the relationship between contemporary literary theory and the capabilities of digital technology. Other articles discuss the design of hypertext electronic editions now in progress or projected, including editions of the work of Chaucer, Thomas Hardy, and Dante Gabriel Rossetti. Individually and together the contributions show how these projects will go beyond the "electronic book" and exploit the full potential of the new medium. Finally, the volume also includes an afterword, in which A. Walton Litz reflects on the importance of digital technology from the perspective of one of the senior scholars in modernist literary studies. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player