ppxscal/embedding_network huggingface dataset:
Construction of global finite state machine for testing task interactions written in message sequence charts
Authors: Nam Hee Lee, Tai Hyo Kim, Sung Deok Cha
Venue: Proceedings of the 14th international conference on Software engineering and knowledge engineering (2002)

Integration testing of embedded software is difficult because such software tends to be large and complex; it is often structured as a set of tasks whose interaction patterns can be arbitrary and nondeterministic; it is subject to frequent changes while being tested; and testing period must be minimized since the product's life-time is short. In order to conduct integration testing in a cost-effective manner, it is essential that requirements are captured in precise notation and that test cases are automatically generated and executed whenever possible.In this paper, we demonstrate how to generate test cases from a set of Message Sequence Charts (MSCs) by constructing a semantically equivalent global finite state machine (GFSM). Test cases are expressed as a sequence of messages to be exchanged among various system entities. When transforming complex and hierarchical MSCs to a GFSM, state explosion problem is often encountered. When constructing a GFSM, we achieved significant reduction in the number of states and transitions by generating only the feasible sequences. Such reduction was possible because embedded software we used as the case study, digital TV application software, had known and well-defined initial state.We developed a graphical toolset to edit MSCs and automatically generate test cases. Users describe the required functionalities in scenarios, and test cases are automatically generated from the GFSM according to the state and transition coverage criteria. We applied the proposed approach to specify and test a substantial portion of embedded software running on a digital TV and were able to detect an error, previously unknown to the developers, that occurred due to a subtle race condition among tasks.
Using an environment chain model to teach inheritance in C++
Authors: Michael R. Wick, Daniel E. Stevenson, Andrew T. Phillips
Venue: Proceedings of the 33rd SIGCSE technical symposium on Computer science education (2002)

Inheritance is a central topic in most introductory object-oriented programming courses and frequently the most challenging for students to comprehend. The difficulties students experience often center around the rather complicated and obscure dynamic method invocation algorithms used in languages like C++ and Java. We present a visual model for teaching inheritance that captures the essential aspects of these algorithms yet is easy for students to comprehend and apply.
Practical Networking
Authors: Frank J. Derfler
Venue:  (1999)

:Practical Networking is a comprehensive reference to every connectivity option available. This book explains and compares the latest technologies to help you understand the technology and put your knowledge to work. The book begins with a primer on general networking concepts and the description of LANs and networks. You then progress through sections on hardware and various networking standards including an excellent easy-to-understand explanation of the seven-layer OSI model. Also included are thorough sections on network operating systems, as well as material that focuses on connectivity of a network to other networks and mainframe computers.
Optimizing Management Functions in Distributed Systems
Authors: Hasina Abdu, Hanan Lutfiyya, Michael A. Bauer
Venue: Journal of Network and Systems Management (2002)

With the increased availability and complexity of distributed systems comes a greater need for solutions to assist in the management of distributed systems. Despite the significant contributions made towards the development of management tools that monitor and control distributed systems, little has been done to address issues such as optimizing the execution of management functions with respect to system and management requirements. This paper presents a management optimization model in which management agents and managed objects are efficiently configured on the basis of a set of system and management requirements. We illustrate our model and describe its implementation through a Branch- and Bound-based algorithm and a web-based interface. The latter enables users to specify the requirements used by the optimization algorithm to determine efficient management configurations. It also includes an XML-based interface through which management agents can be started independent of the underlying platforms. Performance characteristics of the proposed algorithm as well as experimental results to illustrate the validity of the model are also described.
Advances in Digital and Computational Geometry, 1st edition
Authors: Reinhard Klette, A. Rosenfeld, F. Sloboda
Venue:  (1999)

:Computational geometry deals with the construction of algorithms and their complexity related to problems in geometry arising in computer graphics, pattern recognition, robotics, image processing, CAD-CAM, VLSI design and geographic information systems. Digital geometry deals with geometric properties of subsets of digital images or, equivalently, with geometric properties of finite sets of lattice points. Digital geometry can anticipate progress in imaging technology allowing higher and higher spatial resolution. It seems that the input data in both fields will "converge" to data embedded in digital arrays of very high spatial resolution. This book covers the important developments in digital and computational geometry including methods of approximating geometric objects.
Building trust in third-party components using component wrappers in the .NET frameworks
Authors: Christine A. Mingins, Chee Y. Chan
Venue: Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications (2002)

