ppxscal/embedding_network huggingface dataset:
Factors influencing the experience of website usage
Authors: Sascha Mahlke
Venue: CHI '02 extended abstracts on Human factors in computing systems (2002)

The present study examines the role of subjectively preceived factors of the experience of website usage in forming an intention to use a website. An integrative research model is presented and tested empirically. It includes the following four aspects of experience: perceived usefulness, ease of use, hedonic quality and visual attractiveness. The two main research questions are: (1) Are these aspects four subjectively independently preceived aspects of website interaction? and (2) Is the intention to use formed by combining and weighting these four experience aspects and if so, which weights are assigned to the respective aspects.The results suggest that all four aspects of experience can be independently perceived by the user and contribute all with different weights to the intention to use the website.
Automatic synthesis of deadlock free connectors for COM/DCOM applications
Authors: Paola Inverardi, Massimo Tivoli
Venue: ACM SIGSOFT Software Engineering Notes (2001)

Many software projects are based on the integration of independently designed software components that are acquired on the market rather than developed within the project itself. Sometimes interoperability and composition mechanisms provided by component based integration frameworks cannot solve the problem of binary component integration in an automatic way. Notably, in the context of component based concurrent systems, the binary component integration may cause deadlocks within the system. In this paper we present a technique to allow connectors synthesis for deadlock-free component based architectures [2] in a real scale context, namely in the context of COM/DCOM applications. This technique is based on an architectural, connector-based approach which consists of synthesizing a COM/DCOM connector as a COM/DCOM server that can route requests of the clients through a deadlock free policy. This work also provides guide lines to implement an automatic tool that derives the implementation of routing dead-lock-free policy within the connector from the dynamic behavior specification of the COM components. It is then possible to avoid the deadlock by using COM composition mechanisms to insert the synthesized connector within the system while letting the system COM servers unimodified. We present a sucessful application of this technique on the (COM version of the) problem known as "The dining philosophers". Depending on the type of deadlock we have a strategy that automatically operates on the connector part of the system architecture in order to obtain a suitably equivalent version of the system which is deadlock-free.
Linux Ethernet Howto
Authors: Paul Gortmaker
Venue:  (2000)

:The Linux Ethernet-HOWTO is a compilation of information about which Ethernet devices can be used for Linux, and how to set them up. This HOWTO is focused on the hardware and low-level driver aspect of the Ethernet cards, and does not cover the software end of things like ifconfig and route (this material is covered in the Network HOWTO).Chapters include: * Introduction * What card should I buy for Linux? * Frequently Asked Questions * Performance Tips * Vendor/Manufacturer/Model Specific Information * Cables, Coax, Twisted Pair * Software Configuration and Card Diagnostics * Technical Information * Networking with a Laptop/Notebook Computer * Miscellaneous
Programming and Customizing the Avr Microcontroller
Authors: Dhananjay V. Gadre
Venue:  (2000)

:Programming and Customizing the AVR Microcontroller clarifies this versatile chip's basics and coaches you through sophisticated applications, using plenty of examples. Even programming newcomers will be able to follow the clearly illustrated, learn-as-you-go instructions. Yet professionals who need to get project up and running quickly will find the details they need in the author's comprehensive coverage of the AVR's components and capabilities.
Digital Hardware Testing: Transistor-Level Fault Modeling and Testing
Authors: Rochit Rajsuman
Venue:  (1992)

:Digital Hardware Testing presents realistic transistor-level fault models and testing methods for all types of circuits. The discussion details design-for-testability and built-in self-test methods, with coverage of boundary scan and emerging technologies such as partial scan, cross check, and circular self-test-path.
An ethnographic study of an online, mutual-aid health community: group dynamics, roles, and relationships
Authors: Diane Maloney-Krichmar
Venue: CHI '02 extended abstracts on Human factors in computing systems (2002)

The research project will examine a fairly well studied, long established, and thriving online health bulletin board through a multi level, in-depth analysis. Ethnographic research methods will be used in combination with social network analysis and an examination of issues related to usability. The purpose of the research is to document the role the online community plays in the lives of its members; define the patterns of interaction within the group; compare group dynamics in the online community to those in face to face mutual aid groups, and examine the impact of usability issues on group process.
Satellite-Based Cellular Communications
Authors: Bruno Pattan
Venue:  (1997)

:One of the FCC's leading satellite communications experts spells out how to create, operate, and maintain satellite-based cellular communication networks in this guide. Bruno Pattan clarifies all aspects of cellular communications that employ satellites in non-geostationary (NGSO) and geostationary (GSO) orbits, giving you a working knowledge of the mechanical aspects of orbits ... cellular structuring ... signal analysis ... propagation anomalies ... and hand-held transceivers. Complete with new information on frequency management, this guide delivers the tools you need to determine the spectrum and regulatory requirements for providing global data and voice service; calculate orbital geometries; deal with different propagation media; design ground receivers that offer the best voice quality, lowest power consumption, and optimum antenna pattern coverage; minimize interference between signals; and assure quality performance in a hostile transmission environment. Pattan also gives you an eye-opening preview of future systems that will provide global communications near the end of this millennium. Go global now ... with the guide that launches you into the cutting edge of communications!
Creating PC Video
Authors: Robert Wolenik
Venue:  (1999)

