ppxscal/embedding_network huggingface dataset:
Verification caching: towards efficient and secure mobile code execution environments
Authors: Nael B. Abu-Ghazaleh, Dhananjay S. Phatak
Venue: Proceedings of the 2002 ACM symposium on Applied computing (2002)

In the mobile code paradigm for distributed systems (as well as in the active networks and agents frameworks), programs from possibly unknown hosts interact with the resources local to the host. While this model offers great potential, it also raises difficult security and performance issues. The mobile code unit should be guaranteed to be safe (not to abuse the resources of the host) in a limited time (since the acquisition of the code happens in real time --- e.g., a Java applet). Existing host security schemes can be classified as: (i) discretion based: accept certificate of authenticity at your discretion; and (ii) verification based: formally prove the safety. Verification provides the desired level of security; however, it comes at a large performance delay while discretion is efficient, but limited and relies on blind trust. We present an optimization, verification caching, for enhancing the performance of verification-based security methods. Secure indexing of previously encountered code units is established by using message digest algorithm (e.g., MD 5) to generate a fingerprint of the code. We characterize the performance and security of this scheme and investigate optimizations to lower the cost of generating the fingerprint (by indexing on small, partial, fingerprints and generating the full fingerprint only if there is a cache hit). In addition, we generalize the approach to allow multiple trusting nodes to distribute caching among them, sharing experiences and effectively increasing the cache size.
Teach Yourself Microsoft Windows Me,Millennium Edition
Authors: Brian Underdahl
Venue:  (2000)

:Teach Yourself® Microsoft® Windows® Me Millennium Edition When you need on-the-spot answers  Teach Yourself! Learn fast with short, clear steps Find the answers you need easily Explore the Web for related topicsGet up to speed fast on Windows Millennium EditionMaximize your productivity by customizing and organizing your desktopUse new features  Movie Maker, Internet Explorer 5.5, PC Health, and morePick up great techniques for printing, faxing, and e-mailing with Outlook ExpressShare a single Internet connection with everyone on your home networkAuthor Biography: About the Author Brian Underdahl has written more than 40 computer-related titles on a broad range of topics, including Windows 95, Windows 98, Microsoft Office, and the Internet. His recent efforts include Teach Yourself Windows 98, Teach Yourself Windows 2000 Professional, Teach Yourself Microsoft Office 2000, Windows 98 One Step at a Time, Internet Bible 2nd edition, and Small Business Computing For Dummies.
Computer skills: they're not just for techies anymore
Authors: Kathleen Janik
Venue: 3C ON-LINE (1997)

In today's business world everyone needs computer skills. I was a Political Science major at Gettysburg College, and when I graduated this past spring I found that may computer proficiency was one of my most marketable skills.
Handbook of Software for Engineers and Scientists, 1st edition
Authors: Paul W. Ross
Venue:  (1995)

:The Handbook of Software for Engineers and Scientists is asingle-volume, ready reference for the practicing engineer and scientist in industry, government, and academia as well as the novice computer user. It provides the most up-to-date information in a variety of areas such as common platforms and operating systems, applications programs, networking, and many other problem-solving tools necessary to effectively use computers on a daily basis. Specific platforms and environments thoroughly discussed include MS-DOS&reg;, Microsoft&reg; Windows, the Macintosh&reg; and its various systems, UNIX, DEC VAX, IBM&reg; mainframes, OS/2&reg;, Windows NT, and NeXTSTEP. Word processing, desktop publishing, spreadsheets, databases, integrated packages, computer presentation systems, groupware, and a number of useful utilities are also covered. Several extensive sections in the book are devoted to mathematical and statistical software. Information is provided on circuits and control simulation programs, finite element tools, and solid modeling tools. Additional coverage is included on data communications and networking. Many appendices at the end of the book provide useful supplemental information, such as ASCII codes, RS-232 parallel port and pinout information, and ANSI escape sequences. This valuable resource handbook brings together a wide variety of topics and offers a wealth of information at the reader's fingertips. 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
Light-Weight Currency Management Mechanisms in Mobile and Weakly-Connected Environments
Authors: Uğur Çetintemel, Peter J. Keleher
Venue: Distributed and Parallel Databases (2002)

