ppxscal/embedding_network huggingface dataset:
Aspects of network security for VoIP solutions using IMS core network and Wi-Fi access
Authors: Ruth S. Gayde, Stinson S. Mathai, Kevin Wang
Venue: Bell Labs Technical Journal (2007)

A network providing Voice over Internet Protocol (VoIP) service requires many network elements. Each network element may have its own set of security capabilities, but not all security capabilities on all network elements are necessary at the same time for a given network configuration. An end-to-end network view is necessary to choose appropriate security capabilities while minimizing network overhead. For VoIP, using an IP Multimedia Subsystem (IMS) core network and wireless fidelity (Wi-Fi*) access, the service provider can offer the feature functionality of the core network to both enterprise and residential customers simultaneously. However, both market segments provide their own set of unique security challenges, and what is appropriate for one market segment is not necessarily appropriate for the other. This paper explores various security implications for both of these market segments and proposes options for securing each network configuration. Security aspects of the control plane, bearer plane, and management plane are considered. &copy; 2007 Alcatel-Lucent.
Anatomy of a Small Pascal Compiler
Authors: P. Schulthess
Venue: IEEE Transactions on Software Engineering (1983)

An exceptionally compact Pascal Compiler was written. We explain how.
Using neuro-fuzzy methodology in cache memory design
Authors: H. Diab, R. Abdul-Samad, J. J. Saade, F. Mrad
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (2000)

Today cache memory is integrated into the design of all state-of-the-art computer systems. Their performance evaluation is gaining a lot of attention, because it significantly affects the performance of the entire computer system. Fuzzy logic, which has proven to be a very powerful and efficient way of tackling problems in many engineering areas is used in this paper to provide a novel simulation methodology for the evaluation of cache memory performance. This methodology can be used during the preliminary stages of cache memory design, to overcome the disadvantages of conventional methods. Advantages of fuzzy logic are used to provide a more simple, reliable and cost effective approach for cache memory performance evaluation, compared to conventional methods like trace driven simulation and hardware monitoring. Many complex approximations and time consuming testing of existing systems are thus avoided. The designer can study the effect of changing different design parameters of cache memory and investigate their effect on the miss ratio.
Workshop Report: Split Rock Workshop on Computer Packaging
Authors: T. J. Matcovitch
Venue: Computer (1975)

On May 22-24, 1974, the Computer Society's Technical Committee on Packaging held its biannual workshop. Attendance was 55 from an invited list of about 70 consisting of the active members of the Computer Packaging Committee and the invited speaker attendees. Held this year at Split Rock Lodge in Lake Harmony, Pennsylvania, the workshop customarily has five sessions: one at the chip-to-package interface, one aimed at the hybrid circuit interconnection level, one at the computer backplane and cabinet wiring level, one of general interest to the manufacturing technology that cuts across all types of computer manufacturing apparatus,and a fifth that is especially chosen for each conference as an item of importance or special interest that is not covered by any other session. 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 Control Method of a P2P Network with Small Degree and Diameter
Authors: Yusuke Sasaki, Hiroyoshi Miwa
Venue: Proceedings of the 7th International Conference on Hybrid Intelligent Systems (2007)

In this paper, we propose a control method of a P2P network based on a DHT with its maximum degree 4 for routing and its diameter "log2 n" where n is the number of nodes. In previous methods, the maximum degree or the diameter is only probabilistically bounded. As the degree of a vertex is the number of the neighbor nodes, a node with a large degree suffers high load to transfer many queries. Even if the average degree is bounded, the loads of some nodes with large degrees are exponentially high. As the diameter of a network is the worst distance, a large diameter causes bad response time. Even if the average diameter is bounded, the performance between two nodes apart from each other is always bad. Therefore, it is important that the degrees and the diameter are always small. We show that the proposed method has this good property.
An Analytic and Experimental Study of Multiple Channel Controllers
Authors: A. J. Smith
Venue: IEEE Transactions on Computers (1979)

A multiple channel controller (MCC) is a controller which switches a given number of channels among a larger number of input/output devices and permits simultaneous access to as many devices as there are channels available. A simple queuing model for multiple channel controllers is created, and an approximate solution for this model is generated. The approximate solution is found, using simulation, to be very close for those cases examined to the actual behavior of the model. Further simulations indicate that the approximate solution of the model appears to be robust with respect to changes in some of the assumptions used in making the approximation. Trace data taken from a real system are analyzed and they confirm the predicted utility of MCC's. The problem of optimal scheduling of MCC's is briefly discussed. Alternative system configurations are compared with the objective of minimizing queuing delays.
Structuring Distributed Systems for Recoverability and Crash Resistance
Authors: S. K. Shrivastava
Venue: IEEE Transactions on Software Engineering (1981)