:With the advent of the new digital camcorders developed by Panasonic and Sony in the new DV format, professional quality video is available in consumer-level equipment. At the same time, digital editing is now available for the PC using video capture cards in the $500-$1,000 price range, and digital editing software in the $800-$1,200 range, such as Adobe Premiere. This combination enables users such as the sophisticated amateur video maker, the wedding or business presentation video maker, and people working in multimedia for educational, training, or other presentation purposes, to edit their own work and turn out competent professional-quality video.
Excel for Windows 95 (Mastering), 3rd edition
Authors: Thomas Chester
Venue:  (1995)

:Mastering Excel for Windows 95 is a brand-new edition of our best-seller, completely updated for the latest version of Excel. Written by Excel expert Thomas Chester, this book reveals new and overlooked ways to reduce work, improve performance, and achieve better results. Make Excel work for you. Enhance productivity and reduce errors simply by naming cells; turn basic templates into valuable, reusable tools; and learn the essential functions you'll use every day. Push database capabilities to the max. Transform complex list management jobs into simple, routine tasks. Expanded coverage of pivot tables shows you how to extract remarkably specific information from large bodies of data. Solve real-world problems. Make your models easier to use by adding custom controls and dialogs - without programming; build your own sample application; handle what-if analyses; and learn to work with other programs and data. You'll also find highlighted coverage of new features; sidebars full of tips, techniques, and troubleshooting help; an alphabetical function reference for both Excel and the Analysis ToolPak add-in; keyboard shortcuts; and a full-color tear-out guide to essential Windows 95 features.
Circuit enumeration in an undirected graph
Authors: Pentti A. Honkanen
Venue: Proceedings of the 16th annual Southeast regional conference (1978)

In his paper J. T. Welch [7] presents an algorithm for determining the circuits of a graph in a mechanical manner. Unfortunately, when an implementation of this procedure was attempted by N. E. Gibbs a very large class of counter examples was discovered. Gibbs rectified this situation in his algorithm [1]. However, a close study of Gibbs' algorithm shows that it is essentially an enumerative case considering all possible combinations. Hsu and Honkanen [3] developed a set of algorithms which used Welch's Concept where it applied and then examined the remaining circuits essentially in a manner like Gibbs' algorithm but did not require examining all possible combinations. R. Tarjan [6] pointed out several flaws in these algorithms which are corrected in this paper.
On the composition of authenticated byzantine agreement
Authors: Yehuda Lindell, Anna Lysyanskaya, Tal Rabin
Venue: Proceedings of the thiry-fourth annual ACM symposium on Theory of computing (2002)

A fundamental problem of distributed computing is that of simulating a (secure) broadcast channel, within the setting of a point-to-point network. This problem is known as Byzantine Agreement and has been the focus of much research. Lamport et al. showed that in order to achieve Byzantine Agreement in the standard model, more than 2/3 of the participating parties must be honest. They further showed that by augmenting the network with a public-key infrastructure, it is possible to obtain secure protocols for any number of faulty parties. This augmented problem is called "authenticated Byzantine Agreement".In this paper we consider the question of concurrent, parallel and sequential composition of authenticated Byzantine Agreement protocols. We present surprising impossibility results showing that:<ol>Authenticated Byzantine Agreement cannot be composed in parallel or concurrently (even twice), if 1/3 or more of the parties are faulty. Deterministic authenticated Byzantine Agreement protocols that run for r rounds and tolerate 1/3 or more faulty parties, can only be composed sequentially less than 2r times. </ol>In contrast, we present randomized protocols for authenticated Byzantine Agreement that compose sequentially for any polynomial number of times. We exhibit two such protocols: The first protocol tolerates corruptions of up to 1/2 of themparties, while In the first protocol, the number of faulty parties may be any number less than 1/2. On the other hand, the second protocol can tolerate any number of faulty parties, but is limited to the case that the overall number of parties is O(log k), where k is a security parameter. Finally, we show that when the model is further augmented so that unique and common session identifiers are assigned to each concurrent session, then any polynomial number of authenticated Byzantine agreement protocols can be concurrently executed, while tolerating any number of faulty parties.
International workshop on software configuration management (SCM-10): new practices, new challenges, and new boundaries
Authors: André van der Hoek
Venue: ACM SIGSOFT Software Engineering Notes (2001)