This paper discusses the currency management mechanisms used in Deno, an object replication system designed for use in mobile and weakly-connected environments. Deno primarily differs from previous work in implementing an asynchronous weighted-voting scheme via epidemic information flow, and in committing updates in an entirely decentralized fashion, without requiring any server to have complete knowledge of system membership.We first give an overview of Deno, discussing its voting scheme, proxy mechanism, basic API, and commit performance. We then focus on the issue of currency management. Although there has been much work on currency management in synchronous, strongly-connected environments, this issue has not been explored in asynchronous, weakly-connected environments. We present currency management mechanisms, based on peer-to-peer currency exchanges, that enable light-weight replica creation, retirement, and currency redistribution while maintaining the correctness of the underlying consistency protocol. We also demonstrate that peer-to-peer currency exchanges can be used to exponentially converge to arbitrary target currency distributions, without the need for any server to have global system information.
McGraw-Hill Encyclopedia of Personal Computing
Authors: Stan Gibilisco
Venue:  (1995)

:A valuable resource for anyone who uses a PC, this hefty, well-illustrated reference defines hundreds of terms associated with the ownership, use, and upkeep of personal computers. Editor-in-chief Stan Gibilisco has compiled more than 1200 concise, easy-to-read articles covering virtually every aspect of computing. All of the articles are arranged in alphabetical order and are extensively cross-referenced, making it simple to locate related topics quickly. Each article is brief - typically about 500 to 750 words in length. Numerous drawings, photographs, and charts illustrate many points made in the text. Written for the layperson, but comprehensive enough to be of value to the computer-literate, this practical encyclopedia includes a wealth of background information and real-life applications for most of the terms presented.
Turbo Assembler (Mastering), 2nd edition
Authors: Tom Swan
Venue:  (1995)

:Written by nationally known, bestselling author Tom Swan, Mastering Turbo Assembler, Second Edition, provides a complete introduction to assembly language programming, as well as thorough coverage of intermediate and advanced topics. With hundreds of working examples of code, chapter summaries, exercises, and projects, you'll learn how to write inline assembler code and master all the features of Borland's Turbo Assembler - painlessly.
Simulation optimization of stochastic systems with integer variables by sequential linearization
Authors: S. J. Abspoel, L. F. P. Etman, J. Vervoort, J. E. Rooda
Venue: Proceedings of the 32nd conference on Winter simulation (2000)

Discrete-event simulation is widely used to analyse and improve the performance of manufacturing systems. The related optimization problem often includes integer design variables and is defined by objective function and constraints that are expected values of stochastic functions. These stochastic functions have to be evaluated via the simulation model at the discrete levels of the integer design parameters. For such a simulation optimization problem with integer variables we have developed an optimization strategy that is based on a series of linear approximate subproblems. Each subproblem is built from the outcomes of simulation experiments. A D-optimal design of experiments is used to plan the simulation experiments. Stochasticity in constraint and objective functions is dealt with explicitly using safety indices. Two test problems will be presented to illustrate the optimization strategy. This includes a simulation based four-station production flow line problem.
Microsoft Excel 97 Field Guide
Authors: Stephen L. Nelson
Venue:  (2000)

:Microsoft Excel is a spreadsheet, so it helps users perform calculations and make tables and charts. Microsoft Excel is sold separately or as a part of Microsoft Office. 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
Internetworking LANs and WANs: Concepts, Techniques and Methods
Authors: Gilbert Held
Venue:  (1993)

:Since the first edition of this title was published three years ago, the world of communications technology has changed dramatically, specifically in terms of the rapid increase in Internet connections. This has caused an accompanying rise in the technological and administrative difficulties experienced by LAN and WAN users and managers. This new edition addresses these challenges in this practical and applications-oriented book that includes new coverage of High Speed LANs, FDDI, Fast Ethernet and ATM, Token Ring Networks, Ethernet and ATM switching in internetworking. There is also detailed coverage of TCP/IP, filtering and proxy server information. 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
MathLink: network programming with Mathematica
Venue:  (2001)

This book introduces the basic concepts of MathLink and explains how to extend Mathematica using MathLink. Miyaji and Abbott show how to write Mathlink programs and how to apply Mathlink in a variety of situations.
The security kernel approach to secure operating systems
Authors: Bruce Chittenden, Paul J. Higgins
Venue: Proceedings of the 17th annual Southeast regional conference (1979)

The security kernel is a disciplined approach to the organization and isolation of security-related functions. To guarantee completeness of the security kernel and enhance the possibility of formal verification, the design is based upon a mathematical representation of a secure system. The mathematical model most often used as the basis for kernel design is examined. A basic set of kernel functions is presented and issues relevant to kernel architectures are discussed.
Concurrent Information Processing: A Real Time Neurocomputing Approach
Authors: Robert J. Jannarone
Venue:  (1995)