An object-oriented multilevel model of computation is used to discuss recoverability and crash resistance issues in distributed systems. Of particular importance are the issues that are raised when recoverability and crash resistance properties are desired from objects whose concrete representations are distributed over several nodes. The execution of a program at a node of the system can give rise to a hierarchy of processes executing various parts of the program at different nodes. Recoverability and crash resistance properties are needed to ensure that such a group of processes leave the system state consistent despite faults in the system.
Abstract Data Type Specification in the Affirm System
Authors: D. R. Musser
Venue: IEEE Transactions on Software Engineering (1980)

This paper describes the data type definition facilities of the AFFIRM system for program specification and verification. Following an overview of the system, we review the rewrite rule concepts that form the theoretical basis for its data type facilities. The main emphasis is on methods of ensuring convergence (finite and unique termination) of sets of rewrite rules and on the relation of this property to the equational and inductive proof theories of data types.
Formal Aspects of Serializability in Database Concurrency Control
Authors: P. A. Bernstein
Venue: IEEE Transactions on Software Engineering (1979)

An arbitrary interleaved execution of transactions in a database system can lead to an inconsistent database state. A number of synchronization mechanisms have been proposed to prevent such spurious behavior. To gain insight into these mechanisms, we analyze them in a simple centralized system that permits one read operation and one write operation per transaction. We show why locking mechanisms lead to correct operation, we show that two proposed mechanisms for distributed environments are special cases of locking, and we present a new version of lockdng that alows more concurrency than past methods. We also examine conflict graph analysis, the method used in the SDD-1 distributed database system, we prove its correctness, and we show that it can be used to substantially improve the performance of almost any synchronization mechanisn.
Organic Computing for Video Analysis
Authors: Rolf P. Wurtz
Venue: Proceedings of the 7th International Conference on Hybrid Intelligent Systems (2007)

Information technology (IT) is plagued with the rapidly increasing complexity of systems to be deployed. In the world of living beings on the other hand, it can be observed that extremely complex systems function in a robust, faulttolerant, flexible, adaptive, self-organizing way, and apparently goal-directed way [21]. It is therefore intriguing to identify strategies by means of which these properties are achieved by living systems. This "Learning from Nature" is the founding idea of Organic Computing. Earlier IT applications include Neural Networks and Evolutionary Computation. The current interest in Organic Computing is also sustained by a notion of "Organic" which relates to the user rather than the developer. In that aspect, Organic Computing requires that the interface between the IT system and the user be organic, intelligible, and friendly. This again imposes constraints on the user interfaces, which can only be partly fulfilled by current technology.
Sin in cyber-eden: understanding the metaphysics and morals of virtual worlds
Authors: Ashley John Craft
Venue: Ethics and Information Technology (2007)

This article uses a notorious incident within the computer program EVE Online to exemplify and facilitate discussion of the metaphysics of virtual worlds and the morality of user behavior. The first section examines various frameworks used to understand virtual worlds, and emphasizes those which recognize virtual worlds as legal contracts, as representational worlds, and as media for communication. The second section draws on these frameworks to analyze issues of virtual theft and virtual betrayal arising in the EVE incident. The article concludes by arguing that, in the absence of countervailing contractual obligations, users of virtual worlds have the same de facto duties to each other as they do in mediated and real environments.
A Fault Diagnosis Method to Hydraulic Tube Tester Production Process
Authors: Shu Wang, Xuefa Hu, Dakuo He, Fuli Wang
Venue: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 04 (2007)

The hydraulic tube tester process can be characterized as a data-rich process as it can generate a large number of process measurements on many variables in short time. A data mining based multiway independent component analysis and multiway fisher discriminant analysis (MICA-FDA) method is developed for fault diagnosis for the hydraulic tube tester process, where MICA models are derived to find the underlying components from normal process data, and then MFDA models are built for fault diagnosis from the various known fault data. The proposed method is applied to a hydraulic tube tester production process. Results of simulation clearly demonstrate the effectiveness and feasibility of the proposed method.
Contrasting the Contrast Sets: An Alternative Approach
Authors: Amit Satsangi, Osmar R. Zaiane
Venue: Proceedings of the 11th International Database Engineering and Applications Symposium (2007)

The need to identify significant differences between contrasting groups or classes is ubiquitous and thus was the focus of many statisticians and data miners. Contrast sets, conjunctions of attribute-value pairs significantly more frequent in one group than another, were proposed to describe such differences, which lead to the introduction of a new data mining technique - contrast-set mining. A number of attempts have been made in this regard by various authors; however, no clear picture seems to have emerged. In this paper, we try to address the problem of finding meaningful contrast sets by using Association Rule based analysis. We present the results for our experiments for interesting contrast sets and compare these results with those obtained from the well-known algorithm for contrast sets-STUCCO.
The critter: a leather and felt interface for open-ended interaction
Authors: Hannah Regier
Venue: Proceedings of the 2007 conference on Designing pleasurable products and interfaces (2007)

