ppxscal/embedding_network huggingface dataset:
Linux Server Hacks, Volume Two: Tips & Tools for Connecting, Monitoring, and Troubleshooting (Hacks)
Authors: Bill Von Hagen, Brian K. Jones
Venue:  (2005)

Today's system administrators deal with a vast number of situations, operating systems, software packages, and problems. Those who are in the know have kept their copy of Linux Server Hacks close at hand to ease their burden. And while this helps, it's not enough: any sys admin knows there are many more hacks, cool tips, and ways of solving problems than can fit in a single volume (one that mere mortals can lift, that is). Which is why we created Linux Server Hacks, Volume Two, a second collection of incredibly useful tips and tricks for finding and using dozens of open source tools you can apply to solve your sys admin problems. The power and flexibility of Linux and Open Source means that there is an astounding amount of great software out there waiting to be applied to your sys admin problems -- if only you knew about it and had enough information to get started. Hence, Linux Server Hacks, Volume Two.This handy reference offers 100 completely new server management tips and techniques designed to improve your productivity and sharpen your administrative skills. Each hack represents a clever way to accomplish a specific task, saving you countless hours of searching for the right answer. No more sifting through man pages, HOWTO websites, or source code comments -- the only resource you need is right here. And you don't have to be a system administrator with hundreds of boxen to get something useful from this book as many of the hacks apply equally well to a single system or a home network.Compiled by experts, these hacks not only give you the step-by-step instructions necessary to implement the software, but they also provide the context to truly enable you to learn the technology. Topics include:AuthenticationRemote GUI connectivityStorage managementFile sharing and synchronizing resourcesSecurity/lockdown instructionLog files and monitoringTroubleshootingSystem rescue, recovery, and repairWhether they help you recover lost data, collect information from distributed clients, or synchronize administrative environments, the solutions found in Linux Server Hacks, Volume Two will simplify your life as a system administrator.
Development of criterion models for use in simulation analysis
Authors: Gerald Evans, Nicholas Anderson
Venue: Proceedings of the 38th conference on Winter simulation (2006)

Criterion models are important components in analyses of simulation output. These models represent the basis by which decision makers can rank alternatives in a simulation study. This work gives an overview of criterion models, especially as related to their uses with simulation models. In particular, examples of criterion models used in simulation studies are given. In addition, methodologies for choosing a set of attributes for a criterion model are described, along with a discussion of how these attributes should be "combined" in order to form a criterion model.
Performance and yield enhancement of FPGAs with within-die variation using multiple configurations
Authors: Yohei Matsumoto, Masakazu Hioki, Takashi Kawanami, Toshiyuki Tsutsumi, Tadashi Nakagawa, Toshihiro Sekigawa, Hanpei Koike
Venue: Proceedings of the 2007 ACM/SIGDA 15th international symposium on Field programmable gate arrays (2007)

A new method for improving the timing yield of field-programmable gate array (FPGA) devices affected by random within-die variation is proposed. By selection of an appropriate configuration from a set of functionally equivalent configurations such that the critical paths do not share same circuit resources on the FPGA, both the average critical path delay and its standard deviation are reduced substantially under conditions of large random variation. Large within-die variations of device parameters such as transistor threshold voltage are anticipated in future semiconductor technologies, resulting in degradation of parametric yields. Comparing to the previous approach which compensates for such within-die variation by designing circuit placement for each chip using variation information measured before, our method does not require the measurement of process variations and execution of design tools for each chip. The average critical path delay is reduced by up to 5% assuming 30% (σ/μ) variation in threshold voltage, with a corresponding 50% decrease in standard deviation.
Expand Your Business Using eBay, 1 edition
Authors: J. S. McDougall
Venue:  (2007)

Take the leap onto eBay and watch your sales explode with just a few clicks of the mouse. With more than 120 million customers, eBay offers a huge new market for your business. By adding eBay as a sales channel, you can reach a global audience of previously untapped customers. Learn these expert strategies for increasing sales and profits: Design successful item ads to attract new customers. Create a professional eBay presence that promotes your existing business. Develop an expedited shipping system for greater customer satisfaction. Choose the right starting and reserve prices to maximize profit . Seamlessly integrate PayPal and eBay management tools. Leverage auctions to promote your fixed-price eBay Store items. And more! eBay provides a worldwide presence for any size business. You'll read about a small horse tack shop in Vermont that increased sales tremendously on eBay. You'll walk through their process, step by step, learning what works and what doesn't. Discover how you, too, can reach new customers and boost sales with the world's biggest online marketplace. 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
Modeling the emergence of insider threat vulnerabilities
Authors: Ignacio J. Martinez-Moyano, Eliot H. Rich, Stephen H. Conrad, David F. Andersen
Venue: Proceedings of the 38th conference on Winter simulation (2006)

