ppxscal/embedding_network huggingface dataset:
Automated worm fingerprinting
Authors: Sumeet Singh, Cristian Estan, George Varghese, Stefan Savage
Venue: Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6 (2004)

Network worms are a clear and growing threat to the security of today's Internet-connected hosts and networks. The combination of the Internet's unrestricted connectivity and widespread software homogeneity allows network pathogens to exploit tremendous parallelism in their propagation. In fact, modern worms can spread so quickly, and so widely, that no human-mediated reaction can hope to contain an outbreak. In this paper, we propose an automated approach for quickly detecting previously unknown worms and viruses based on two key behavioral characteristics - a common exploit sequence together with a range of unique sources generating infections and destinations being targeted. More importantly, our approach - called "content sifting" - automatically generates precise signatures that can then be used to filter or moderate the spread of the worm elsewhere in the network. Using a combination of existing and novel algorithms we have developed a scalable content sifting implementation with low memory and CPU requirements. Over months of active use at UCSD, our Earlybird prototype system has automatically detected and generated signatures for all pathogens known to be active on our network as well as for several new worms and viruses which were unknown at the time our system identified them. Our initial experience suggests that, for a wide range of network pathogens, it may be practical to construct fully automated defenses - even against so-called "zero-day" epidemics.
Fast Visualization Algorithm for Implicit Surfaces
Authors: Yi Zhang, Xin Wang, Xiao Jun Wu
Venue: Proceedings of the 16th International Conference on Artificial Reality and Telexistence--Workshops (2006)

One extended cell partitioning algorithm is proposed for improving the efficiency of extracting isosurface. A "ring" shape zone is constructed near isosurface. The bound threshold of the zone is determined by the half length of the cell diagonal. The cells inside the zone are processed, and the cells outside the zone are removed. The fast visualization algorithm is applied to the implicit surfaces represented by Radial Basis Functions and Multi-level Partition of Unity. By utilizing the mathematical properties of these implicit functions, the difficulty of calculating the shortest distance from one space point to the surface is solved. Consequently, a fast algorithm of extracting isosurface is implemented. Experimental results show that the new algorithm speeds up the process of extracting the isosurface.
GF parallel resource grammars and Russian
Authors: Janna Khegai
Venue: Proceedings of the COLING/ACL on Main conference poster sessions (2006)

A resource grammar is a standard library for the GF grammar formalism. It raises the abstraction level of writing domain-specific grammars by taking care of the general grammatical rules of a language. GF resource grammars have been built in parallel for eleven languages and share a common interface, which simplifies multilingual applications. We reflect on our experience with the Russian resource grammar trying to answer the questions: how well Russian fits into the common interface and where the line between language-independent and language-specific should be drawn.
Regression Test Selection for Black-box Dynamic Link Library Components
Authors: Jiang Zheng, Laurie Williams, Brian Robinson, Karen Smiley
Venue: Proceedings of the Second International Workshop on Incorporating COTS Software into Software Systems: Tools and Techniques (2007)

Software products are often configured with commercial-off-the-shelf (COTS) components. When new releases of these components are made available for integration and testing, source code is usually not provided. Various regression test selection processes have been developed and have been shown to be cost effective. However, the majority of these test selection techniques rely on access to source code for change identification. Based on our prior work, we are studying the solution to regression testing COTS-based applications that incorporate components of dynamic link library (DLL) files. We evolved the Integrated - Black-box Approach for Component Change Identification (I-BACCI) process that selects regression tests for applications based upon static binary code analysis to Version 4 to support DLL components. A feasibility case study was conducted at ABB on products written in C/C++ to determine the effectiveness of the I-BACCI process. The results of the case study indicate this process can reduce the required number of regression tests by as much as 100% if our analysis indicates the changes to the component are not called by the glue code of the application using the COTS component. Similar to other regression test selection techniques, when there are many changes in the new component I-BACCI suggests a retest-all regression test strategy.
Top-down method of teaching electronic courses
Authors: M. Moussavi
Venue: Proceedings of the Frontiers in Education Conference on 1995. Proceedings., 1995 vol 1. - Volume 01 (1995)

Summary form only given. The current methods of teaching many electronic courses do not reinforce the design and application in the teaching/learning process. The outcome of existing methods is engineering graduates who learn a lot of theory and definitions but little or no knowledge of application and design. Therefore, in the present engineering job market, it would be very difficult for them to be hired without sufficient design background. The top-down method shows the possibility of integration of design and into the most electronic courses. In the top-down method, the starting point is a design and application of an electronic product directly related to the course. 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
Managing large networks of virtual machines
Authors: Kyrre Begnum
Venue: Proceedings of the 20th conference on Large Installation System Administration (2006)