Leather and felt, as tangible interface materials, foster a unique user experience of empathy, heightened curiosity and intuitive communication. Demonstrated by way of a hand held device---the Critter---made of felt and leather, this work develops a language of tactile and visual communication based on the materials and form. By focusing on the relationship between the user and the object, the Critter becomes a foundation for open-ended interaction and user-defined functionality.
Fuzzy matrix games via a fuzzy relation approach
Authors: V. Vijay, A. Mehra, S. Chandra, C. R. Bector
Venue: Fuzzy Optimization and Decision Making (2007)

A generalized model for a two person zero sum matrix game with fuzzy goals and fuzzy payoffs via fuzzy relation approach is introduced, and it is shown to be equivalent to two semi-infinite optimization problems. Further, in certain special cases, it is observed that the two semi-infinite optimization problems reduce to (finite) linear programming problems which are dual to each other either in the fuzzy sense or in the crisp sense.
A General-Purpose Macro Processor as a Poor Man's Compiler-Compiler
Authors: A. S. Tanenbaum
Venue: IEEE Transactions on Software Engineering (1976)

A method for quickly producing compilers for high level languages is described. The technique consists of feeding a description of the language to be translated to a general-purpose macro processor. Used in this way, the macro processor functions as a compiler-compiler, providing automatic parsing, lexical scanning, symbol table operations, and handling of syntactic errors. A complete syntactic and semantic description of a WHILE statement (except for Boolean expression processing) is given in only seven lines, as an example. A system programming language implemented by this method is discussed in order to illustrate the main ideas. The compiler produced for this language is compared to other compilers produced by conventional methods.
Mind the gap!: Transcending the tunnel view on ontology engineering
Authors: Pieter De Leenheer, Stijn Christiaens
Venue: Proceedings of the 2nd international conference on Pragmatic web (2007)

The key objective of communal knowledge sharing at the scale of the World Wide Web is the ability to collaborate and integrate within and between communities. Ontologies, being formal, computer-based specifications of shared conceptualisations of the worlds under discussion, are instrumental in this process by providing shared semantic resources. To this end, the pragmatic aspects of the exchange of knowledge and information are crucial. Pragmatics represent the intentions, motivations and methodologies of the persons involved and need to become formalised and unambiguous for effective exchange to occur. On the one hand, this is something that humans manage fluently in their daily face-to-face social discourses. On the other hand, as contemporary knowledge engineering methods consider only the non-human system parts, they usually focus on mere syntactic aspects of concept modelling. The elicitation (semantics) and application (pragmatics) context are often weak or even ignored. This paper aims to bridge this gap between "reality" and its modelling concepts by (i) transcending knowledge engineering methods to a semiotics view on contextualised communal knowledge engineering and sharing; and (ii) by presenting the DOGMA ontology framework and how it provides extension points to this semiotics engineering.
Formation and Maintenance of Spatial Polymorphism Induced by Niche Construction
Authors: Xiaozhuo Han, Cang Hui, Yanyu Zhang
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 03 (2007)

Niche construction, a term referring to the modification of their environments by any organism, can profoundly influence the genetic structure and evolutionary dynamics of population. In the paper, we established a 2D individual-based lattice model of niche construction with probabilistic transition rule to explore the typical spatial distribution and evolutional dynamics of polymorphism, environmental resource and genotype frequency. The effect of extinction on polymorphism was also discussed. In simulation, the model presents random, aggregative and uniform distribution patterns of different genotypes. Compared with the results in the present/absent of niche construction, it is an active force for polymorphism if without heterozygote superiority. The positive feedback between genotype and environmental resource contributes population to fit the environment better by the self-regulation of different genotypes and when the external force changes the environment, even altering the direction of niche construction. Niche construction results in the spatial heterogeneity of environmental resource, which is an ecological imprint of organism on environment and a foundation of polymorphic formation. With habitat deterioration, niche construction accelerates the formation of steady polymorphism and impedes the harmful influence of environment on the population, which embody a life-history strategy of organism under unfavorable environment. These results suggest that niche construction can lead to the coexistence with alterative polymorphism through genotype-environment feedback.
Towards a pattern language approach to establishing personal authoring environments in e-learning
Authors: Chien-Tsun Chen, Yu Chin Cheng, Chin-Yun Hsieh
Venue: Proceedings of the sixth conference on IASTED International Conference Web-Based Education - Volume 2 (2007)

