ppxscal/embedding_network huggingface dataset:
An approach to change availability of the service by adding forecasting module to firewall
Authors: Przemyslaw Krekora
Venue: Proceedings of the 2nd International Conference on Dependability of Computer Systems (2007)

One of the main principles of contemporary firewalls is protecting internal resources of the system from intruders and checking correctness of requests forwarding to the particular service . Restrictions on firewalls cause that in many situation potential client has limited availability of the service. Although current implementations of firewalls are able to determine permissible number of session per user, there is no mechanism which could adapt this value to expected traffic in the network. This paper presents a proposal approach based on forecasting and statistical methods that is able to determine permissible availability of the service for the particular user.
An engineering design course for future educators
Authors: J. G. Enterline
Venue: Proceedings of the Frontiers in Education Conference,1997. on 27th Annual Conference. Teaching and Learning in an Era of Change. - Volume 01 (1997)

Summary form only given. The University of Washington is a member of the National Science Foundation coalition ECSEL (Engineering Coalition of Schools for Excellence in Education and Leadership) which is committed to the dramatic transformation of the undergraduate curriculum and increasing the diversity of engineering students. An integral component of the coalition involves fostering the relationship between engineering design and education. The Introduction to Engineering Design course (ENGR 100) at the University of Washington has proven to be a successful vehicle for connecting the fields of engineering and education. ENGR 100 is a project-based design course in which both faculty and students work in teams. Each section is team-taught by an engineering professor, a graduate teaching assistant and an undergraduate senior peer. The students work in teams to complete a number of design research assignments and reverse engineering. This course satisfies a general education requirement for all students, and is taken by individuals with very diverse career aspirations and goals. The ECSEL team at the University of Washington has focused particular attention on the utility of ENGR 100 as an experience for pre-service teachers. Introduction to Engineering Design (ENGR 100) offers nonengineering majors interested in education the opportunity to participate as students in a hands-on, cooperative learning environment. Students interested in careers in education participate in a reflective seminar covering educational issues and their applicability to K-12 environments. 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 Formal Semantic Model of the Semantic Web Service Ontology (WSMO)
Authors: Hai H. Wang, Nick Gibbins, Terry Payne, Ahmed Saleh, Jun Sun
Venue: Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems (2007)

Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service Modelling Ontology (WSMO) has recently been proposed as an enabling framework for the total/partial automation of the tasks (e.g., discovery, selection, composition, mediation, execution, monitoring, etc.) involved in both intra- and inter-enterprise integration of Web Services. To support the standardization and tool support of WSMO, a formal semantics of the language is highly desirable. As there are a few variants of WSMO and it is still under development, the semantics of WSMO needs to be formally defined to facilitate easy reuse and future development. In this paper, we present a formal Object- Z semantics of WSMO. Different aspects of the language have been precisely defined within one unified framework. This model not only provides a formal unambiguous model which can be used to develop tools and facilitate future development, but as demonstrated in this paper, can be used to identify and eliminate errors presented in existing documentation.
A framework for managing the evolution of business protocols in web services
Authors: Seung Hwan Ryu, Régis Saint-Paul, Boualem Benatallah, Fabio Casati
Venue: Proceedings of the fourth Asia-Pacific conference on Comceptual modelling - Volume 67 (2007)

Web services are loosely coupled software components that are published, discovered, and invoked across the Web. As the use of Web services grows, in order to correctly interact with the growing services, it is important to understand the business protocols that provide clients with the information on how to interact with services. In dynamic Web services environments, service providers need to constantly refine their business protocols in order to reflect the constraints and opportunities proposed by new applications, new business strategies, and new laws, or fix the problems found in the protocol definition. However, the effective management of such a protocol evolution raises challenging problems: one of the most challenging issues is to handle ongoing instances started with the old protocol when their protocols are changed. We present a framework that supports service administrators in managing business protocol evolution by providing several features, such as a set of change operators allowing modifications of protocols and two types of change impact analyses automatically determining which ongoing instances can be migrated to the new version of a protocol. We have also implemented a database-backed GUI tool to manage the change process as an extension of our existing system.
Using the inter- and intra-switch regularity in NoC switch testing
Authors: Mohammad Hosseinabady, Atefe Dalirsani, Zainalabedin Navabi
Venue: Proceedings of the conference on Design, automation and test in Europe (2007)

