ppxscal/embedding_network huggingface dataset:
Model-Carrying Code (MCC): a new paradigm for mobile-code security
Authors: R. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, S. A. Smolka
Venue: Proceedings of the 2001 workshop on New security paradigms (2001)

A new approach for ensuring the security of mobile code is proposed. Our approach enables a mobile-code consumer to understand and formally reason about what a piece of mobile code can do; check if the actions of the code are compatible with his/her security policies; and, if so, execute the code. The compatibility-checking process is automated, but if there are conflicts, consumers have the opportunity to refine their policies, taking into account the functionality provided by the mobile code. Finally, when the code is executed, our framework uses runtime-monitoring techniques to ensure that the code does not violate the consumer's (refined) policies.At the heart of our method, which we call model-carrying code (MCC), is the idea that a piece of mobile code comes equipped with an expressive yet concise model of the code's (security-relevant) behavior. The generation of such models can be automated. MCC enjoys several advantages over current approaches to mobile-code security. It protects consumers of mobile code from malicious or faulty code without unduly restricting the code's functionality. Also, it is applicable to the vast majority of code that exists today, which is written in C or C++. This contrasts with previous approaches such as Java 2 security and proof-carrying code, which are either language-specific or are limited to type-safe languages. Finally, MCC can be combined with existing techniques such as cryptographic signing and proof-carrying code to yield additional benefits.
AutoCAD Conventions for Architects: With Disk, 1st edition
Authors: Frederick A. Jules
Venue:  (1996)

:This text offers the student realistic perspective of professional AutoCAD conventions for architects. It covers coordination of drawings and detail databases, as well as providing formats for drawing sheets and pages. The accompanying data disk includes settings, formats and symbol libraries for AutoCAD Releases 12 and 13. Putting the tools to work is easy with the "fill in the blank" files in Microsoft Word and Excel for developing architectural schedules, meeting notes, code analysis, programming and other office functions.Keywords: AutoCAD for Architecture 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
Partitioning parallel simulation of wireless networks
Authors: Azzedine Boukerche, Alessandro Fabbri
Venue: Proceedings of the 32nd conference on Winter simulation (2000)

In this paper, we present a simulation testbed for wireless and mobile telecommunication systems, a two-stage PCS parallel simulation testbed which makes use of a conservative scheme at Stage 1, and of time warp at Stage 2. While Time warp is considered to be an effective synchronization mechanism in parallel and distributed discrete event simulation (PDES) it is also well known for its unstability due to rollbacks and its devastating effect, i.e., serie of cascading rollbacks, among other factors. Thus, our primary goal in this paper is to study the impact and the importance of partitioning in our PCS model while reducing significantly the number of rollbacks.
Networking with Microsoft TCP/IP
Authors: Drew Heywood
Venue:  (1995)

:Networking with Microsoft TCP/IP, Third Edition is a complete handbook and reference for implementing Microsoft TCP/IP on your network using Windows NT and other Microsoft products. Providing you with a thorough background of TCP/IP technology, this third edition offers a complete understanding of Microsoft services such as Windows Internet Naming Service (WINS). It enables you to install, configure, and manage Dynamic Host Configuration Protocol (DHCP). It includes an expanded discussion of protocols (POP3 and SMTP), thorough coverage of Internet Information Server version 4.0, and instructions for setting up an Internet firewall with Microsoft Proxy Server.
Design Paradigms: A SourceBook for Creative Visualization, 1st edition
Authors: Warren K. Wake
Venue:  (2000)

:A versatile toolbox of ideas for creative design solutions.How do things bend? How are things joined? How do things get larger or smaller? When you work creatively in design or architecture, these are the sort of questions that come up again and againand how you choose to answer them can play a pivotal role in determining the final form of a design project.This book offers a powerful new approach to design and creative visualization, helping you address these key design questions with flexibility and imagination by equipping you with a vital repertoire of design paradigms: basic conceptual and visual ideas that can be applied to all types of design problems.Beginning with fundamental design paradigm concepts, Design Paradigms:* Introduces simple shapes and then explores how more complex forms can accommodate enclosure, attachment, and other common functions* Examines how multiple objects relate to each other and how they can be linked or connected* Looks at multiple functions of a single object, using models that range from a claw hammer to a convertible sofaBridging the gap between theory and practice, the book discusses how design paradigms can work as conceptual blockbusters in solving design problems.Complete with over 300 illustrations, examples from both natural and man-made environments, and much more, Design Paradigms is a powerful springboard for design explorationa must-own sourcebook of inspiration for students and professionals in all areas of design, product development, and architecture. 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
Automata theory: its past and future
Authors: John Hopcroft
Venue: A half-century of automata theory: celebration and inspiration (2001)