Software purchasers are often provided with very sparse information about how to correctly deploy software components. We describe a novel contract-based approach to building trust in third party components. In contrast to the usual approach where contracts specifying the software semantics are constructed at the time of source code generation, we retrofit existing components with Contract wrappers. Sets of client requirements on the component are expressed in terms of software contracts using the Design by Contract&trade; method. The targeted component is then wrapped in this executable specification. Subsequent calls to the component are made via the wrapper. Any client misunderstanding about the component's functionality will be picked up as contract violations. Contract wrappers also serve as the basis for test suites for integrating components into applications, and as documentation for future updates.We demonstrate how such contract wrappers can be constructed and deployed using the cross-language metadata capabilities available in Microsoft's new .NET Framework.
C# Network Programming, 1st edition
Authors: Richard Blum
Venue:  (2002)

:C# is Microsoft's hot new language for the .NET platform. This book covers everything C# programmers need to know to create network applications, a task traditionally done in C++. It explores the basics of network programming, including IP and TCP protocols, and moves on to targeted C# instruction, including using the C# network programming classes in the .NET framework. Topics covered include low-level network programming (such as sockets and multithreading), as well as network application layer programming for email, web-based, and security applications. Specific examples show how to create applications that use network protocols such as SNMP, SMTP, and HTTP. The book also has advanced coverage of incorporating an Active Directory server database and .NET remoting in a network application. Author Richard Blum has been a network and systems administrator for 13 years for the Department of Defense and is the author of four books on networking topics.
Lab Companion: Cisco Networking Academy Program, 2nd edition
Authors: Jim Lorenz
Venue:  (2001)

:The only endorsed print classroom lab to semesters 3 and 4 of the online curriculum. Cisco-approved study materials for the Networking Academies courseWritten by the course developerMaps to online curriculum version Increased integration across print products for more effective learning resource Expanded CD-ROM To include interactive e-Lab activities, over 400 CCNA preparation questions, Real Media movies and animations and more Includes all of the labs that appear on the online curriculum and more than a dozen challenge labs. Provides excellent directions and hints for getting the most out of the labs.Cisco Networking Academy Program: Lab Companion, Vol. II, Second Edition is the lab companion product to the Cisco Networking Academy Program semesters 3 and 4. This book has been strongly integrated with the Cisco Networking Academy Program: Second-Year Companion Guide, Second Edition and the Cisco Networking Academy Program: Engineering Journal and Workbook, Volume II, Second Edition. It saves you the time and cost of printing out the online materials.The Lab Companion contains all the labs from Version 2.1 of the online curriculum, along with additional instruction and bonus labs not found anywhere else. Also includes newCD-ROM, containing additional learning materials and e-Labs for reality-based lab training and learning.
MCSE Windows 2000 Accelerated Boxed Set (Exam 70-240)
Authors: Syngress Media Inc.
Venue:  (2000)

:Why buy separate study materials when you can get this this boxed set for less? It's got two books,two CD-ROMs,and more than 1,050 practice questions in total! The MCSE 2000 Accelerated Boxed Set (Exam 70-240) contains: 1) MCSE 2000 Accelerated Study Guide  A skill-building program with in-depth coverage of all exam objectives. The CD-ROM features CertTrainer software and a full MCSE Windows 2000 Accelerated ExamSim practice test. 2) Test Yourself MCSE Accelerated Exam 70-240  The most effective self-test and quick review program available. It's filled with hundreds of realistic practice questions and in-depth answers. 3) Bonus CD-ROM  Available ONLY in this Boxed Set. It covers MCSE Windows 2000 Core Four topics and contains more than 95 ADDITIONAL practice questions,not found elsewhere. ALL THIS FOR LESS! This complete package is available for LESS than the total cost of each item separately. Plus,you'll get that BONUS CD-ROM,not available elsewhere,for FREE!Why buy separate study materials when you can get this this boxed set for less? It's got two books,two CD-ROMs,and more than 1,050 practice questions in total! The MCSE 2000 Accelerated Boxed Set (Exam 70-240) contains: MCSE 2000 Accelerated Study Guide  A skill-building program with in-depth coverage of all exam objectives. The CD-ROM features CertTrainer software and a full MCSE Windows 2000 Accelerated ExamSim practice test. Test Yourself MCSE Accelerated Exam 70-240  The most effective self-test and quick review program available. It's filled with hundreds of realistic practice questions and in-depth answers. Bonus CD-ROM  AvailableONLY in this Boxed Set. It covers MCSE Windows 2000 Core Four topics and contains more than 95 ADDITIONAL practice questions,not found elsewhere. ALL THIS FOR LESS!This complete package is available for LESS than the total cost of each item separately. Plus,you'll get that BONUS CD-ROM,not available elsewhere,for FREE! 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
Computer graphics as a way of life
Authors: Thomas A. DeFanti, Daniel J. Sandin, Theodor H. Nelson
Venue: Proceedings of the 1st annual conference on Computer graphics and interactive techniques (1974)