As the number of available virtualization tools and their popularity continues to grow, the way in which virtual machines can be managed in a data center is becoming more and more important. A few commercial tools such as VMware ESX and XenEnterprise exist, but they are limited to a certain virtual machine technology and offer no way to expand the tool's capabilities to local needs. This paper discusses an open source management tool, MLN, for large virtual networks transparent of their virtualization platform. The current version supports the two popular open source virtual machine packages: Xen and User Mode Linux. MLN uses an extensible configuration language for the design of the virtual machines and their internal configuration. Large groups of virtual machines can be managed as logical groups. We present a web-server hosting scenario and a on-demand render farm as case studies to show the usefulness of our tool. The text concludes with a short discussion on the difficulties of offering abstraction to virtualization platforms.
Porting NetBSD to the AMD x86-64: a case study in OS portability
Authors: Frank van der Linden
Venue: Proceedings of the BSD Conference 2002 on BSD Conference (2002)

NetBSD is known as a very portable operating system, currently running on 44 different architectures (12 different types of CPU). This paper takes a look at what has been done to make it portable, and how this has decreased the amount of effort needed to port NetBSD to a new architecture. The new AMD x86-64 architecture, of which the specifications were published at the end of 2000, with hardware to follow in 2002, is used as an example.
Software Design and Architecture The once and future focus of software engineering
Authors: Richard N. Taylor, Andre van der Hoek
Venue: 2007 Future of Software Engineering (2007)

The design of software has been a focus of software engineering research since the field's beginning. This paper explores key aspects of this research focus and shows why design will remain a principal focus. The intrinsic elements of software design, both process and product, are discussed: concept formation, use of experience, and means for representation, reasoning, and directing the design activity. Design is presented as being an activity engaged by a wide range of stakeholders, acting throughout most of a system's lifecycle, making a set of key choices which constitute the application's architecture. Directions for design research are outlined, including: (a) drawing lessons, inspiration, and techniques from design fields outside of computer science, (b) emphasizing the design of application "character" (functionality and style) as well as the application's structure, and (c) expanding the notion of software to encompass the design of additional kinds of intangible complex artifacts.
An enhanced TEA algorithm for modal analysis
Authors: G. Olmo
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 04 (1999)

Turbo estimation algorithms (TEAs) for non-random parameters are able to yield high accuracy estimates by means of an iterative process. At each iteration, a noise reduction is performed by means of an external denoising system (EDS), which exploits the estimation results obtained at the previous step; the enhanced data are then input to the master estimation algorithm (EA) for next iteration. A basic TEA scheme has been previously proposed in the context of modal analysis, which makes use of the Tufts and Kumaresan (1982) algorithm as the master EA, and of a multiband IIR filter as the EDS. In this paper, two improvements of this basic scheme are proposed; the former implies a different design of the EDS, able to achieve better estimation accuracy while reducing the outlier probability; the latter permits the autodetermination of the number of modes making up the signal.
GUI Patterns and Web Semantics
Authors: Vaclav Snasel
Venue: Proceedings of the 6th International Conference on Computer Information Systems and Industrial Management Applications (2007)

In this paper, we introduce a new approach to semantic analysis of web pages. To prove this approach we designed method for analysis and evaluation of web pages. The method is built on a silent agreement between web designers and users. The key aspects of this agreement are web patterns which are used by web designers in their web page implementations. With our method we can find out whether the pattern is presented on the page with high level of relevance. Key feature of our method is independence on the page HTML code. In this lecture we explain essentials of our approach as well as key features of our method and context for proper usage. We present experiments which prove efficiency of the method and usefulness of the approach.
Evaluating Quality in Model-Driven Engineering
Authors: Parastoo Mohagheghi, Jan Aagedal
Venue: Proceedings of the 29th International Conference on Software Engineering Workshops (2007)

In Model-Driven Engineering (MDE), models are the prime artifacts, and developing high-quality systems depends on developing high-quality models and performing transformations that preserve quality or even improve it. This paper presents quality goals in MDE and states that the quality of models is affected by the quality of modeling languages, tools, modeling processes, the knowledge and experience of modelers, and the quality assurance techniques applied. The paper further presents related work on these factors and identifies pertinent research challenges. Some quality goals such as well-formedness and precision are especially important in MDE. Research on quality in MDE can promote adoption of MDE for complex system engineering.
Using Software Repositories to Investigate Socio-technical Congruence in Development Projects
Authors: Giuseppe Valetto, Mary Helander, Kate Ehrlich, Sunita Chulani, Mark Wegman, Clay Williams
Venue: Proceedings of the 29th International Conference on Software Engineering Workshops (2007)