This paper briefly reviews key advances in automata theory since 1960. It focuses on why certain lines of inquiry were followed, why others were not, and why some works were deemed more valuable to the discipline than others. I also compare the field today to what it was in 1960, with an eye toward areas in which the biggest breakthroughs are likely to occur in the future. Theoretical computer science may be poised for another period of significant advance, similar to that which occurred in the 1960's and 70's
Software Quality: Theory and Management
Authors: Alan C. Gillies
Venue:  (1992)

:The development of high-quality software is an issue of great and growing importance throughout the software industry. This book introduces software quality in a clear, accessible manner, bridging the gap between software engineering and software management. Software Quality is written in two principle parts. The first part describes the concept of quality and the way in which it can be applied to software, with descriptions of the techniques employed in software quality assurance. The second part shows how these techniques can be used and discusses the standards involved. It also includes a case study of a company's experience in the development of quality issues, from product failure through to the introduction of structured systems, design methods and consideration of standards accreditation. A final section looks forward to the future of the subject. This book is unique in dealing with both the theory of quality management and its application in software development. The latest information on standards has been included. All those professionally involved with developing high-quality software will find this book invaluable.
Network+ Cheat Sheet
Authors: Patrick Grote
Venue:  (1999)

:Network+ Cheat Sheet is strictly exam-related and flows with minimal interruption. Designed for the intermediate to advanced user, this book streamlines information for quick learning. Not a handholding tutorial, Network+ Cheat Sheet gives the network professional just the facts needed to pass the test. Visual cues are used liberally throughout the book to aid comprehension and memorization. Diagrams put concepts into a visual form and tables compartmentalize information. Chapter-end test questions explain both correct and incorrect answers for a quick review. Cheat Sheet also provides additional information, such as addresses for on-line help and supplemental sample tests, testing locations, test-taking tips and strategies, and emotional preparation.
e-verything.com: How to Map Out a Viable e-strategy
Authors: Rajeev Nanda
Venue:  (2001)

:The Internet was supposed to revolutionize businesses and lives around the world, but with so many dot-coms dropping like flies you may be assuming that the Internet era is pass&eacute;. Nothing could be further from the truth, and whoever ignores the net revolution will do so at one&#39s own risk. Then why are organizations failing at attempts to harness the Internet&#39s power? What could they have done differently, and what can you do differently moving forward? This very timely book explains how you can map out a viable e-strategy and circumvent the problems that could lead to failure. E-verything.com takes the reader through all the aspects and influencing factors of creating and implementing a strategy that will provide their organization with a competitive advantage through harnessing the power of Internet. If you have wondered - Where and how to start with the Internet? Is creating a web site enough? How will your customers and business partners benefit from your move to the Internet? Will your employees feel empowered or will they just surf the hours away? What will be the impact on your organization - structurally, operationally or financially? When is the right time to buy or build in-house? What kind of a team do you need to make your vision a reality and how do you attract & retain the right talent? What changes has the Internet brought in the way you conduct business and how do you benefit from it? ...then, this book is for you. The emphasis of this book is to provide insights from the author&#39s experiences and observations so that organizations can define the right e-strategy and then build a team to meetbusiness objectives and goals. The last chapter carries forward the advancements in web technologies and provides a unique perspective on what the future holds for us - spelling out many business opportunities for the entrepreneurial reader. 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
Delphi Graphics and Game Programming Exposed! with DirectX: For Versions 5.0-7.0 with CDROM
Authors: John Ayres
Venue:  (1999)

:Presents a comprehensive reference describing high-performance graphics and game programming techniques in the Delphi development environment. Includes a complete example game illustrating the different techniques discussed throughout, and an appendix explaining how to use DirectSetup for Installing DirectX. Softcover. CD-ROM included. DLC: Computer gamesprogramming.
Execution condition analysis in high level synthesis: a unified approach
Authors: O. Peñalba, J. M. Mendías, M. C. Molina
Venue: Proceedings of the 13th international symposium on System synthesis (2000)

The degree of conditional hardware reuse achieved after a high-level synthesis process depends on two factors: the number of mutually exclusive (m.e.) operations pairs that an algorithm can detect and the description style used by the designer when specifying the system. In this paper, we propose a method that deals with both aspects. It includes a mechanism to analyze the input description and identify all the m.e. operations pairs in a simple and homogeneous way, independently of the conditional constructs (IF or CASE) used to specify the control flow of the system. It also provides a collection of formal transformations on the input description which produces a specification of the same behavior that leads to an improved implementation --- in terms of the degree of conditional reuse that is achieved.
Adobe PhotoShop 5: Advanced Digital Images, 1st edition
Authors: CORPORATE Against the Clock,  Inc. Staff
Venue:  (1999)