Civilization and its requisite overhead have neatly brought us away from real-time interactions. The high priests of technology use unwieldly systems to perpetuate cybercrud--the art of using computers to put things over on people. This mentality can be countered by bringing to people systems that are easily learned and used--'habitable' systems. 'Habitability', then, is the quality of a system that makes it comfortable to learn and use.Computer graphics, is especially in a media production environment, must be highly people-oriented. This paper attempts to develop the two essential components for a people-oriented computer system--habitability and environment, using the educational media production laboratory known as the Circle Graphics Habitat as the example.
Computers in imaging and guided surgery
Authors: Leo Joskowicz, Russell H. Taylor
Venue: Computing in Science and Engineering (2001)

The authors review the main technical issues in computer-integrated surgery systems. They illustrate with examples of working systems the state of the art in the field and provide perspectives on deployment and future developments.
A framework for virtual videography
Authors: Michael L. Gleicher, Rachel M. Heck, Michael N. Wallick
Venue: Proceedings of the 2nd international symposium on Smart graphics (2002)

There are a significant number of events that happen on a regular basis that would be worth preserving on video but for which it is impractical to use traditional video production methods. In this paper, we describe one possible way to inexpensively and unobtrusively capture and produce video in a classroom lecture environment. We discuss the importance of cinematic principles in the lecture video domain and describe guidelines that should be followed when capturing a lecture. We continue by surveying the tools provided by computer vision and computer graphics that allow us to determine syntactic information about images. Finally, we describe a way to combine these tools to create a framework for a Virtual Videography system, one that can automatically generate production quality video. This framework is based on the creation of region objects, a semantically related region of video, despite the fact that we can reliably only gather syntactic information.
Essential JavaScript for Web Professionals, 1st edition
Authors: Dan Barrett, Micah Brown, Dan Livingston
Venue:  (1999)

From the Book:PREFACE: Introduction Welcome! This book is something we wish we had when we were first starting out with JavaScript. At that time, there were basically two types of instructional books on the market: 1200-page tomes of seemingly arcane knowledge, and books that were overly simplified and lacking in practical information. Unfortunately, there were no books that were informative and at the same time provided instruction that could be used quickly and effectively in real-world situations. This book will guide you through JavaScript using examples taken straight from situations that are faced every day during Web site construction. It starts off with simple examples and becomes quite sophisticated with the scripting toward the end of the book. With that said, let's look a little more closely at how this book is laid out and a brief summary of scripting, as well as what JavaScript can and can't do for you. How This Book Is Laid Out Chances are that at least some of you picked up this book when your boss called you into his or her office and showed you a Web site that made use of JavaScript. You were then told in no uncertain terms that it was your job to implement the same, or similar, feature on your Web site. "No problem," you respond, while saying to yourself, "I better learnJavaScript and fast!" This is often howweexpand our skills: We are given a job, and if we don't know exactly how to do it, we quickly learn how. In keeping with this real-world model, this book is split into two main projects. For each of the main projects, we will be responsible for creating and/or upgrading the Web site for a fictitious company. For the first three chapters, we will revamp the homepage for Shelley Biotechnologies, a fast-growing bio-tech startup. In each chapter we have at least one project that consists of commonly used JavaScript solutions that range from easy to moderately difficult. At the end of each chapter there are more advanced exercises that you can complete on your own to expand your skills. In the second half of the book we will make some much-needed additions to Stitch Magazine's Web site. The examples will be more advanced than those found in the first project, and they will demonstrate some of the powerful things you can do using JavaScript. The exercises in the chapters are designed to give you a solid foundation in JavaScript on which you can build as you continue to use it. You will find that more often than not there is more than one way to do things in JavaScript  there really are no right or wrong ways to accomplish tasks. For all of the examples in the book you can go to the companion Web site located at ...
Towards an inspection technique for use case models
Authors: Bente Anda, Dag I. K. Sjøberg
Venue: Proceedings of the 14th international conference on Software engineering and knowledge engineering (2002)

A use case model describes the functional requirements of a software system and is used as input to several activities in a software development project. The quality of the use case model therefore has an important impact on the quality of the resulting software product. Software inspection is regarded as one of the most efficient methods for verifying software documents. There are inspection techniques for most documents produced in a software development project, but no comprehensive inspection technique exists for use case models. This paper presents a taxonomy of typical defects in use case models and proposes a checklist-based inspection technique for detecting such defects. This inspection technique was evaluated in two studies with undergraduate students as subjects. The results from the evaluations indicate that inspections are useful for detecting defects in use case models and motivate further studies to improve the proposed inspection technique.
How (not) to help people test drive code
Authors: Stuart Marshall, Robert Biddle, Ewan Tempero
Venue: Proceedings of the Third Australasian conference on User interfaces - Volume 7 (2002)