This paper proposes an efficient test methodology to test switches in a Network-on-Chip (NoC) architecture. A switch in an NoC consists of a number of ports and a router. Using the intra-switch regularity among ports of a switch and inter-switch regularity among routers of switches, the proposed method decreases the test application time and test data volume of NoC testing. Using a test source to generate test vectors and scan-based testing, this methodology broadcasts test vectors through the minimum spanning tree of the NoC and concurrently tests its switches. In addition, a possible fault is detected by comparing test results using the inter- or intra- switch comparisons. The logic and memory parts of a switch are tested by appropriate memory and logic testing methods. Experimental results show less test application time and test power consumption, as compared with other methods in the literature.
An efficient MPI_allgather for grids
Authors: Rakhi Gupta, Sathish S. Vadhiyar
Venue: Proceedings of the 16th international symposium on High performance distributed computing (2007)

Allgather is an important MPI collective communication. Most of the algorithms for allgather have been designed for homogeneous and tightly coupled systems. The existing algorithms for allgather on Gridsystems do not efficiently utilize the bandwidths available on slow wide-area links of the grid. In this paper, we present an algorithm for allgather on grids that efficiently utilizes wide-area bandwidths and is also wide-area optimal. Our algorithm is also adaptive to gridload dynamics since it considers transient network characteristics for dividing the nodes into clusters. Our experiments on a real-grid setup consisting of 3 sites show that our algorithm gives an average performance improvement of 52% over existing strategies.
31st Annual Frontiers in Education Conference. Impact on Engineering and Science Education. Conference Proceedings (Cat. No.01CH37193)
Venue: Proceedings of the Frontiers in Education Conference, 2001. 31st Annual - Volume 02 (2001)

The following topics are dealt with: engineering education; science education; ABET criteria assessment; learning styles; laboratory innovations; teaching approaches; teachers; distance learning; engineering colleges; accreditation; curricula; engineering preparation; software engineering education; K-12 programs; active learning; outcomes assessment; web classroom applications; online learning; software tool support; electrical engineering teaching; advanced classroom techniques; and undergraduate research. 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
Distributing Genome Sequence Databases with a Publish/Subscribe Middleware
Authors: Chen Wang, Bing Bing Zhou, Fabian Brites, Bin Liu, Albert Y. Zomaya
Venue: Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems (2007)

The paper presents a publish/subscribe middleware that intends to address the scalability issue of application servers hosting genome sequence similarity detection services. We give an effective annotation mechanism for distributed data and a scheduling algorithm to balance the data replication and query processing performance.
Minitrack: Electronic Customer Relationship Management
Authors: Susanne Glissmann, Lutz M. Kolbe, Nicholas C. Romano Jr., Jerry Fjermestad
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

Electronic Commerce (eCommerce, i.e. the execution of business processes using Internet technologies) continues to be a significant, pervasive issue for both enterprises and customers. Similarly, mobile commerce (mCommerce, i.e. the execution of business processes using mobile technologies) is gaining momentum again. Management of relationships between enterprises and customers has often been referred to as Customer Relationship Management (CRM). We define CRM as an interactive process that achieves an optimum balance between corporate investments and the satisfaction of customer needs to generate the maximum profit. Fundamentally CRM concerns attracting and keeping "economically valuable" customers and repelling and eliminating "economically invaluable" ones. The amount of information relevant in CRM processes can only be handled effectively when information technology is applied. Due to the lack of personal contact, CRM is of particular importance in eCommerce and mCommerce.
CarpeDiem: an algorithm for the fast evaluation of SSL classifiers
Authors: Roberto Esposito, Daniele P. Radicioni
Venue: Proceedings of the 24th international conference on Machine learning (2007)

In this paper we present a novel algorithm, CarpeDiem. It significantly improves on the time complexity of Viterbi algorithm, preserving the optimality of the result. This fact has consequences on Machine Learning systems that use Viterbi algorithm during learning or classification. We show how the algorithm applies to the Supervised Sequential Learning task and, in particular, to the HMPerceptron algorithm. We illustrate CarpeDiem in full details, and provide experimental results that support the proposed approach.
XML-driven Bitrate Adaptation of SVC Bitstreams
Authors: Tom Paridaens, Davy De Schrijver, Wesley De Neve, Rik Van de Walle
Venue: Proceedings of the Eight International Workshop on Image Analysis for Multimedia Interactive Services (2007)