:This book is designed to offer strong advice and training for novice Graphic Arts Professionals delivering completed projects to vendors. Demonstration Software. Project-based instruction. Project data available on dual-platform CD-ROM. Two-color, spiral bound books with four-color illustrations of completed assignments. For all beginners in graphics arts, desktop publishing, and computer design and graphics.
A fair certification protocol
Authors: Chris J. Mitchell, Konstantinos Rantos
Venue: ACM SIGCOMM Computer Communication Review (1999)

In this paper a 'fair' key generation and certification protocol for Diffie-Hellman keys is proposed, which is intended for use in cases where neither User nor CA are trusted to choose the User's key on their own. This protocol also ensures that key agreement mechanism 1 in ISO/IEC 11770-3 [2] provides 'fair key agreement' [4].
Creating Cool Web Programs with Internet As, 1st edition
Authors: Ron Wodaski
Venue:  (1996)

:Now you don't have to master HTML to create great Web pages -- just use your favorite word processing application, Microsoft Word for Windows 95. In Creating Cool Web Pages with Word for Windows 95 you get everything you need to turn your word processing program into a complete Web authoring tool. In addition to step-by-step instructions from author Ron Wodaski, you'll find a CD-ROM containing everything from the Internet Assistant add-on for Word to the Internet Explorer Web browser, including the VRML (Virtual Reality Modeling Language) plug-in. Plus, you get ready-to-use templates and graphics along with utilities for preparing graphic images for the Web and for creating clickable image maps.
Blueprint for Business Objects
Authors: Peter Fingar
Venue:  (1996)

:Driven by rapidly developing technology and the globalization of markets and competition, companies are using information technology to make radical changes in the way they organize their work and conduct business. As companies redesign themselves, you'll need additional knowledge and skills to master business reengineering and the advanced information systems that make reengineering possible. The Blueprint for Business Objects provides a clear and concise guide to making informed decisions about emerging object technology and to mastering the skills you need to make effective use of the technology in business. Based on the workplace experiences of several major corporations, The Blueprint for Business Objects presents a framework designed for business and information systems professionals. It provides the reader with a road map, starting at the level of initial concepts and moving up to the mastery level. It also includes information on how to select and find additional learning resources.
Strategic Decision Making, 1st edition
Authors: Craig W. Kirkwood
Venue:  (1996)

:Intended for courses in multiobjective decision analysis or as a supplement to a first course in decision analysis, this text emphasizes practical applications and problem solving.Students learn how to use spreadsheets and other analytical tools in considering such important tradeoffs as cost versus quality and market share versus short-term return on investment.
Computerized Accounting with QuickBooks 5.0
Authors: Janet Horne
Venue:  (1999)

:KET BENEFIT: This book is a comprehensive instructional and learning resource that has been designed to respond to the growing business trend towards the adoption of Windows applications and the computerization of accounting systems. Designed to provide a basic knowledge of how computerized accounting systems function and how actual accounting software is used in businesses. Based on Quickbooks 5.0, it includes 6 fully integrated accounting modules: General Ledger, Accounts Payable, Accounts Receivable, Payroll, Inventory, and Project.
Note on Ramsey theorems for spatial graphs
Authors: Seiya Negami
Venue: Theoretical Computer Science (2001)

To show that Ramsey theorem for spatial graphs without local knots does not hold in general, we construct a spatial embedding of Kn;n which has no local knots on edges and which contains any subdivision of a given nonsplittable 2-component link.
Total SNMP: Exploring the Simple Network Management Protocol, 2nd edition
Authors: Sean J. Harnedy
Venue:  (1996)

:The most complete, up-to-date introduction to the theory and practice of SNMP, for all LAN, WAN, and Internet (TCP/IP) networking professionals.Total SNMP begins with a detailed overview of the field of network management, including current trends, and then introduces the theory, history and major components of SNMP. It provides detailed introductions to the Structure of Management Information (SMI) and Management Information Bases (MIBs) in both SNMP v1 and v2. Next, it revisits the SNMP Reference Model and then explains how SNMP has actually been implemented. The book introduces SNMP development and support tools, network management stations, agents, and a variety of implementation issues. Finally, it covers new enhancements to SNMP, including standard APIs such as WinSNMP and SNMP++, Desktop Management Task Force standards, Web-based management, distributed objects, expert systems, and more.All LAN and WAN network managers, system administrators and network engineers who work with SNMP. 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
Cache-Memory Interfaces in Compressed Memory Systems
Authors: Caroline D. Benveniste, Peter A. Franaszek, John T. Robinson
Venue: IEEE Transactions on Computers (2001)