:This handbook develops a system for concurrent information processing that will enable users to perform crucial real-time data analysis and decision making. The book outlines the parameters for successful large-scale CIP and explains its underlying principles. It provides problem-solving methods and examples as it builds toward the creation of an operational CIP model.
Guide To Delphi 2, 1st edition
Authors: Peter Norton
Venue:  (1996)

:Peter Norton's name is synonymous with PC expertise and this book dispenses his knowledge in a fast, hands-on style that will teach the reader everything about Delphi 32. By the time they finish this book they will be programming with Delphi in the new 32-bit environment.Covers the new 32-bit environmentUnique, fast paced hands-on approach makes learning easyCD-ROM included 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
Statistical computation of salient iso-values
Authors: Shivaraj Tenginakai, Raghu Machiraju
Venue: Proceedings of the symposium on Data Visualisation 2002 (2002)

Detection of the salient iso-values in a volume dataset is often the first step towards its exploration. An error-and-trail approach is often used; new semi-automatic techniques either make assumptions about their data [4] or present multiple criteria for analysis. Determining if a dataset satisfies an algorithm's assumptions, or the criteria to be used in an analysis are both non-trivial tasks. The use of a dataset's statistical signatures, local higher order moments (LHOMs), to characterize its salient iso-values was presented in [10]. In this paper we propose a computational algorithm that uses LHOMs for expedient estimation of salient iso-values. As LHOMs are model independent statistical signatures our algorithm does not impose any assumptions on the data. Further, the algorithm has a single criterion for characterization of the salient iso-values, and the search for this criterion is easily automated. Examples from medical and computational domains are used to demonstrate the effectiveness of the proposed algorithm.
Estimating probabilistic timing performance for real-time embedded systems
Authors: Xiaobo Sharon Hu, Tao Zhou, Edwin H.-M. Sha
Venue: IEEE Transactions on Very Large Scale Integration (VLSI) Systems (2001)

In system-level design of real-time embedded systems, being able to capture the interactions among the tasks with respect to timing constraints and determine the overall system timing performance is a major challenge. Most previous works in the area are either based on a fixed execution time model or are only concerned with the probabilistic timing behavior of each individual task. Few papers that deal with overall system probabilistic behavior have used improper assumptions. In this paper, given that the execution time of each task is a discrete random variable, a novel concept of state is introduced based on a new metric that is derived that measures the probability of a task set being able to be scheduled. Several approaches to evaluating the metric are also presented. Applying this metric in the system-level design exploration process, one can readily compare the probabilistic timing performance of alternative designs
Cognitive Carpentry: A Blueprint for how to Build a Person
Authors: John L. Pollock
Venue:  (1995)

:In his groundbreaking new book, John Pollock establishes an outpost at the crossroads where artificial intelligence meets philosophy. Specifically, he proposes a general theory of rationality and then describes its implementation in OSCAR, an architecture for an autonomous rational agent he claims is the "first AI system capable of performing reasoning that philosophers would regard as epistemically sophisticated." A sequel to Pollock's How to Build a Person, this volume builds upon that theoretical groundwork for the implementation of rationality through artificial intelligence. Pollock argues that progress in AI has stalled because of its creators' reliance upon unformulated intuitions about rationality. Instead, he bases the OSCAR architecture upon an explicit philosophical theory of rationality, encompassing principles of practical cognition, epistemic cognition, and defeasible reasoning. One of the results is the world's first automated defeasible reasoner capable of reasoning in a rich, logical environment. Underlying Pollock's thesis is a conviction that the tenets of artifical intelligence and those of philosophy can be complementary and mutually beneficial. And, while members of both camps have in recent years grown skeptical of the very possibility of "symbol processing" AI, Cognitive Carpentry establishes that such an approach to AI can be successful. A Bradford Book
A nested transaction model for multilevel secure database management systems
Authors: Elisa Bertino, Barbara Catania, Elena Ferrari
Venue: ACM Transactions on Information and System Security (TISSEC) (2001)

This article presents an approach to concurrency control for transactions in a Multilevel Secure Database Management System (MLS/DBMS). The major problem is that concurrency control mechanisms used in traditional DBMSs are not adequate in a MLS/DBMS, since they may be exploited to establish covert channels. The approach presented in this article, which uses single-version data items, is based on the use of nested transactions, application-level recovery, and notification-based locking protocols. All these features allow us to develop a concurrency control mechanism that is free of timing channels and avoids many of the shortcomings of the concurrency control mechanisms so far developed for conventional (i.e., flat) transactions, such as transaction starvation and resource wastage.
Simulation using software agents II: domain-general simulation and planning with physical schemas
Authors: Marc S. Atkin, David L. Westbrook, Paul R. Cohen
Venue: Proceedings of the 32nd conference on Winter simulation (2000)