In this paper, we present insights generated by modeling the emergence of insider threat vulnerabilities in organizations. In our model, we integrate concepts from social judgment theory, signal detection theory, and the cognitive psychology of memory and belief formation. With this model, we investigate the emergence of vulnerabilities (especially that are insider-driven) in complex systems characterized by high levels of feedback complexity, multiple actors, and the presence of uncertainty in the judgment and decision processes. We use the system dynamics method of computer simulation to investigate the consequences caused by changes to the model's assumptions. We find that the emergence of vulnerability can be an endogenous process and that leverage points to reduce this vulnerability involve improvement in information acquisition, information management, and the training of personnel in judgment and decision-making techniques
A simulation algorithm for dynamic structure DEVS modeling
Authors: Hui Shang, Gabriel Wainer
Venue: Proceedings of the 38th conference on Winter simulation (2006)

Real-Time System (RTS) correctness and timeliness are critical. Modeling and Simulation techniques have been widely used for testing particular conditions on these systems. Recently, the DEVS formalism has been successfully used as a framework for RTS validation. Nevertheless, we need to address dynamic adaptation to dynamic changes in the environment. Dynamic Structure DEVS focuses on the possibility to change system structure dynamically according to the system real requirements, which is useful for RTS (in which sometimes it is impossible to interfere with the running of the system, and auto-adaptation is needed). We present a new algorithm derived from the DSDE and the dynDEVS formalisms. We use the DSDE formal specifications, and parts of the dynDEVS simulation algorithms.
XSLT Cookbook, Second Edition (Cookbooks (O'Reilly))
Authors: Sal Mangano
Venue:  (2005)

Forget those funky robot toys that were all the rage in the '80s, XSLT (Extensible Stylesheet Transformations) is the ultimate transformer. This powerful language is expert at transforming XML documents into PDF files, HTML documents, JPEG files--virtually anything your heart desires. As useful as XSLT is, though, most people have a difficult time learning its many peculiarities. And now Version 2.0, while elegant and powerful, has only added to the confusion. XSLT Cookbook, Second Edition wants to set the record straight. It helps you sharpen your programming skills and overall understanding of XSLT through a collection of detailed recipes. Each recipe breaks down a specific problem into manageable chunks, giving you an easy-to-grasp roadmap for integrating XSLT with your data and applications. No other XSLT book around employs this practical problem-solution-discussion format.In addition to offering code recipes for solving everyday problems with XSLT 1.0, this new edition shows you how to leverage the improvements found in XSLT 2.0, such as how to simplify the string manipulation and date/time conversion processes. The book also covers XPath 2.0, a critical companion standard, as well as topics ranging from basic transformations to complex sorting and linking. It even explores extension functions on a variety of different XSLT processors and shows ways to combine multiple documents using XSLT. Code examples add a real-world dimension to each technique.Whether you're just starting out in XSLT or looking for advanced techniques, you'll find the level of information you need in XSLT Cookbook, Second Edition.
Using genetic algorithms to reorganize superpeer structure in peer to peer networks
Authors: Jaymin Kessler, Khaled Rasheed, I. Budak Arpinar
Venue: Applied Intelligence (2007)

In this article, we describe a genetic algorithm for optimizing the superpeer structure of semantic peer to peer networks. Peer to peer, also called P2P, networks enable us to search for content or information in a distributed fashion across a large number of peers while providing a level of fault tolerance by preventing disconnecting peers from disrupting the network. We seek to maximize the number of queries answered while minimizing the time in which they are answered. It will be shown that the genetic algorithm (GA) dramatically improves network performance and consistently finds networks better than those found by random search and hill climbing. A comparison will also be made to networks found through exhaustive search, showing that the GA will, for smaller networks, converge on a globally optimal solution.
A society of simulation approach to dynamic integration of simulations
Authors: Alok Chaturvedi
Venue: Proceedings of the 38th conference on Winter simulation (2006)

A Society of Simulations (SoS) approach defines a semantics-based standard for integrating heterogeneous simulations. Heterogeneity, independent development, and cross-domain modeling are characteristics of behavior-based simulations that are built to address complex, non-functional situations. SoS is a dynamic data driven approach wherein emergent behaviors result from specialized simulations grouped together as individual members in a society. Each member simulation independently operates on its own understanding of reality. Members cooperate with each other to achieve the goals of the society while satisfying their own local goals. When members interact, portions of their models of reality coincide. Such interaction and coordination among diverse autonomous simulations is enabled through the implementation of a shared reality. Comprehensive, life-like situations can be modeled by applying the concept of a SoS.
Inclusive development: Software engineering requirements for universally accessible interactions
Authors: Anthony Savidis, Constantine Stephanidis
Venue: Interacting with Computers (2006)

The notion of 'universal access' reflects the concept of an Information Society in which potentially anyone (i.e. any user) will interact with computing machines, at anytime and anyplace (i.e. in any context of use) and for virtually anything (i.e. for any task). Towards reaching a successful and cost effective realization of this vision, it is critical to ensure that the future interface development tools provide all the necessary instrumentation to support inclusive design, i.e. facilitate inclusive development. In the meantime, it is crucial that both tool developers and interface developers acquire awareness regarding the key development features they should pursue when investigating for the most appropriate software engineering support in addressing such a largely demanding development goal (i.e. universally accessible interactions). This paper discusses a corpus of key development requirements for building universally accessible interactions that has been consolidated from real practice, in the course of six medium-to-large scale research projects, all completed, within a 10 years timeframe.
Interference Mitigation in MIMO Systems by Subset Antenna Transmission
Authors: Kihong Kim, Gordon L. Stüber
Venue: Wireless Personal Communications: An International Journal (2007)

This paper investigates subset antenna transmission (SAT) for multiple-input multiple-output (MIMO) systems in the presence of strong dominant co-channel interferer. The capacity gain from SAT is investigated in the context of optimal antenna subset selection and power allocation. The SAT does not require channel state information of the co-channel interference, and achieves capacity gains by distributing the transmit power equally over a selected subset of the transmit antennas. The capacity gain of the SAT method is analyzed in terms of transmit power and eigenvalues of channel matrix, and its performance in V-BLAST MIMO systems with various signal constellations is evaluated by computer simulation.
MCSA/MCSE Self-Paced Training Kit (Exam 70-270): Installing, Configuring, and Administering Microsoft Windows XP Professional, Second Edition
Authors: Walter Glenn, Anthony Northrup
Venue:  (2005)

Fully updated for Windows XP Service Pack 2, this popular kit delivers in-depth preparation for core MCSA/MCSE Exam 70-270, including self-paced training, expert exam tips, full review, 425-question test bank, case studies, trial software, and more.
Discrete geometries space
Authors: Yu. G. Grigoryan
Venue: Cybernetics and Systems Analysis (2006)

A special metric space is constructed in which three systems of axioms are introduced that are discrete analogs of non-Euclidean, projective, and the Euclidean geometries. The obtained geometries preserve important characteristics inherent in a Euclidian plane, which makes them more concretely defined and convenient.
Finding Logically Consistent Resource-Deception Plans for Defense in Cyberspace
Authors: Neil C. Rowe
Venue: Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 01 (2007)

We explore a new approach to defense of computer systems, deliberately deceiving attackers as to resource availability. This can be more effective than outright denial of access because it encourages an attacker to waste time continuing their attack. But effective deceptions must be consistent to convince an adversary. We are exploring automated methods for maintaining logical consistency by tracking assertions made so far with associated causal and other indirect implications. We have built a deception planner that takes as input as sequence of operating-system commands and finds the possible consistent deceptions as per our logical constraints, and rates the deceptions using several criteria. In a test on a generic planning model of rootkit installation, it found 72 of 558 possible deceptions were acceptable and rated them.
A performance analysis method for autonomic computing systems
Authors: Marin Litoiu
Venue: ACM Transactions on Autonomous and Adaptive Systems (TAAS) (2007)

In an autonomic computing system, an autonomic manager makes tuning, load balancing, or provisioning decisions based on a predictive model of the system. This article investigates performance analysis techniques used by the autonomic manager. It looks at the complexity of the workloads and presents algorithms for computing the bounds of performance metrics for distributed systems under asymptotic and nonasymptotic conditions, that is, with saturated and nonsaturated resources. The techniques used are hybrid in nature, making use of performance evaluation and linear and nonlinear programming models. The workloads are characterized by the workload intensity, which represents the total number of users in the system, and by the workload mixes, which depict the number of users in each class of service. The results presented in this article can be applied to distributed transactional systems. Such systems serve a large number of users with many classes of services and can thus be considered as representative of a large class of autonomic computing systems.
LEAP+: Efficient security mechanisms for large-scale distributed sensor networks
Authors: Sencun Zhu, Sanjeev Setia, Sushil Jajodia
Venue: ACM Transactions on Sensor Networks (TOSN) (2006)

We describe LEAP&plus; (Localized Encryption and Authentication Protocol), a key management protocol for sensor networks that is designed to support in-network processing, while at the same time restricting the security impact of a node compromise to the immediate network neighborhood of the compromised node. The design of the protocol is motivated by the observation that different types of messages exchanged between sensor nodes have different security requirements, and that a single keying mechanism is not suitable for meeting these different security requirements. LEAP&plus; supports the establishment of four types of keys for each sensor node: an individual key shared with the base station, a pairwise key shared with another sensor node, a cluster key shared with multiple neighboring nodes, and a global key shared by all the nodes in the network. LEAP&plus; also supports (weak) local source authentication without precluding in-network processing. Our performance analysis shows that LEAP&plus; is very efficient in terms of computational, communication, and storage costs. We analyze the security of LEAP&plus; under various attack models and show that LEAP&plus; is very effective in defending against many sophisticated attacks, such as HELLO flood attacks, node cloning attacks, and wormhole attacks. A prototype implementation of LEAP&plus; on a sensor network testbed is also described.
Optimal control of make-to-order manufacturing systems via selected order acceptance
Authors: Amitava Nandi, Paul Rogers
Venue: Proceedings of the 38th conference on Winter simulation (2006)

Capacity constrained make-to-order manufacturing systems with exogenously set due dates and heavy tardiness penalties can be effectively managed by selective acceptance of orders, especially when the system encounters heavy congestion. This is demonstrated using a popular order acceptance rule. How this rule can optimally control a manufacturing system under different environments and how the main performance measures of the manufacturing system are affected in doing so, are demonstrated and analyzed. The study is done on a simulated hypothetical manufacturing system used as a testbed.
Memories: array-like records for ACL2
Authors: Jared Davis
Venue: Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications (2006)

We have written a new records library for modelling fixed-size arrays and linear memories. Our implementation provides fixnum-optimized O(log2 n) reads and writes from addresses 0, 1,..., n - 1. Space is not allocated until locations are used, so large address spaces can be represented. We do not use single-threaded objects or ACL2 arrays, which frees the user from syntactic restrictions and slow-array warnings. Finally, we can prove the same hypothesis-free rewrite rules found in misc/records for efficient rewriting during theorem proving.
An embedding of the ACL2 logic in HOL
Authors: Michael J. C. Gordon, Warren A. Hunt,  Jr., Matt Kaufmann, James Reynolds
Venue: Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications (2006)

We describe an embedding of the ACL2 logic into higher-order logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers.
Ajax: A Beginner's Guide, 1 edition
Authors: Chris Schalk
Venue:  (2008)

Essential Skills--Made Easy!Learn how to use Ajax (Asynchronous JavaScript and XML) to create Web applications that mirror the richness of desktop applications. Using easy-to-follow examples, Ajax: A Beginner's Guide gets you started working with this cutting-edge collection of technologies in no time. Create XMLHttpRequest objects and use JavaScript, XML, DHTML, CSS, PHP, and more to build next-generation Web applications. You'll also find out about a variety of free, pre-written Ajax frameworks you can use right away. Designed for Easy Learning: Key Skills Concepts--Lists of specific skills covered in the chapter Ask the Expert--Q A sections filled with bonus information and helpful tips Try This--Hands-on exercises that show how to apply your skillsAnnotated Syntax--Example code with commentary that describes the programming techniques being illustratedTable of contentsChapter 1. Essential AjaxChapter 2. Getting to Know JavaScriptChapter 3. Creating Ajax ApplicationsChapter 4. Full Throttle AjaxChapter 5. Using Ajax FrameworksChapter 6. Handling XML in AjaxChapter 7. Working with Cascading Style Sheets with AjaxChapter 8. Handling Dynamic HTML with AjaxChapter 9. Introducing PHP with AjaxChapter 10. PHP in DepthChapter 11. Validating User Input with Ajax and PHPChapter 12. Using the HTML DOM and AjaxIndex 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
An interactive computer graphics interface for the introduction of fuzzy inference in environmental education
Authors: Irene A. Ioannidou, Stephanos Paraskevopoulos, Panagiotis Tzionas
Venue: Interacting with Computers (2006)

Fuzzy logic is based on sets of rules that can be easily understood by the students, since they bear a close resemblance to natural language. The introduction of fuzzy logic, within the framework of Environmental Education, is considered to be necessary in order to provide an insight to the complex environmental interactions. Fuzzy inference is introduced in this paper as an extension of hypothetico-predictive argumentation and it allows the investigation of alternative hypotheses. This is achieved through the development of an interactive computer graphics environment that encompasses a set of fuzzy logic analysis tools and a fuzzy inference model of a lake. The fuzzy model guarantees the scientific integrity of the simulation results, and the graphical interface presents to the students only the comprehensible characteristics of the environmental stressors in the ecosystem of the lake. The proposed graphical interface was developed in successive design stages, with the active participation of the students. The results of the students' experimentation with the graphical interface indicate that their comprehension of the significant environmental problems of the lake is considerably improved and some misconceptions are resolved. Thus, it is considered valuable as an aid to environmental education.
A performance index for emulation environments in digital systems
Authors: Ayola N. Akonteh
Venue: ACM SIGMICRO Newsletter (1979)

This study develops a formal representation of an emulation environment and defines an emulator in terms of a transformation process &tau;(x,y) equivalent to an environment Mxy created by imbedding the state image of a target machine y into a host machine x. A performance index &rho;xy of the emulator is developed to indicate its relative versatility.