ppxscal/embedding_network huggingface dataset:
High level failure analysis for Integrated Modular Avionics
Authors: Philippa Conmy, John McDermid
Venue: Proceedings of the Sixth Australian workshop on Safety critical systems and software - Volume 3 (2001)

Integrated Modular Avionics (IMA) is the term used for common computer network aboard an aircraft. In order to gain full benefit from this technology a strategy is required to allow the separate development and safety analysis of applications and the computing platform. This paper presents the results of high level failure analysis of an IMA computing platform as a separate system and shows how the analysis can be used as part of an overall certification strategy for IMA. For the analysis six high level functions were constructed which described the functionality provided to applications and devices using the IMA platform. Lower level IMA services, such as scheduling and communications, are used to meet one or more of the functions. Deviations in service provision were considered using a number of guide words to suggest possible failure modes. The analysis revealed a number of weaknesses in the design which will require further consideration.
Designing Cooperative Systems - the Use of Theories and Models: Proceedings of the 5th International Conference on the Design of Cooperative Systems (COOP 2000), 1st edition
Authors: Rose Dieng, Alain Giboin, Laurent Karsenty
Venue:  (2000)

:The main goal of the COOP conferences is to contribute to the solution of problems related tothe design of cooperative systems, and to the integration of these systems in organizational settings. The conferences are aimed at helping to improve: ? the comprehension of human-human and human-machine cooperative work processes; ? the development of models of cooperation and cooperative work from different perspectives; ? the development of appropriate design methodologies and of new functionalities for cooperative systems. The main assumption behind the COOP conferences is that cooperative systems design requires a deep understanding of the cooperative work of dyads, groups and organizations, involving both artefacts and social conventions. Many disciplines contribute to the field of cooperative systems design: Psychology, Ergonomics, Linguistics, Computer Sciences (Information Systems, Decision-Making Support, Knowledge Engineering, User Interfaces, Distributed Artificial Intelligence, Sociology, Organizational and Management Sciences. The previous COOP conferences (1995, 1996, 1998) presented both theoretical, and empirical contributions on such topics as analyses of complex work situations, elaboration of conceptual frameworks for understanding cooperative work, guidelines for modelling collective activities, methodological elements for cooperative system design, and innovative technological solutions... The Key Topic of COOP'2000 was: The Use of Theories and Models in Designing Cooperative Systems Two opposite methodological approaches to co-operative system design can be clearly identified today: a bottom-up approach, known as pragmatic, and a top-down approach, which is based on theories and models. The pragmatic approach consists of rapidly developing a basic device (by prototyping it for example), and then to seek experience feedback to iteratively improve the device. At the opposite, the theory/model-based approach consists of apprehending the problem with a "theorisation" of the application domain (one that may already exist, or one that needs to be achieved), and to guide the design, and even the product development with this "theorisation". A main objective of the COOP'2000 Conference was: ? to clarify the reasons why one needs or does not need to use a theory or a model for design, ? to compare the pragmatic and the theory/model-based approaches, and to identify possible joint points between them, ? to discuss the relevance of the theories/models with respect to the design of cooperative systems, ? to better delimit the respective application fields of the various theories/models, and to identify their possible joint points
Architecture and design of high volume web sites: (a brief history of IBM sport and event web sites)
Authors: Paul Dantzig
Venue: Proceedings of the 14th international conference on Software engineering and knowledge engineering (2002)

Architecting and designing high volume Web sites has changed immensely over the last six years. These changes include the availability of inexpensive Pentium based servers, Linux, Java applications, commodity switches, connection management and caching engines, bandwidth price reductions, content distribution services, and many others. This paper describes the evolution of the best practices within IBM in architecting sites that handle millions of page views per day. Discussed is the transition to multi-tiered architectures, the use of publish/subscribe software to reduce Web site hits, the migration from static to dynamic content, and techniques for caching of dynamic and personalized content.
Distributed expertise for teaching computer organization & architecture
Authors: Lillian (Boots) Cassel, Mark Holliday, Deepak Kumar, John Impagliazzo, Kevin Bolding, Murray Pearson, Jim Davies, Gregory S. Wolffe, William Yurcik
Venue: ACM SIGCSE Bulletin (2001)

This report presents preliminary results from our project on creating distributed expertise for teaching computer organization & architecture course(s) in the undergraduate computer science curriculum. We present the details of an online survey designed to gather information from faculty on the current state of teaching this course. The survey also tries to identify specific areas of need for creating distributed expertise as reported by various faculty. We also present several resources that have been identified that are available for use by faculty teaching the course(s). This report represents a mid-point of an ongoing two-year study. Following a discussion of the currently identified needs, we discuss ways to address them and conclude the report with a plan of action that will follow in the next phase of the project.
Numerical Methods for Stochastic Systems Preserving Symplectic Structure
Authors: G. N. Milstein, Yu. M. Repin, M. V. Tretyakov
Venue: SIAM Journal on Numerical Analysis (2002)

Stochastic Hamiltonian systems with multiplicative noise, phase flows of which preserve symplectic structure, are considered. To construct symplectic methods for such systems, sufficiently general fully implicit schemes, i.e., schemes with implicitness both in deterministic and stochastic terms, are needed. A new class of fully implicit methods for stochastic systems is proposed. Increments of Wiener processes in these fully implicit schemes are substituted by some truncated random variables. A number of symplectic integrators is constructed. Special attention is paid to systems with separable Hamiltonians. Some results of numerical experiments are presented. They demonstrate superiority of the proposed symplectic methods over very long times in comparison with nonsymplectic ones.
QuarkXPress Book for Windows, 2nd edition
Authors: David Blatner, Bob Weibel
Venue:  (1995)

:The QuarkxPress Book, 2nd Edition for Windows is a major update from the first edition, covering QuarkxPress for Windows, version 3.3. An extensive appendix covers the dozens of new features available for the first time to Windows users with the release of version 3.3, including new printing, tabulation, page layout, and color management tools. Because many Windows users will continue to use release 3.1 (there is no version 3.2 for Windows), an icon has been inserted throughout the book to flag the changes found in 3.3. There's also an entire appendix on EfiColor - a color management system - plus an updated appendix on Mac/PC file transfers, which has become substantially easier on both platforms in QuarkxPress 3.3.
Microsoft Publisher 2000 Quicktorial, 1st edition
Authors: Mary Alice Eisch, Kathy Krueger
Venue:  (1999)

:This QuickTorial provides a quick introduction for beginning users of Microsoft Publisher 2000. This self-paced, self-instructional guide provides students with all the instruction necessary to become a proficient user of this leading desktop publishing program.
HTML Web Magic, 2nd edition
Authors: Raymond Pirouz, Ardith Ibanez
Venue:  (1998)

:This is a recipe-style how-to book that wlaks users through 50+ HTML lessons, ranging from page layout techniques to special effects. The full-color, visual nature of the book makes learning easy and gives readers immediate gratification.
An Introduction to Windows 95
Authors: Gary B. Shelly, Thomas J. Cashman
Venue:  (1998)

:Part of the highly successful Shelly Cashman Series, this text offers a clear screen-by-screen, step-by-step approach to learning basic Windows 95 skills.
Verification and Validation of Modern Software Systems, 1st edition
Authors: G. Gordon Schulmeyer, Garth R. MacKenzie
Venue:  (2000)

:Verification & Validation of Modern Software-Intensive Systems brings the classic approaches up to date to apply them to contemporary computing methods. Based on the latest standards and research, the authors cover V&V for areas that have not been previously treated collectively, including: client/server networks and Internet and intranet applications; object orientation, knowledge-based systems, and rapid application development; data warehousing; and Graphical User Interface (GUI) development and usability.
Programming in ADA 95 with Cdrom, 2nd edition
Authors: John Barnes
Venue:  (1998)

:Written by a key member of the original Ada design team Programming in Ada 95 and its predecessor, Programming in Ada have long been established as the definitive texts on Ada. Now John Barnes has revised and updated this classic book to enhance its value to both Ada newcomers and veteran Ada programmers alike. Ada 95 is the first fully object oriented language to become an ISO standard, its power and flexibility make it suited to a wide range of complex applications, from process control and industrial design to telecommunications and diagnostic analysis.This book provides complete tutorial coverage of all the core features of the language, illustrated throughout with extensive examples. Key Features: Six new examples of complete programs included as distinct chapters, with commentary CD featuring special edition of ObjectAda compiler, including online Ada Reference Manual More on overall program structure, child units and object oriented programming Further detail on the predefined library New edition also features a broader overview in the introductory chapters and further discussions of advanced topics such as storage pools and an extended index.
Introduction to Information in Technology
Authors: Efraim Turban, Richard E. Potter, R. Kelly Rainer
Venue:  (2000)

:It makes your business soar! Without Information Technology (IT), the snowboard on the cover simply would never make it to the slopes. As you read Introduction to Information Technology, youll discover that IT integrates and enhances all functions of a businessfrom the research and development that goes into designing a faster, more flexible board, to the delivery systems that make sure stores receive stock in time for winter, to the point-of-sale systems that track sales trends and customers buying preferences. Written in language you can easily understand, the text gradually presents complex technical information on a need-to-know basis, so that you wont get overwhelmed by the details. Each chapter is filled with dozens of real-world examples that demonstrate ITs relevance to different disciplines, industries, and companies. Throughout the text, youll also find numerous opportunities to apply what youve learned. Features*Relevance: The authors explain why IT is important to all individuals and functions within an organization by relating topics to specific business majors (finance, marketing, MIS, production/operations, HR, etc.).*Real-World Examples: Extensive examples show you the capabilities of IT, its cost and justifications, and innovative ways actual corporations are using IT in their operations.*Global Perspective: The text explains how IT facilitates export and import, managing multinational companies, and electronic trading around the globe.*Integrated Systems: Integrated systems (e.g. SAP R/3; extranets) are stressed and related to supply chain management and multinational corporations.*Making Connections:The text emphasizes the importance of connections among individuals, groups, and organizations, and the support that IT provides in enabling these connections.*The Web: In addition to teaching the fundamentals of the Internet, the text presents a comprehensive chapter on e-commerce. All chapters include Web-based, real-world applications, "integration with the Web" exploration, and Internet exercises.*The Virtual Company: A Web-based case for a simulated company manufacturing snowboards enables you to create and operate a small business a small business on the Web.
Sams Teach Yourself the Windows Registry in 24 Hours
Authors: Gerald Honeycutt, Jerry Honeycutt, Chris Will
Venue:  (1999)

:Sams Teach Yourself the Windows 95/98 Registry in 24 Hours is a carefully organized tutorial that teaches the beginning Windows Registry user just what you need to know in order to personalize and optimize your PCs performance. The book covers how the Registry works, how to back up, edit, recover, and clean up your registry. It also contains information regarding "do's and don'ts" concerning editing the registry.
Customizable physical interfaces for interacting with conventional applications
Authors: Saul Greenberg, Michael Boyle
Venue: Proceedings of the 15th annual ACM symposium on User interface software and technology (2002)

When using today's productivity applications, people rely heavily on graphical controls (GUI widgets) as the way to invoke application functions and to obtain feedback. Yet we all know that certain controls can be difficult or tedious to find and use. As an alternative, a customizable physical interface lets an end-user easily bind a modest number of physical controls to similar graphical counterparts. The user can then use the physical control to invoke the corresponding graphical control's function, or to display its graphical state in a physical form. To show how customizable physical interfaces work, we present examples that illustrate how our combined phidgets&reg; and widget tap packages are used to link existing application widgets to physical controls. While promising, our implementation prompts a number of issues relevant to others pursuing interface customization.
Intelligent pervasive middleware for context-based and localized telematics services
Authors: Chatschik Bisdikian, Isaac Boamah, Paul Castro, Archan Misra, Jim Rubas, Nicolas Villoutreix, Danny Yeh, Vladimir Rasin, Henry Huang, Craig Simonds
Venue: Proceedings of the 2nd international workshop on Mobile commerce (2002)

Telematics is arguably the next-wave in mobile computing: with most cars already equipped with multiple embedded computing platforms, we shall witness the development of a variety of mobile services and applications with significant commercial potential. Telematics will only become a commercial reality when the underlying architecture is able to address significant concerns related to the security and privacy of telematics data, and is able to provide context information from and to a large number of mobile data sources in a scalable and device-independent manner. A telematics platform should utilize existing Internet components and technologies but cannot rely exclusively on these, especially since mobile commerce applications in the telematics environment impose specific requirements on the relationships between various services and data providers. In this paper we describe how we are developing an open standards telematics platform based on the ts-PWLAN wireless service environment and the Telematics Resource Manager middleware. Our design employs existing web service interfaces coupled with novel technology for connecting to these through a wireless gateway. Our middleware acts as a common substrate for building and deploying a wide range of telematics applications. We describe how several of these applications are currently being built on our infrastructure.
Rapid Tooling: Technologies and Industrial Applications
Authors: Peter D. Hilton, Paul F. Jacobs
Venue:  (2000)

:A complete discussion of the latest rapid tooling technologies in use and under development for the production for molds and manufacturing tools. Describes current applications with various leading companies, supplying information on how RT is used to enhance product development, summarizing major commercial approaches. Height 9.50, Width: 6.25
Sanity
Authors: Prima Temp Authors, Rick Barba
Venue:  (2000)

:Fox Interactive invites you to test your reflexes and keep your wits with the new 3D action/adventure title Sanity. Thirty years in the future, the human brain undergoes a transformation. Ordinary people generate immense energy with their minds. Labeled Psionics, these individuals are overwhelmed by their complex talents, and succumb to insane, destructive rages that lead society to the brink of collapse. Government agent Cain is a powerful pyro-kinetic, groomed from birth to serve the public in the war against rogue Psionics. Cain must now undertake a perilous mission, which will ultimately lead him back to the Aiken Institute, the facility responsible for his training. Could those supposed protectors of mankind be its greatest enemy? Sanity: Prima's Official Strategy Guide has all the answers. Inside you'll find detailed game walkthroughs for all 21 levels, maps, key combinations for Psionic "talent cards," strategies to make the competition delirious in all 3 multiplayer modes, and elusive secret revealed!
Java RMI, 1st edition
Authors: William Grosso
Venue:  (2001)

:Java RMI contains a wealth of experience in designing and implementing Java's Remote Method Invocation. If you're a novice reader, you will quickly be brought up to speed on why RMI is such a powerful yet easy to use tool for distributed programming, while experts can gain valuable experience for constructing their own enterprise and distributed systems. With Java RMI, you'll learn tips and tricks for making your RMI code excel. The book also provides strategies for working with serialization, threading, the RMI registry, sockets and socket factories, activation, dynamic class downloading, HTTP tunneling, distributed garbage collection, JNDI, and CORBA. In short, a treasure trove of valuable RMI knowledge packed into one book.
Theory of serializablity for a parallel model of transactions
Authors: Ravindran Krishnamurthy, Umeshwar Dayal
Venue: Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems (1982)

In this paper we present a parallel program schema model of a transaction system and generalize the concept of serializability from the sequential two-step model to a parallel multi-step model. We define two classes of serializable executions, and for each class we discuss two problems: recognition and scheduling. It is shown that the results for the recognition and online scheduling problems for the sequential model generalize to the parallel model. But it is argued that online scheduling is not suitable for a parallel execution environment. Therefore, batch schedulers are defined and a minimal set of precedence constraints is derived. Finally, it is shown that any optimal batch scheduler that uses syntactic information alone cannot be efficient.
Dcn: Designing Cisco Networks
Authors: Thomas M. Thomas, Erik Freeland, Gaurav Sabharwal
Venue:  (2000)

:The demand for certified networking professionals that have experience with Cisco&reg; products and Cisco-based networks has never been higher. Written in conjunction with CCprep.com,the premier Cisco certification training Website,DCN: Designing Cisco&reg; Networks gives you full,curriculum-based coverage to help you study for the CCDA exam and succeed as a Cisco professional. Comprehensive,thorough,and reliable,this is the only book you*ll need for both preparing for the CCDA exam,and as a helpful on-the-job desk reference. Complete coverage of the CCDA exam!The demand for certified networking professionals who have experience with Cisco products and Cisco-based networks has never been higher than right now. Written in conjunction with CCprep.com,the premier Cisco certification training Web site,DCN: Designing Cisco Networks gives you full,curriculum-based coverage to help you study for the CCDA exam and succeed as a Cisco professional. Contents include: Complete internetworking technology overviewBasic LAN and WAN protocolsCoverage of Cisco product line - routers,switches,and specialized hardware including ATM switches and PIX firewallsTopology for both basic and secure networksRouter software,including access lists,encryption,and compressionDesign test methods - show commands,protocol analyzers,and much more FastTrak Express Testing Software Features: More than 200 multiple-choice practice questions Timed standard and adaptive simulated examsAnswer review and detailed score analysis
Impact of Calculators on Mathematics Instruction
Authors: George W. Bright, Hersholt C. Waxman, Susan E. Williams
Venue:  (1994)

:This book explores the impact of calculators on mathematics instruction in grades K-14. The authors examine underlying theoretical and research information which supports the use of calculators in the mathematics classroom. Chapters examine general issues related to calculator use. Successful calculator projects, while further discussing direction for the future utilization of calculators in mathematics. Many authors contributed articles to this original work, focusing on the benefits of calculators. Authors included are: George W. Bright, Hersholt C. Waxman, Susan E. Williams, Thomas A Romberg, Jane F. Schielack, Clarence J. Dockweiler, Gary C. Bitter, Mary M. Hatfield, Juanita V. Copley, Shwu-Yong L. Huang, Paul A. Kennedy, Bert K. Waits, Franklin Demana, Donald R. LaTorre, and John G. Harvey. Contents: Multiple Perspectives on the Impact of Calculators on the Mathematics Curriculum; Assessment and Technology; Calculator Inservice for Mathematics Teachers; Using the Calculator to Develop Number and Operation Sense, K-Grade 5; The Calculator Project; Assessing School-Wide Impact of Calculator Integration; Research on Calculator Use in Middle School Mathematics Classrooms; The Graphing Calculator in Pre-Algebra Courses; Research and Practice; The Calculator and Computer Precalculus Project (C2PC): What Have We Learned in Ten years?; Supercalculators in Undergraduate Mathematics; Teaching Mathematics with Calculators (TMC): A Local and National Inservice Teacher Education Project; Future Direction of the Study of Calculators in Mathematics Classrooms.Author Biography: George W. Bright is Professor of Mathematics at the University of North Carolina atGreensboro.
An interactive design system to be taught 3D graphical-mathematical procedures
Authors: Donald V. Steward, Marion J. Stedwell
Venue: Proceedings of the 1st annual conference on Computer graphics and interactive techniques (1974)

A designer doing 3D mechanical layouts needs to mix graphical and mathematical operations, as for example: point to a 3D object displayed on the screen and use its location to compute a position to insert another object. It would be desirable to teach complex new procedures to the system by performing the procedure once. This would free the designer to develop procedures tailored to his own needs without relying on programming support. Thus new design applications could be readily generated. We are presently completing such a system.