Physical schemas are representations of simple physically grounded relationships and interactions such as "move," "push," and "contain." We believe they are the conceptual primitives an agent employs to understand its environment. Physical schemas can be used at varying levels of abstraction across a variety of domains. We have designed a domain-general agent simulation and control testbed based on physical schemas. If a domain can be described in physical terms as agents moving and applying force, it can be simulated in this testbed. Furthermore, we show that physical schemas can be viewed as the basis for abstract plans and a domain-general planner, GRASP. Our simulation and planning system is currently being evaluated in a continuous, dynamic, and adversarial domain based on the game of Capture the Flag. The paper concludes with an example of how GRASP was applied to the problem of Course of Action generation and evaluation.
The Java Web services tutorial
Venue: Addison-Wesley Java Series (2002)

The Java Web Services Tutorial is a comprehensive, example-driven, "roll up your sleeves and dive in" guide to building Web services applications with Java technology. This edition provides a head start on using the Java Web Services Developer Pack (WSDP) form Sun Microsystems. This complete, ready-to-use package includes a variety of technologies and tools required to build and deploy comprehensive Web services applications today.
Online Auctions at eBay: Bid with Confidence, Sell with Success
Authors: Dennis L. Prince
Venue:  (1999)

:Online Auctions at eBay is designed to familiarize Internet users with the phenomenally successful online auctions. Defined as the world's leading person-to-person online trading community, eBay has soared above all others to become the single most successful online auction and the third most visited Web site. Millions of Internet users are flocking to the site to buy and sell, but many lack the knowledge, experience, and savvy to participate in auctions or conduct their own auctions with confidence. This book introduces you to eBay and its features, including how to find items within eBay's extensive listings, how to research items and place bids, and how to employ techniques that increase success in winning the auction. You will learn how to create your own auction listings, from simple text to more creative and eye-catching HTML designs. You will also discover the best methods to track an auction, finalize deals, send or receive payment, and exchange merchandise. Plus you'll learn tips about good customer service, electronic etiquette, fair methods, and how to build trust in cyberspace. With this essential eBay guide, you will quickly learn how to achieve the most successful and enjoyable online auction experience. 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
Sharing scientific models in environmental applications
Authors: Maria Cláudia Cavalcanti, Marta Mattoso, Maria Luiza Campos, François Llirbat, Eric Simon
Venue: Proceedings of the 2002 ACM symposium on Applied computing (2002)

Environmental applications have been stimulating the cooperation among scientists from different disciplines. There are many examples where this cooperation takes place through exchanging scientific resources, such as data, programs and mathematical models. Finding the right model to apply in an environmental problem is a difficult task. Usually, this decision is based on previous experience. To facilitate the exchange and dissemination of information we propose a scientific resources architecture, where scientists may share their data, programs and models. We also present a scientific publishing metamodel for scientific resources description. The main goal of the proposed architecture is to provide scientific metadata support to effective model sharing, representing an innovative contribution to environmental applications. Scientific experiments and workflows are also considered as scientific resources that need to be shared. We believe that the proposed scientific publishing metamodel could be naturally extended to include these other scientific resources.
Teach Yourself QBASIC in 21 Days, 1st edition
Authors: Namir Clement Shammas
Venue:  (1993)

:QBasic in a logical, easy-to-follow format! This excellent tutorial will have readers performing advanced programming techniques such as drawing graphics and adding music in just a few short weeks.Features Q&A sections to help answer common questions users have about learning QBasicIncludes a comprehensive glossary that provides definitions for key programming terms
Complete Idiot's Guide to Word for Windows, 2nd edition
Authors: Jennifer Flynn
Venue:  (1993)

:Beginning users who are intimidated by technology will find a sympathetic friend in this wonderful how-to guide for the latest version of Word for Windows!-- Features humorous illustrations and an uncomplicated design to lead computer novices through the techno-babble and into word processing expertise-- Presents important information repeated as needed and extensively cross-referenced, making it easy to understand and easy to find-- Coverage includes managing documents, formatting, tabs and tables, and "The Top 10 Things You Need to Know About Word for Windows"