This paper discusses the results of usability testing on the interface of Dyno. Dyno is a tool designed to support code reuse by helping software developers understand what a specified piece of code does. The tool does this by allowing a programmer to undertake a process we call test driving. This paper looks at the deficiencies uncovered in the initial interface, and the implications this has for a tool aimed at helping software developers better understand code fragments so as to be able to reuse them.
Access Denied: The Complete Guide to Protecting Your Business Online
Authors: Cathy Cronkhite, Jack McCullough
Venue:  (2001)

:Learn to protect your online business using this insightful and practical guide to computer security. Through use of real examples,you'll understand and address the risks associated with using email,Web sites,e-commerce,portable devices,networks,and computer systems. This guide explains how to prepare for and prevent computer security problems as well as the best means of responding to and recovering from attacks. Also,you'll get details on the different types of viruses,the damage they can cause,and what type of virus protection tools to use. The Complete Guide to Protecting Your Business Online As more and more businesses today are relying heavily on computers,the issue of security is critical. And,with the number of employees operating from mobile offices and using portable devices for network and email access,security risks have also increasedmaking valuable systems even more vulnerable to attacks. Laptop theft also puts sensitive,unencrypted information at risk. Each year the number of significantly destructive security incidentswidely-publicized virus infections and denial of service attacksis escalating,so how can companies protect their information effectively and economically? The answers can be found inside Access Denied. This highly practical resource provides hands-on tools and strategies for selecting the right technology solutions for creating a successful and cost-effective security policy. This book helps bridge the gap between business and technologyaddressing both the need for profit and the requirement to invest in stronger security technology. Covering everything from data encryption methods to distribution listmanagement,the book addresses key security risks associated with email,Web sites,portable devices,ecommerce,networks and computer systems. Through use of real-world examples the expert authors explain concepts,terminology,and related business issues,and offer solid security recommendations for small- medium-,and large-sized companies. Appropriate for both technology-implementers and the non-IT audience this book is ideal for any executive or business owner wanting to secure their company's information,form an efficient response team,and maintain a competitive edge in today's fast-moving,high-tech environment.
Computer Architecture; Case Studies, 1st edition
Authors: Robert J. Baron, Lee Higbie
Venue:  (1992)

:'Computer Architecture offers an overview of a computer's key structural building blocks, such as the CPU, I / O, memory, introducing these building blocks of a computer in terms of computer family architecture whose members maintain compatibility with prior generation hardware as new implementations are introduced.
Internet Technology for Schools
Authors: Catherine Mambretti, Joel J. Mambretti
Venue:  (1999)

:Educators, librarians, parents and school board members are looking for ways to utilize the Internet. This manual for educational decision-makers on building a K12 network is written for both computer-literate readers and those with little experience. Part I summarizes steps in planning, funding and implementing a network, with examples of proven methodology. Proper functioning, upgrading and future directions are discussed. Part II is a guide to the use of the Internet, from policy and protection issues to virtual field trips. Rural and remote learning educators will find a section appropriate to their needs. Part III explains specific technical guidelines for network infrastructures, with details on network topology, protocols and the types of connection media.
Discrete Systems Laboratory Using MATLAB, 1st edition
Authors: Martin Schetzen, Vinay K. Ingle
Venue:  (1999)

:This brief paperbound supplement provides 16 hands-on laboratory experiments that students can perform using MATLAB&reg; in lab sections that accompany lecture courses in Linear Systems or DSP. The 16 experiments are grouped in four main topic areas: sampling and digital-to-analog (D/A) conversion; the discrete-time Fourier transform; gain and phase-shift studies of digital filters; and analog-to-digital (A/D) quantization. (See TOC below for a listing of specific lab experiments.) The goal of these experiments is to enable students to understand the full physical significance of key concepts through a deeper understanding of the underlying mathematical formulas - not to teach MATLAB&reg;. In each experiment, students enter problem parameter values, plot the results using MATLAB&reg;'s powerful plotting functions, and then respond to questions in the manual that require them to analyze and interpret these results. The experiments challenge students to approach the study of these topics in the role of an experimental investigator; students are required to define the quantitative values and size properties of each design criterion in a problem. As a result, students develop an appreciation of the physical meaning of the derived results, their theoretical and physical implications, and the use of the scientific method.