ppxscal/embedding_network huggingface dataset:
Test Management Requirements For Software Dependent Systems
Authors: Victoria Stavridou
Venue: Proceedings of the 4th IEEE International Symposium and Forum on Software Engineering Standards (1999)

We describe a software-testing standardization proposal that is currently under consideration by the UK Ministry of Defense (MOD) Procurement Executive. The need for the proposal was borne out of the recognition that current MOD procurement policy does not deal adequately with software testing requirements, thus hampering both MOD managers and MOD contractors. Here we propose a testing standardization framework to cover all aspects and phases of software testing. Wherever possible, the framework makes use of established, internationally agreed standards in line with MOD standardization policy. Since integration testing is not adequately dealt with by existing standards, we put forward an outline proposal for dealing with the integration phase.
A Network State Based Intrusion Detection Model
Authors: Zheng Shan, Peng Chen, Ying Xu, Ke Xu
Venue: Proceedings of the 2001 International Conference on Computer Networks and Mobile Computing (ICCNMC'01) (2001)

This paper presents a new approach called network state based model to describe intrusionsand attacks. In the model which uses FA theory and can detect unknown attacks, the attacks and intrusions are described by the states and state transitions of network protocols and operation systems. First, the paper shows that the model is feasible for intrusion detection, and then it describes the IDS(Intrusion Detection System) using this model by CIDF(Common Intrusion Detection Framework). Lastly, the network state based model is compared with some other models.
A timed verification of the IEEE 1394 leader election protocol
Authors: Judi M.T. Romijn
Venue:  (1999)

The IEEE 1394 architecture standard defines a high performance serial multimedia bus that allows several components in a network to communicate with each other at high speed. In the physical layer of the architecture, a leader election protocol is used to find a spanning tree with a unique root in the network topology. If there is a cycle in the network, the protocol treats this as an error situation. This paper presents a formal model of the leader election protocol in the language IOA as well as a correctness proof. The verification shows that under certain timing restrictions the protocol behaves correct. The timing constants proposed in the IEEE 1394 standard documentation obey the requirements found in this proof.
A Distributed Scheduling Algorithm for Quality of Service Support in Multiaccess Networks
Authors: Craig Barrack, Kai-Yeung Siu
Venue: Proceedings of the Seventh Annual International Conference on Network Protocols (1999)

This paper presents a distributed scheduling algorithm for the support of QoS in multiaccess networks. Unlike most contention-based multiaccess protocols which offer no QoS guarantee and suffer the problems of fairness and low throughput at high load, our algorithm provides fairness and bandwidth reservation in an integrated services environment and at the same time achieves high throughput. Moreover, while most reservation-based multiaccess protocols require a centralized scheduler and a separate channel for arbitration, our algorithm is truly distributed in the sense that network nodes coordinate their transmissions only via headers in the packets. We derive theoretical bounds illustrating how our distributed algorithm approximates the optimal centralized algorithm. Simulation results are also presented to justify our claims.
Horus: A Flexible Group Communications System
Authors: Robbert Van Renesse, Kenneth P. Birman, Bradford B. Glade, Katie Guo, Mark Hayden, Takako Hickey, Dalia Malki, Alex Vaysburd, Werner Vogels
Venue:  (1995)

The Horus system offers flexible group communication support for distributed applications. It is extensively layered and highly reconfigurable, allowing applications to only pay for services they use, and for groups with different communication needs to coexist in a single system. The approach encourages experimentation with new communication properties and incremental extension of the system, and enables us to support a variety of application-oriented interfaces.
Macromedia Flash 5: Guia de Campo
Authors: Jose Luis Oros Cabello, Francisco Pascual
Venue:  (2002)

:This tutorial contains complete descriptions of the tools of Macromedia Flash version 5, the leader in Web animation. Suitable for new users and users already acquainted with the program, it contains more than 100 practice examples. Includes CD-ROMBrinda una completa descripcion de las distintas herramientas de Macromedia Flash version 5, el programa líder para la creacion de animaciones en la Web. Un libro idoneo tanto para el autoaprendizaje de los que se acercan por primera vez a Macromedia Flash, como para la consulta por parte de usuarios ya iniciados. Contiene mas de 100 ejemplos y practicas desarrolladas paso a paso."Franciso Pascual is the author of Netscape Communicator 4 and Access 97: Guía de campo.
Multi-level selection and immune networks: preliminary discussion of an abstract model
Authors: Tom Lenaerts, Anne Defaweux, Piet van Remortel, Joke Reumers, Bernard Manderick
Venue: Proceedings of the eighth international conference on Artificial life (2002)

An important gap in the relation between artificial evolutionary systems and their biological counterpart is the inability of artificial models to construct functional hierarchical structures in an emergent way. For composite structures to emerge and prosper in a biological hierarchical system, some form of selection is required at each level. In this paper we examine an abstract model of immune networks in terms of the selection dynamics present at the individual level and at the network level. In this context, a property of the individuals is examined in relation to its impact on the reproductive succes on the individual and network level.
Virtually Documented Environments
Authors: Samory Kakez, Vania Conan, Pascal Bisson
Venue: Proceedings of the 1st IEEE International Symposium on Wearable Computers (1997)

We present a suitable virtually documented environment system providing the user with high level interaction possibilities. The system is dedicated to applications where the operator needs to have his hands free in order to access information, carry out measurements and/or operate on a device (e.g. maintenance, instruction). The system merges video images acquired through a head-mounted video camera with synthetic data (multimedia documents including CAD models and text) and presents these merged images to the operator. Registration techniques allow the operator to visualise information properly correlated to the real world: this is an essential aspect in order to achieve a feeling of presence in a real environment. We increase the sense of immersion through high level Human-Computer Interaction (HCI) allowing hands-free access to information through vocal commands as well as multimodal interaction associating speech and gesture. In this way, the user can access information and manipulate it in a very natural manner.
Computational steering in the CAVE
Authors: Jurriaan D. Mulder, Robert Liere, Jarke J. Wijk
Venue:  (1998)

Scientists can gain much more insight from their simulations if they are enabled to change simulation parameters on the fly while observing the results immediately. A crucial aspect of such {\em computational steering\/} is an intuitive user interface. We have developed an environment that enables researchers to construct such interfaces efficiently and effectively for graphical workstations. In this paper we report on our next step towards more intuitive user-interfaces: We have modified our system for use in the CAVE. The CAVE is a projection-based virtual environment. Virtual environments are designed to provide the effect of immersion in an interactive three-dimensional computer-generated environment. We show that the use of virtual environments for computational steering interfaces can improve interaction with the simulation and immersion in the computational process. We present our system, the methods we have developed for improved 3D interaction, and describe three applications.
Ovoidal linear spaces
Authors: Paola De Vito, Nicola Melone
Venue: Discrete Mathematics (2003)

In this paper a suitable definition of ovoid in linear spaces is given and a characterization of the Galois space PG(3, q) as a finite linear space containing an ovoid is obtained.
Three Dimensional Animation of Web Access Behavior Using Indirect Mapping
Authors: Hitoshi Ohnishi
Venue: Proceedings of the 1999 International Conference on Information Visualisation (1999)

This paper proposes and discusses a 3-D animation method for helping us to comprehend the behavior of the Web accesses. The proposed method uses dynamic system modeling because human beings live in a dynamic world and they have been trained to comprehend the world since their birth. The method maps the Web access data to mass and forces in a dynamic system model, then simulates the model, and renders the results as graphical objects in the 3-D space. An animation tool using the proposed method has been developed. It is implemented with the Virtual Reality Modeling Language (VRML) and the Java programming language, and it works on a Web browser. The features and functions of the tool are described, and some snapshots of animations of a Web server log are presented.
Software Management Tools
Authors: Thomas F. Toll
Venue:  (1994)

This report comprises the final report for a Cornell Theory Center intership during the Spring 1994 semester. The goal of the internship was to organize a major software package for a research group in chemistry to be portable, flexible, and easy to maintain. Keywords: ccp, internship, make, portability, rcs, software, tools 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
Programming paradigms in an object-oriented multimedia standard
Authors: Ivan Herman, D. J. Duke
Venue:  (1997)

Of the various programming paradigms in use today, object-orientation is probably the most successful in terms of industrial take-up and application, particularly in the field of multimedia. It is therefore unsurprising that this technology has been adopted by ISO/IEC JTC1/SC24 as the foundation for a forthcoming International Standard for Multimedia, called PREMO. Two important design aims of PREMO are that it be distributable, and that it provide a set of media-related services that can be extended in a disciplined way to support the needs of future applications and problem domains. While key aspects of the object-oriented paradigm provide a sound technical basis for achieving these aims, the need to balance extensibility and a high-level programming interface against the realities of efficiency and ease of implementation in a distributed setting meant that the task of synthesising a Standard from existing practice was non-trivial. Indeed, in order to meet the design aims of PREMO it was found necessary to augment the basic object infrastructure with facilities and ideas drawn from other programming paradigms, in particular concepts from constraint management and dataflow. This paper describes the important trade-offs that have affected the development of PREMO and explains how these are addressed through the use of specific programming paradigms.
Looking for pre-selected multiword units in an untagged corpus of written Italian: maximizing the potential of the search program DBT
Authors: Laura Cignoni, Stephen Coffey
Venue:  (1995)

In the course of research being carried out in the field of bilingual phraseology, the Italian Reference Corpus (IRC) was used as a potential source of contextualized examples for previously selected multiword units. In all, about 2000 items were looked for. These included both multiword lexical units and complete utterances. Before discussing the search program used and search techniques employed, it should be pointed out that the IRC is an untagged corpus. The user has no automatic help of a syntactic, semantic or other nature; immediate access is available only to raw individual words, or rather character strings. For the user interested in locating multiword units, the resultant intrinsic problems may be divided into two types. Firstly, basing one''s search on individual word forms (as opposed to looking for phrases which have in some way been tagged as such) will often result in a certain amount of irrelevant material. Secondly, since many phraseological units are subject to a greater or lesser amount of variation, it may as a consequence be difficult to find all occurrences. In information science the terms precision and recall would be used with regard to these two problems. Jeremy Clear explains precision and recall in the following way: TEL:: +39 50 560481
Characterization of statistical multiplexing of heterogeneous ATM sources
Authors: H. W. Lee, J. W. Mark
Venue: Proceedings of the Fourteenth Annual Joint Conference of the IEEE Computer and Communication Societies (Vol. 1)-Volume - Volume 1 (1995)

Two asymptotic analyses of the queue length distribution at a statistical multiplexer supporting heterogeneous exponential on-off sources are considered. The first analysis is performed by approximating the cell generation rate as a multidimensional Ornstein-Uhlenbeck process and then applying the Benes queueing formula. In the second analysis, we start with a system of linear equations derived from the exact expressions of the dominant eigenvalue of the matrix governing the queue length distribution. Assuming that there are a large number of sources, we obtain asymptotic approximations to the dominant eigenvalue. Based on the analyses, we define a traffic descriptor to include the mean and the variance of the cell generation rate and a burstiness measure. A simple expression for the quality of service (QoS) in cell loss rate is derived in terms of the traffic descriptor parameters and the multiplexer parameters (output link capacity and buffer size). This result is then used to quantify the factors determining the required capacity of a call taking the statistical multiplexing gain into consideration.
On the Minres Method of Factor Analysis
Authors: Franklin T. Luk
Venue:  (1981)

The minres method is an effective means for estimating factor loadings under the condition that the sum of squares of the off-diagonal residuals be minimized. This paper is addressed to the efficient implementation and the convergence properties of the method. Key words: minres method, factor analysis, communality.
Multithreaded model for dynamic load balancing parallel adaptive PDE computations
Authors: Nikos Chrisochoides
Venue:  (1995)

We present a multithreaded model for the dynamic load-balancing of numerical, adaptive computations required for the solution of Partial Differential Equations (PDEs) on multiprocessors. Multithreading is used as a means of exploring concurrency in the processor level in order to tolerate synchronization costs inherent to traditional (non-threaded) parallel adaptive PDE solvers. Our preliminary analysis for parallel, adaptive PDE solvers indicates that multithreading can be used as a mechanism to mask overheads required for the dynamic balancing of processor workloads with computations required for the actual numerical solution of the PDEs. Also, multithreading can simplify the implementation of dynamic load-balancing algorithms, a task that is very difficult for traditional data parallel adaptive PDE computations. Unfortunately, multithreading does not always simplify program complexity, often makes code re-usability not an easy task, and increases software complexity.
Building Secure Wireless Networks with 802.11
Authors: Jahanzeb Khan, Anis Khwaja
Venue:  (2003)

:Whether you're creating wireless networks for the home, small office, or enterprise, this innovative book presents a step-by-step approach to successfully building a wireless LAN that meets all of your security needs. Beginning with a comprehensive introduction and overview of 802.11b technology, this book takes you through the planning and design guidelines for implementing wireless LANs. While emphasizing the proper security measures for you to take, the authors will help you develop a wireless LAN, choose the right equipment for your deployment scenario, and implement the steps for thorough provisioning of equipment. You'll also find critical information on how to maintain and troubleshoot your wireless LAN to keep it up and running. Written by Wi-Fi security experts, this book gives you the tools to plan and implement a secure wireless LAN based on 802.11 Wi-Fi technology.
Performability Analysis Using Semi-Markov Reward Processes
Authors: Gianfranco Ciardo, Raymond Marie, Bruno Sericola, Kishor Trivedi
Venue:  (1988)

With the increasing complexity of multiprocessor and distributed processing systems, the need to develop efficient and accurate modeling methods is evident. Fault-tolerance and degradable performance of such systems has given rise to considerable interest in models for the combined evaluation of performance and reliability [1,2]. Most of these models are based upon Markov or semi-Markov reward processes. Beaudry [1] proposed a simple method for computing the distribution of performability in a Markov reward process. We present two extensions of Beaudry''s approach. First, we generalize the method to a semi-Markov reward process. Second, we remove the restriction requiring the association of zero reward to absorbing states only. Such reward models can be used to evaluate the effectiveness of degradable fault-tolerant systems. We illustrate the use of the approach with three interesting applications.
Reliable support for a persistent distributed shared memory
Authors: A. Knaff, P. Dechamboux
Venue: Proceedings of the 17th International Conference on Distributed Computing Systems (ICDCS '97) (1997)

This paper describes a reliable distributed storage server used to back segments located in a distributed virtual shared memory (DVSM). It focuses on the design of a generic logging support and gives hints about its implementation. The prototype developed within the AIX system is evaluated and exhibits good results. Using these results, some evolutions are proposed to improve performance.
What Is Computer Security?
Authors: Matt Bishop
Venue: IEEE Security and Privacy (2003)

Security is not an add-on or merely an operational concept, it is a property that must be designed and built into every system. Our challenge as educators is to teach our students the science underlying computer security and the techniques to synthesize and evaluate real solutions for real problems.
Extending the Viability of IDDQ Testing in the Deep Submicron Era
Authors: D. Nicolos
Venue: Proceedings of the 3rd International Symposium on Quality Electronic Design (2002)

IDDQ testing has become a widely accepted defect detection technique in CMOS ICs. However its effectiveness in deep submicron is threatened by the increased transistor sub-threshold leakage current. In this paper, a new IDDQ testing scheme is proposed. This scheme is based on the elimination, during IDDQ testing, of the normal leakage current from the sensing node of the circuit under test so that already known in the open literature IDDQ sensing techniques can be applied in deep submicron. 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
Mastering HTML and Xhtml, 1 edition
Authors: Eric J. Ray, Deborah Ray
Venue:  (2002)

:Master the Core of All Web Development-And Prepare for the Future Mastering HTML and XHTML is the most complete, up-to-date book on the core language of the Web. You'll learn everything you need to know about coding web pages in both HTML and XHTML, the latest, more powerful version of HTML. But it doesn't stop there. You also get practical instruction in complementary web technologies such as JavaScript, CSS, and Dynamic HTML, along with a Masters Reference that makes it easy to find the information you need. Tying it all together is the authors' expert guidance on planning, developing, and maintaining effective, accessible websites. Coverage includes: Choosing between HTML and XHTML Creating web pages Planning and developing public, personal, and intranet sites Including images in web pages Using HTML/XHTML frames effectively Converting HTML to XHTML Creating CSS style sheets Using JavaScript Including multimedia Creating Dynamic HTML or Dynamic XHTML documents Validating XHTML or HTML documents Creating coherent, easily maintainable websites Making your website searchable Accommodating users with disabilities Creating an XML DTD Extending XHTML with Namespaces About the Authors Deborah S. Ray and Eric J. Ray, authors of many books on web-related topics, are recipients of several awards from the Society for Technical Communication, including an International Distinguished Technical Communication award. Deborah publishes TECHWR-L, a high-profile, high-traffic website for technical writers. Eric is a technical writer for Sun Microsystems. When they're not engrossed in technical stuff, the Rays spend time with family and work on their home.
A Practical Realization of Parallel Disks
Authors: Sanguthevar Rajasekaran, Xiaoming Jin
Venue: Proceedings of the 2000 International Workshop on Parallel Processing (2000)

Several models of parallel disks are found in the literature. These models have been proposed to alleviate the I/O bottleneck arising in handling voluminous data. These models have the general theme of assuming multiple disks. For instance, the Parallel Disk Systems (PDS) model assumes D disks and a single computer. It is also assumed that a block of data from each of the D disks can be fetched into the main memory in one parallel I/O operation. In this paper, we present a more practical model for multiple disks and evaluate it experimentally. This model is called a Parallel Machine with Disks (PMD). A PMD can be thought of as a realization of the PDS model. A PMD can also be considered as a special case of the hierarchical memory models proposed in the literature. We investigate the sorting problem on the new model. Our analysis demonstrates the practicality of the PMD. We also present experimental confirmation of this assertion with data from our implementations.
Output-Size Sensitive Algorithms for Constructive Problems in Computational Geometry
Authors: Raimund Seidel
Venue:  (1986)

In computer science the efficiency of algorithms is usually measured in terms of the size of the input. The output size, on the other hand, has been used for this purpose rather infrequently, except in certain enumerative query problems. This thesis deals with several constructive (in constrast to query) problems in computational geometry and presents algorithms whose running time depends non-trivially on the output size. We present an algorithm that finds the convex hull on $n$ points in the plane in worst case time $O(n \log H)$, where $H$ is the number of points that turn out to be vertices of the convex hull. we examine the $d$-dimensional maximal vector problem and show that as long as $V$, the number of maximal vectors in a set, is not too large, these maximal vectors can be found in $O(n \log V)$. We present an algorithm for solving the planar convex subdivision overlay problem in time proportional to the combined input and output size. Finally we show that, after some preprocessing in the form of linear programs, $d$-dimensional convex hulls can be constructed at logarithmic cost per face.