This report provides a brief summary of SCM-10, the ICSE 2001 10th International Workshop on Software Configuration Management. The primary goal of this workshop was to broaden the scope of SCM and establish ties with other disciplines that are strongly related to SCM---whether requiring some form of novel, advanced SCM functionality or influencing the field of SCM with newly available technology. As demonstrated by the accepted set of position papers and the lively discussion in the workshop, SCM-10 succeeded in achieving this goal and raised many new and important questions to be addressed in the years to come.
An agent-based framework for linking distributed simulations
Authors: Linda F. Wilson, Daniel Burroughs, Jeanne Sucharitaves, Anush Kumar
Venue: Proceedings of the 32nd conference on Winter simulation (2000)

Simulations often operate on static datasets and data sources, but many simulations would benefit from access to dynamic data. This paper describes our work developing a software agent-based framework for dynamically linking distributed simulations and other remote data resources. The framework allows independently-designed simulations to communicate seemlessly with no a priori knowledge of the details of other simulations and data sources. In this paper, we discuss our architecture and current implementation developed using the D'Agents mobile agent system. To demonstrate the feasibility of our system, we present a prototype for a hypothetical search and rescue mission.
Javascript and NetScape 2 Wizardry, 11th edition
Authors: Daniel Shafer
Venue:  (1996)

:Most Web users have mastered the basics of using Netscape to surf the Web, but becoming a Netscape power user and creating interactive content is another thing. To become a Netscape Web wizard, you'll need to learn how to put features like JavaScript, frames, Java applets, plug-ins, image mapping, and CGI to work. This book is the first truly hands-on guide to show you the techniques Webmasters use to create amazing, head-turning Web pages. You'll learn all of the essentials of JavaScript, Netscape's powerful scripting language. Many Web page designers find JavaScript to be a little confusing at first, but Dan Shafer's expert advice and insightful explanations will help you master JavaScript in no time at all. 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
Clip Art Crazy with CD-ROM
Authors: Chuck Green
Venue:  (1995)

:Here's everything PC users with CD-ROMs need to incorporate sophisticated clip art into desktop-created projects. Clip Art Crazy offers tips for finding, choosing, and using clip art, along with a vast array of projects that can be recreated with word-processing, desktop publishing, or presentation software programs. The CD-ROM includes almost 500 reproducible samples culled from the archives of leading clip-art design firms. 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
UNIX Productivity Tools: For Teachers, Writers, and Researchers, 1st edition
Authors: Gerald Tan
Venue:  (1992)

:This book is aimed at novice UNIX users who would like to make effective use of their computers. It begins by introducing you to the fundamentals of UNIX shell programming and the awk programming language.
A procedure for the determination of attribute access probabilities
Authors: Jon D. Clark, Jeffrey A. Hoffer
Venue: Proceedings of the 1978 ACM SIGMOD international conference on management of data (1978)

Various procedures have been developed to select efficient storage structures; all of these procedures, however, require certain statistics to describe the use of attributes by problem programs. A very practical problem faced by anyone attempting to use any of these selection techniques is the determination of values for the attribute use statistics. This paper reports on one method which has been empirically tested for determination of attribute access probabilities. Central to this method is recognition of five kinds of statistic collection biases which are systematically considered by the proposed method but which do confound collection by previously developed methods. Finally, experimental results are reported which indicate specific comparative advantages of the proposed method over ones used by the DP staff of a medium-sized manufacturer.
How Computer Graphics Work
Authors: Jeff Prosise
Venue:  (1994)

:This beautifully illustrated guide explains the magic of computer graphics, from flight simulators to CAD systems to medical imaging machines and video games. Best-selling author Jeff Prosise leads this graphically detailed tour through all aspects of computer graphics.
An algebraic approach to file synchronization
Authors: Norman Ramsey, El″od Csirmaz
Venue: ACM SIGSOFT Software Engineering Notes (2001)

A file synchronizer restores consistency after multiple replicas of a filesystem have been changed independently. We present an algebra for reasoning about operations on filesystems and show that it is sound and complete with respect to a simple model. The algebra enables us to specify a file-synchronization algorithm that can be combined with several different conflict-resolution policies. By contrast, previous work builds the conflict-resolution policy into the specification, or worse, does not specify the synchronizer's behavior precisely. We classify synchronizers by asking whether conflicts can be resolved at a single disconnected replica and whether all replicas are identical after synchronization. We also discuss timestamps and argue that there is no good way to propagate timestamps when there is severe clock skew between replicas.
4th ICSE workshop on component-based software engineering: component certification and system prediction
Authors: Ivica Crnkovic, Heinz Schmidt, Judith Stafford, Kurt Wallnau
Venue: ACM SIGSOFT Software Engineering Notes (2001)