We propose a quantitative measure of sociotechnical congruence as an indicator of the performance of an organization in carrying out a software development project. We show how the information necessary to implement that measure can be mined from commonly used software repositories, and we describe how socio-technical congruence can be computed based on that information.
Locally optimal, buffer-constrained motion estimation and mode selection for video sequences
Authors: C. B. Peel
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 06 (1999)

We describe a method of using a Lagrange multiplier to make a locally optimal trade off between rate and distortion in the motion search for video sequences, while maintaining a constant bit rate channel. Simulation of this method shows that it gives up to 3.5 dB PSNR improvement in a high motion sequence. A locally rate-distortion (R-D) optimal mode selection mechanism is also described. This method also gives significant quality benefit over the nominal method. Though the benefit of these techniques is significant when used separately, when the optimal mode selection is combined with the R-D optimal motion search, it does not perform much better than the codec does with only the R-D optimal motion search.
Decentralized control system for autonomous navigation based on an evolved artificial immune network
Authors: R. Michelan
Venue: Proceedings of the Evolutionary Computation on 2002. CEC '02. Proceedings of the 2002 Congress - Volume 02 (2002)

This paper investigates an autonomous control system of a mobile robot based on the immune network theory. The immune network navigates the robot to solve a multiobjective task, namely, garbage collection: the robot must find and collect garbage, while it establishes a trajectory without colliding with obstacles, and return to the base before it runs out of energy. Each network node corresponds to a specific antibody and describes a particular control action for the robot. The antigens are the current state of the robot, read from a set of internal and external sensors. The network dynamics corresponds to the variation of antibody concentration levels, which change according to both mutual interaction of antibody nodes and of antibodies and antigens. It is proposed an evolutionary mechanism to determine the network configuration, that is, the parameters that define those interactions. Simulation results suggest that the proposal presented is very promising.
A New Approach to Scheduling Parallel Programs Using Task Duplication
Authors: Ishfaq Ahmad, Yu-Kwong Kwok
Venue: Proceedings of the 1994 International Conference on Parallel Processing - Volume 02 (1994)

In this paper, we explore the problem of scheduling parallel programs using task duplication for message-passing multicomputers. Task duplication means scheduling a parallel program by redundantly executing some of the tasks on which other tasks of the program critically depend. This can reduce the start times of tasks waiting for messages from tasks residing in other processors. There have been a few scheduling algorithms using task duplication. We discuss two such previously reported algorithms and describe their differences, limitations and suitability for different environments. A new algorithm is proposed which outperforms both of these algorithms, and is more efficient for low as well as high values of communication-to-computation ratios. The algorithm takes into account arbitrary computation and communication costs. All three algorithms are tested by scheduling some of the commonly encountered graph structures.
Gauss mixture vector quantization
Authors: R. M. Gray
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 03 (2001)

Gauss mixtures are a popular class of models in statistics and statistical signal processing because they can provide good fits to smooth densities, because they have a rich theory, and because they can be well estimated by existing algorithms such as the EM (expectation maximization) algorithm. We here extend an information theoretic extremal property for source coding from Gaussian sources to Gauss mixtures using high rate quantization theory and extend a method originally used for LPC (linear predictive coding) speech vector quantization to provide a Lloyd clustering approach to the design of Gauss mixture models. The theory provides formulas relating minimum discrimination information (MDI) for model selection and the mean squared error resulting when the MDI criterion is used in an optimized robust classified vector quantizer. It also provides motivation for the use of Gauss mixture models for robust compression systems for general random vectors.
Problem solving skills
Authors: L. R. Carter
Venue: Proceedings of the 30th Annual Frontiers in Education - Volume 02 (2000)

This paper describes a three-year experiment to determine whether student performance can be improved by making their performance visible in quantitative ways and assisting them to reflect on deviations between desired and actual performance. The experiment focused on improving effort estimation for planning, improving effort allocation over the period of performance, and reducing the recurrence of previously reported defects in subsequent assignments. To accomplish this, a Web-based tool was implemented and used to capture numerous student performance parameters as well as planning rationales, postmortem reflections, and feedback to the students.
A Formalism for Active and Informative Web Services
Authors: Alexandre Delteil, Laure Bourgois, Francois Levy
Venue: Proceedings of the Second International Conference on Internet and Web Applications and Services (2007)