Thanks to technological evolutions, the number of devices capable of playing video bitstreams is growing. The heterogenity in these devices grows in terms of screen resolution, processing power, and available band width. In this paper, we describe an MPEG-21 Bitstream Syntax Description Languagebased (BSDL-based) adaptation framework that allows providers to easily adapt scalable bitstreams without having to recode the original bitstream. We describe the steps necessary to adapt the bitstreams through BSDL. The main contribution of this paper is an optimized adaptation framework using a Bitstream Syntax Schema developed to minimize the size of the Bitstream Syntax Descriptions (BSDs). Furthermore, we created a Streaming Transformations for XML Stylesheet (STX-stylesheet) to exploit the advantages of Fine Grain Scalability, this to adapt the bitrate of Scalable Video Coding bitstreams in the most accurate way possible. Our results show that BSDL-based adaptation is able to compete with binary adaptation tools. The target bitrates can be reached within a margin of 2%, which is comparable to the reference software which uses binary adaptation.
Managing traffic with ALTQ
Authors: Kenjiro Cho
Venue: Proceedings of the annual conference on USENIX Annual Technical Conference (1999)

ALTQ is a package for traffic management. ALTQ includes a queueing framework and several advanced queueing disciplines such as CBQ, RED, WFQ and RIO. ALTQ also supports RSVP and diffserv. ALTQ can be configured in a variety of ways for both research and operation. However, it requires understanding of the technologies to set up things correctly. In this paper, I summarize the design trade-offs, the available technologies and their limitations, and how they can be applied to typical network settings.
Multi-robot formations: rule-based synthesis and stability analysis
Authors: Gaurav S. Sukhatme
Venue:  (2006)

This thesis addresses three aspects of the multi-robot formation problem. Our contributions are: a novel "bottom-up" approach to formation assembly, a formal model for describing the assembly coordination based on a sequence of graph transformations, and a set of control policies that eliminate string instability within a formation. Specifically, we present a decentralized approach to assembling and maintaining robot formations. Starting with a collection of single robots, our approach assembles platoons, or line segments of robots, followed by larger, more complex formations. Formation growth occurs by negotiation when robots are in close proximity and is governed by a set of simple rules based on a graph grammar. We formally define robot formations as directed graphs and define a rule-based graph grammar that describes the assembly coordination. Using this formalism we state and validate three hypotheses: First, given a desired formation there exists a set of rules which cause the formation to be created, Second, given such a set of rules, a controller for each robot can be designed which when executed on a set of robots will cause the robots to assemble in the proper formation, and third, this controller has the necessary stability properties for disturbance rejection. Experimental validation for these hypotheses is provided in simulation and in limited tests on physical non-holonomic robots.
Investigating the male-driven evolution hypothesis using human alu repeat elements
Authors: Travis E. Doom
Venue:  (2006)

Thousands of copies of short interspersed repeats (SINEs) are scattered essentially randomly through the human genome. Although copies of each repeat subfamily are identical at the time of their insertion, they become subject to individual substitutions after insertion. As the relative time of insertion is known for many of these repeats, such "junk DNA" can be used to provide a sizeable number of time-series data points for studying substitution effects in a variety of genomic contexts. This dissertation specifically discusses the usefulness of the Alu family of SINE repeats towards addressing open problems in genomics, population genetics, and biology in general. Alus and other repeat elements have been used successfully to approach many open questions in biology. However, a more complete analysis of the statistical properties of the repeats themselves is necessary to more fully categorize any confounding factors that must be considered when reporting repeat-based results. This dissertation provides a study of potentially confounding statistical properties underlying Alu repeats in various genomic contexts. The utility of this statistical approach to the use of repeat elements as time series data is illustrated by furthering investigations designed to elucidate the driving force behind evolution: environmental factors or replication error. Specifically, this dissertation addresses the degree of replication-based error by providing tighter statistical boundaries on the male-to-female mutation ratio, &alpha;, in humans. This goal is accomplished by performing a whole-genome analysis of substitutions in characterized Alu repeats. Existent mathematical models are used to provide a strict confidence bounds on the human &alpha;. Finally, this dissertation validates the elucidated value of &alpha; by performing a whole-genome analysis of replication-induced insertion and deletion events in characterized Alu repeats. This analysis provides a better characterized general mechanism for studying questions in human population genetics as well as a more accurate consideration of the specific genomic issues relevant to the driving force of evolution.
Exact ML estimation of spectroscopic parameters
Authors: P. Stoica
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 01 (2000)