We consider a number of cache/memory hierarchy design issues in systems with compressed random access memories (C-RAMs) in which compression and decompression occur automatically to and from main memory. Using a C-RAM as main memory, the bulk of main memory contents are stored in a compressed format and dynamically decompressed to handle cache misses at the next higher level of memory. This is the general approach adopted in IBM's Memory Expansion Technology (MXT). The design of the main memory directory structures and storage allocation methods in such systems is described elsewhere; here, we focus on issues related to cache-memory interfaces. In particular, if the cache line size (of the cache or caches to which main memory data is transferred) is different than the size of the unit of compression in main memory, bandwidth and latency problems can occur. Another issue is that of guaranteed forward progress, that is, ensuring that modified lines can be written to the compressed main memory so that the system can continue operation even if overall compression deteriorates. We study several approaches for solving these problems, using trace-driven analysis to evaluate alternatives.
Predicting with Sparse Data
Authors: Martin Shepperd, Michelle Cartwright
Venue: IEEE Transactions on Software Engineering (2001)

It is well-known that effective prediction of project cost related factors is an important aspect of software engineering. Unfortunately, despite extensive research over more than 30 years, this remains a significant problem for many practitioners. A major obstacle is the absence of reliable and systematic historic data, yet this is a sine qua non for almost all proposed methods: statistical, machine learning or calibration of existing models. In this paper, we describe our sparse data method (SDM) based upon a pairwise comparison technique and Saaty's Analytic Hierarchy Process (AHP). Our minimum data requirement is a single known point. The technique is supported by a software tool known as DataSalvage. We show, for data from two companies, how our approach¿based upon expert judgement¿adds value to expert judgement by producing significantly more accurate and less biased results. A sensitivity analysis shows that our approach is robust to pairwise comparison errors. We then describe the results of a small usability trial with a practicing project manager. From this empirical work, we conclude that the technique is promising and may help overcome some of the present barriers to effective project prediction.
Cisco Ios Essentials
Authors: John Albritton
Venue:  (1999)

:This comprehensive and easy-to-use reference provides invaluable information on Cisco's internetwork operating system (IOS) used by administrators to manage Cisco equipment. From initial IOS setup through the most complex multi-protocol configurations, the author shows how effortless it is for anyone with a basic understanding of computer networking to move quickly through day-to-day configuration tasks. Cisco IOS Essentials contains all the simple-to-use instructions you'll need to configure and maintain a Cisco router. 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
A Parent's Guide to the Internet...and How to Protect Your Children in Cyberspace
Authors: Parry Aftab
Venue:  (1997)

:A parent and an internationally known lawyer, Parry Aftab writes with authority as she shows the difference between what's merely annoying and what's illegal. "A Parent's Guide to the Internet" shows parents how to educate their children about online risks and how to set rules that fit their values. Best of all, the book explains what tools are available and how well they work in keeping kids out of trouble. 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
Mining source coverage statistics for data integration
Authors: Zaiqing Nie, Subbarao Kambhampati, Ullas Nambiar, Sreelakshmi Vaddi
Venue: Proceedings of the 3rd international workshop on Web information and data management (2001)

Recent work in data integration has shown the importance of statistical information about the coverage and overlap of sources for efficient query processing. Despite this recognition there are no effective approaches for learning the needed statistics. The key challenge in learning such statistics is keeping the number of needed statistics low enough to have the storage and learning costs manageable. Naive approaches can become infeasible very quickly. In this paper we present a set of connected techniques that estimate the coverage and overlap statistics while keeping the needed statistics tightly under control. Our approach uses a hierarchical classification of the queries, and threshold based variants of familiar data mining techniques to dynamically decide the level of resolution at which to learn the statistics. We describe the details of our method, and present preliminary experimental results showing the feasibility of the approach.
Optical Networking Crash Course
Authors: Steven Shepard
Venue:  (2001)

:Features: A clear, readable explanation of the hottest topic in telecommunicationsDetailed descriptions of SONET, Fiber Optics, Wavelength Division Multiplexing, Wavelength Division Multiple Access, Ultra-Dense Wavelength Division Multiplexing and their applicationsCovers business strategies, future applications, and convergence opportunities.