In our previous works, we issued a significant difference between active Web services, that help carry out an action - e.g. buying a ticket to next Saturday's representation in the theater - and informative Web services that merely search for information - e.g. querying some databases to get a list of available CD's. This paper presents a dynamic logic for modeling accurately this distinction among composite Web services. We use a logical formalism allowing a calculus on complex Web services preconditions and effects. On the one hand, this formalism enlightens that activeWeb services modeling does not fall back to database update, when resources are taken into account (e.g. the number of seats in the theater). On the other hand, it models active Web service as a composed one : an informative Web service gathers information, a choice function is applied and feeds the input of an updating Web service.
A Novel Rate Control Algorithm for the Dirac Video Codec Based upon the Quality Factor Optimization
Authors: M. Tun, K. K. Loo, J. Cosmas
Venue: Proceedings of the Geometric Modelling and Imaging (2007)

In this paper, we propose a novel rate control algorithm for the wavelet-based open source Dirac video codec by using the Quality Factor (QF) optimization method. We derived a mathematical model which we call Rate-QF (R-QF) model to generate the optimum QF for the current coding frame according to the target bitrate. The proposed algorithm is completely one pass process and does not require complex mathematical calculation. The process of calculating the QF is quite simple and does not require calculating for each and every frames being coded. The experimental results show that the proposed algorithm can control the bitrate precisely (within 1% of the target bitrate in average). Moreover, the bitrate fluctuating which is the variation of bitrate over each and every Group of Pictures (GOPs) is lower than that of H.264, which is one of the desirable features to avoid buffer over flow and under flow in real time broadcasting.
Data-on-Network vs. Data-on-Tag: Managing Data in Complex RFID Environments
Authors: Thomas Diekmann, Adam Melski, Matthias Schumann
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

Initial RFID projects have shown that we need to pay utmost attention to data management. This is due to the enormous data volume that is created by frequent data acquisition processes and increased data granularity. In this paper we focus on the data-on-network approach -- which is preferred by EPCglobal -- and the data-on-tag approach -- which has been neglected by literature. We compare these data management concepts and discuss their possible fields of application. We argue that these methods are not antithetic but complementary, and show how they can be included in an integrated approach.
Computerized laboratory practice for future science and technology teachers
Authors: S. Kocijancic
Venue: Proceedings of the 30th Annual Frontiers in Education - Volume 01 (2000)

The attitude of pupils at secondary school level towards science and technology is significantly influenced by their teachers. Since studying engineering and science has become less popular in recent years it is important to make science and technology lessons more attractive to an extended range of pupils. The project described is concerned with the modernization of school laboratory apparatus and methods, with emphasis on the use of computers for data acquisition, data analysis and control. An important element in the practice of computerized laboratory work in schools is to adequately train future science and technology teachers as well as teachers already working in schools. Related courses are based on project-oriented work integrating science, computing, robotics, mathematics, etc. Examples of such projects are presented. 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 perceptually-based objective measure for speech coders using abductive network
Authors: M. M. Meky, T. N. Saadawi
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 01 (1996)

Objective measure techniques that provide reliable performance evaluation of speech coders is indispensable to designers, to end users when selecting telecommunication services and to providers in the designing stage of the telecommunications facilities. We introduce our objective measure technique that: (1) emulates several known features of perceptual processing of speech sounds by the human ear to map the speech power spectrum into an auditory power spectrum that is used to calculate the bark spectral distance per band (BSDB) between the input and the output coded speech signals; and (2) uses the abductive networks to estimate the speech quality from the BSDB. The results indicate that our proposed technique is reliable and robust in evaluating the coded speech quality and it is highly correlated to human responses across a wide range of quality levels and for a wide range of speech processing.
Using Legos and RoboLab (LabVIEW) with elementary school children
Authors: E. Wang
Venue: Proceedings of the Frontiers in Education Conference, 2001. on 31st Annual - Volume 01 (2001)

This work-in progress presentation describes the use of a Lego robotics kit and RoboLab software to meet the science, math and technology standards of local elementary school curricula. The presentation includes a demonstration by a kindergartener. The instructional materials used include a standard Lego Mindstorms kit and the Robolab. Robolab is based on LabVIEW and retains the iconic programming interface. Assessment of student learning includes both formal, pre- and post multiple choice testing and demonstration of ability to "read" programs and informal project outcomes.