In a paper on spectroscopic imaging Spielman et al. (1988) made the important point that apriori information about the compounds present can and should be incorporated into the estimation of spectroscopic signal parameters. They proposed using the maximum likelihood (ML) approach for parameter estimation, but failed to incorporate properly the full apriori information that was assumed to be available. Consequently they ended-up with a spectroscopic imaging method that is only a suboptimal approximation of the ML method. In this paper we derive the exact ML method, present a computationally efficient implementation of it and illustrate numerically the performance gain that can be achieved over the method of Spielman et al.
Watermarking polygonal lines using Fourier descriptors
Authors: V. Solachidis
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 04 (2000)

A method for watermarking of polygonal lines is proposed. The watermark is embedded in the Fourier descriptors of the polygonal line causing minor distortions to the coordinates of the vertices of the polygonal line. Watermarks generated by this technique can be successfully detected even after rotation, translation, scaling and reflection of the host polygonal line.
Privacy Rights Management for Privacy Compliance Systems
Authors: Ronggong Song, Larry Korba, George Yee
Venue: Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 01 (2007)

The worldwide growth of e-services has brought to the forefront the importance of citizen privacy management. Korba and Kenny proposed a privacy rights management system in order to support the privacy principles derived from EU Data Directive 95/46/EC of the European Parliament and the Council of 24 October 1995. In this paper, we extend their system by proposing a privacy rights management framework for entity modeling and expression. The proposed framework manages and monitors the use of personal information. In addition, it provides interoperable mechanisms to support privacy compliance systems.
Adaptive playout scheduling using time-scale modification in packet voice communications
Authors: Y. J. Liang
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 03 (2001)

A new receiver-based playout scheduling scheme is proposed, which estimates the network delay from past statistics and adaptively adjusts the playout time of the voice packets. In contrast to previous work, the adjustment is not only performed in between talkspurts, but also within the talkspurts in a highly dynamic way. Proper reconstruction of continuous output speech is achieved by scaling individual voice packets using a time-scale modification technique which modifies the rate of playout while preserving voice pitch. Subjective listening tests show that this operation does not impair the audio quality. Simulation results based on Internet measurement indicate that buffering delay and loss rate can be significantly reduced by adaptive scheduling.
Construction kit for microoptical systems on the basis of microoptical benches
Authors: I. Sieber, U. Gengenbach, A. Hofmann
Venue: Proceedings of the Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (2003)

Manufacturing test structures of microsensors and microactuators is very expensive in terms of time and materials. In a conventional design process, this limits the number of design variants to be considered. For this reason, computer-supported design techniques are gaining importance in microsystems technologies. In contrast to microelectronics which may be considered two-dimensional in first approximation, a number of microoptical systems extend over three dimensions. As a consequence, a monolithic setup of such systems is not possible, as this would give rise to topological and geometric problems. Another reason for the modular concept of complex microoptical systems is the lacking of a uniform material system (in contrast to microelectronics). The modular setup of these hybrid systems results in an isolated manufacture of the individual components and their later assembly in a single system. An important aspect of construction is to ensure a certain functionality of the combined system, which is closely linked with the geometry of the structure and the application conditions. To maintain the overall function of a microsystem under the given manufacturing conditions and application environments to be expected, the system design has to be checked for interactions and adjusted accordingly. Hence, simulation of microsystems as a function of performance-reducing impacts plays a crucial role. The concept presented in this paper is the computer-aided design of a modular system on the basis of a microoptical construction kit of reusable models of fundamental microoptical elements.
Proportional response dynamics leads to market equilibrium
Authors: Fang Wu, Li Zhang
Venue: Proceedings of the thirty-ninth annual ACM symposium on Theory of computing (2007)

One of the main reasons of the recent success of peer to peer (P2P)file sharing systems such as BitTorrent is their built-in tit-for-tat mechanism. In this paper, we model the bandwidth allocation in a P2P system as an exchange economy and study a tit-for-tat dynamics, namely the proportional response dynamics, in this economy. In aproportional response dynamics each player distributes its good to its neighbors proportional to the utility it received from them in thelast period. We show that this dynamics not only converges but converges to a market equilibrium, a standard economic characterization of efficient exchanges in a competitive market. In addition, for some classes of utility functions we consider, it converges much faster than the classical tat process and any existingalgorithms for computing market equilibria. As a part of our proof we study the double normalization of a matrix, an operation that linearly scales the rows of a matrix sothat each row sums to a prescribed positive number, followed by a similar scaling of the columns. We show that the iterative double normalization process of any non-negative matrix always converges. This complements the previous studies in matrix scaling that has focused on the convergence condition of the process when the row and column normalizations are considered as separate steps.