This paper gives a short overview of the 4th ICSE Workshop on Component-based Software Engineering. The workshop brought together researchers and practitioners from three communities: component technology, software architecture, and software certification. The goal of the workshop was to find a common understanding and to discuss the topics related to the component composition. The workshop was divided in eight sessions held in sequence, starting with invited talks and ended with a final discussion. A model problem, to be used for further research and work in future workshops, was discussed and later selected. The paper gives a comprehensive summary of the sessions and plans for future work.
Quicken(R) 2001 Deluxe for MacIntosh: The Official Guide
Authors: Maria Langer
Venue:  (2000)

:Stay on top of your financesincluding banking,investing,taxes,spending,saving,and morewith this official guide to Quicken 2001. The ONLY Intuit-authorized guide for Macintosh!Stay on top of your finances - including banking,investing,taxes,spending,saving,and more - with this official guide to Quicken 2001. This complete and up-to-date resource shows you how to make the most of all the new and improved features of this best-selling personal finance software. You*ll learn to organize and manage your money effectively,automate bill-paying,track your investments,and export your stock portfolio safely and securely on the Web. Packed with figures,screen shots and task-at-a-glance sections,this book will provide you with reliable timesaving advice. No other guide can provide you with smarter tips for moving closer toward your financial goals!Inside,you*ll learn how to: Bank online,pay bills,transfer funds,and download transactions from your bank and credit card accounts from within QuickenFind a particular transaction by using the improved global find and replace feature which searches all your Quicken accounts at one timeView your Quicken investment portfolio securely on the WebCompare insurance rates and find a low mortgage rate - even apply onlineObtain personalized 401(k) advice and maximize your company's plan - includes fund choices for over 1000 of the largest companies in the U.S. Stay aware of tax deadlines and events by receiving proactive tax alertsAccess your finances from anywhere - stay on top of your account balances via the Web while working or traveling using Quicken.com
Beginning AutoCAD R13 for Windows
Authors: Bob McFarlane
Venue:  (1996)

:AutoCAD release 13 is an entirely new draughting package from AutoDESK. It is not an upgrade of previous releases and utilises Microsoft Windows for the user interface. Beginning AutoCAD R13 for Windows introduces students to this new package through a series of interactive exercises, backed up by tutorials, allowing the reader to practice their new skills. No previous experience of CAD is required and only a very basic understanding of the windows environment is needed.
Traffic simulation of roundabouts in Switzerland
Authors: Willi Bernhard, Peter Portmann
Venue: Proceedings of the 32nd conference on Winter simulation (2000)

In Switzerland, roundabouts enjoy a large and growing popularity. As a self-organizing system, they replace more and more the traditional traffic light systems. This article focuses on the modeling and simulation of a double tracked roundabout near Lucerne (Switzerland). The simulation results were used for decision purposes; in order to find out whether a single or double tracked roundabout should be used there. All simulations were done with the simulation language SIMSCRIPT II.5.
Deadlock-Free Oblivious Wormhole Routing with Cyclic Dependencies
Authors: Loren Schwiebert
Venue: IEEE Transactions on Computers (2001)

A great deal of work has been done recently on developing techniques for proving deadlock freedom for wormhole routing algorithms. One approach has been to restrict the class of routing algorithms for which the proof technique applies. The other approach is to provide a generic method that can be applied to all routing algorithms. Although this latter approach offers clear advantages, a general technique must deal with many complications. Foremost among these is the issue of irreducible cyclic dependencies that cannot result in deadlock. Such dependencies have been referred to alternatively as unreachable configurations and false resource cycles. In this paper, we apply the notion of unreachable cyclic configurations to oblivious routing algorithms. An oblivious routing algorithm is thus constructed that is deadlock-free, even though there are cycles in the channel dependency graph. The idea of unreachable configurations is then further developed to show various restrictions on when such configurations can exist with oblivious routing algorithms. Finally, the example is generalized to allow the construction of larger networks with unreachable cycles. One benefit of characterizing when unreachable cyclic configurations can occur is that proving deadlock freedom is simplified for networks in which unreachable cycles cannot exist. Another contribution of this work is a first step toward a more formal model of unreachable cycles in wormhole-routed networks.
Essentials of Project and Systems Engineering Management, 1st edition
Authors: Howard Eisner
Venue:  (1996)

:Essentials of Project and Systems Engineering Management outlines key project management concepts and demonstrates how to apply them to the systems engineering process in order to optimize product design and development. Presented in a practical treatment that enables managers and engineers to understand and implement the basics quickly, this updated Second Edition also provides information on industry trends and standards that guide and facilitate project management and systems engineering implementation. Essentials of Project and Systems Engineering Management, Second Edition is the ideal, single-source reference for professional technical and engineering managers in aerospace, communications, information technology, and computer-related industries, their engineering staffs, technical and R&D personnel, as well as students in these areas.