Establishing a suitable environment for multimedia course production is important for e-learning authors. Such an environment includes two primary components: an authoring station for preparing the artifacts and a physical workplace where authoring takes place. The establishment of the environment is a non-trivial task because it involves several disciplines such as IT, pedagogy, and human-computer interaction. Inspired by Christopher Alexander's work on pattern languages, this paper proposes a pattern language for establishing personal authoring environments in e-learning. The pattern language takes the end-user perspective and can be applied by people with interests in creating a personal authoring environment for producing quality e-learning contents. Its use is illustrated with an example.
Automatic determination of ligand purity and apparent dissociation constant (Kapp) in Ca2+/Mg2+ buffer solutions and the Kapp for Ca2+/Mg2+ anion binding in physiological solutions from Ca2+/Mg2+-macroelectrode measurements
Authors: James W. Kay, Rachel J. Steven, John A. S. McGuigan, Hugh Y. Elder
Venue: Computers in Biology and Medicine (2008)

Calibration of Ca^2^+/Mg^2^+ macroelectrodes and flurochromes in the nmolar and @mmolar range, respectively, require the use of buffer solutions. In these buffers the apparent dissociation constant (K"a"p"p) has to be measured since calculation based on tabulated constants gives variable results. The ligand concentration [Ligand]"T has also to be estimated. The most accurate and general method for measuring both is the ligand optimisation method based on macroelectrode potential measurements, but this iterative method is time consuming, thus limiting its application. This paper describes an automatic program based on the method, which on entering the measured macroelectrode data calculates K"a"p"p, [Ligand]"T and the ionised concentration [X^2^+] within minutes. This optimisation method cannot be used at K"a"p"p values greater than 0.1mM, but can be extended into this region if the anion concentration is known. The program has been modified to cover this eventuality. Ca^2^+/Mg^2^+ macroelectrodes in conjunction with these programs offer an accurate, routine method for determining K"a"p"p and [Ligand]"T in buffer solutions at the appropriate ionic strength, temperature and pH and the K"a"p"p for divalent cations binding to physiological anions under experimental conditions.
CEGMA
Authors: Genis Parra, Keith Bradnam, Ian Korf
Venue: Bioinformatics (2007)

Motivation: The numbers of finished and ongoing genome projects are increasing at a rapid rate, and providing the catalog of genes for these new genomes is a key challenge. Obtaining a set of well-characterized genes is a basic requirement in the initial steps of any genome annotation process. An accurate set of genes is needed in order to learn about species-specific properties, to train gene-finding programs, and to validate automatic predictions. Unfortunately, many new genome projects lack comprehensive experimental data to derive a reliable initial set of genes. Results: In this study, we report a computational method, CEGMA (Core Eukaryotic Genes Mapping Approach), for building a highly reliable set of gene annotations in the absence of experimental data. We define a set of conserved protein families that occur in a wide range of eukaryotes, and present a mapping procedure that accurately identifies their exon–intron structures in a novel genomic sequence. CEGMA includes the use of profile-hidden Markov models to ensure the reliability of the gene structures. Our procedure allows one to build an initial set of reliable gene annotations in potentially any eukaryotic genome, even those in draft stages. Availability: Software and data sets are available online at http://korflab.ucdavis.edu/Datasets. Contact: ifkorf@ucdavis.edu Supplementary information: Supplementary data are available at Bioinformatics online.
On effect algebras of fuzzy sets
Authors: Martin Pap&#x010d;o
Venue: Soft Computing - A Fusion of Foundations, Methodologies and Applications (2007)

We introduce the category IE of effect algebras of fuzzy sets and sequentially continuous effect homomorphisms and describe its fundamental properties. We show that IE and the category ID of D-posets of fuzzy sets are isomorphic, hence the constructions and properties of ID related to applications to probability theory are valid for the corresponding effect algebras. We describe basic properties of categorical coproducts in ID and dually of categorical products in the corresponding category MID of measurable spaces. We end with remarks on fuzzy probability notions.
Fireflies as role models for synchronization in ad hoc networks
Authors: Alexander Tyrrell, Gunther Auer, Christian Bettstetter
Venue: Proceedings of the 1st international conference on Bio inspired models of network, information and computing systems (2006)

Fireflies exhibit a fascinating phenomenon of spontaneous synchronization that occurs in nature: at dawn, they gather on trees and synchronize progressively without relying on a central entity. The present article reviews this process by looking at experiments that were made on fireflies and the mathematical model of Mirollo and Strogatz [1], which provides key rules to obtaining a synchronized network in a decentralized manner. This model is then applied to wireless ad hoc networks. To properly apply this model with an accuracy limited only to the propagation delay, a novel synchronization scheme, which is derived from the original firefly synchronization principle, is presented, and simulation results are given.
Towards Automatic Auditing of Records
Authors: R. C. T. Lee
Venue: IEEE Transactions on Software Engineering (1978)

We computer scientists face at least two problems in promoting the use of computerized data-base systems: 1) some important data might be missing; 2) there might be errors in the data. Both of these problems can be quite serious. If they cannot be solved, it will be quite hard to convince potential users that computerized information systems are useful.