ppxscal/embedding_network huggingface dataset:
Theft of Information in the Take-Grant Protection Model
Authors: Matt Bishop
Venue:  (1988)

(Revised 5/90). Questions of information flow are in many ways more important than questions of access control, because the goal of many security policies is to thwart the unauthorized release of information, not merely the illicit obtaining of access rights to that information. The Take-Grant Protection Model is an excellent theoretical tool for examining such issues because conditions necessary and sufficienct for information to flow between tow objects, and for rights to object to be obtained or stolen, are known. In this paper we extend these results by examinig the question of information flow from an object the owner of which is unwilling to release that information. Necessary and sufficient conditions for such "theft of information" to occur are derived, and bounds on the number of subjects that must take action for the theft to occur are presented. To emphasize the usefulness of these results, the security policies of complete isolation,transfer of rights with the cooperation of an owner, and transfer of information (but not rights) with the cooperation of the owner are presented; the last is usedto model a simple reference monitor guarding a resource. 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 key-based coordination algorithm for dynamic readiness and repair service coordination
Authors: Tom Wagner, Valerie Guralnik, John Phelps
Venue: Proceedings of the second international joint conference on Autonomous agents and multiagent systems (2003)

This paper describes an agent application for the coordination of air-craft repair, refit, refuel, and rearm teams in a dynamic setting. The paper also presents a new algorithm for dynamic distributed service team coordination and compares its performance to an optimal cen-tralized service team scheduler.
Concurrent Scan Monitoring and Multi-Pattern Search
Authors: Jose Miguel Vieira dos Santos
Venue: Proceedings of the 6th IEEE International On-Line Testing Workshop (IOLTW) (2000)

Accompanying the needs of many critical applications of electronic devices, on-line tests are increasingly required. Non-intrusive concurrent scan monitoring is an easy-to-implement vector-based testing procedure, handicapped by two main factors: the interval for operating vectors to match test patterns and test-data to be stored. The paper presents an evolution of this testing technique. Besides decreasing the average latency interval up to three orders of magnitude, it also reduces the memory required for test-data and improves the on-line fault-coverage.
An integrated tool for structural design within an interactive virtual environment
Authors: R. A. Smith, W. M. K. Tizani, D. A. Nethercot
Venue: Proceedings of the sixth international conference on Application of artificial intelligence to civil & structural engineering (2001)

This paper shows how information technology can be used to provide structural designers with the appropriate tools to enable a more intuitive and efficient design process that takes into account the influence of areas outside of their specialisation. For the development of such a system, it is proposed that several technologies are implemented in the form of the "Virtual Building". This will provide an informed, visual and integrated working environment. The CIMsteel standards are used to form the basis of the object model - providing information regarding the steel structure itself - and then further expansions to this object model are proposed, to provide a full description of all relevant information to the steel structure giving due considerations to often overlooked elements. Virtual reality techniques have been used to provide as-built visualisation, immersion and inter-activity. This paper outlines the development of such a prototype system and some of the issues involved in its implementation as a working software model.
What''s Decidable About Hybrid Automata?
Authors: Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya
Venue:  (1995)

Hybrid automata model systems with both digital and analog components, such as embedded control programs. Many verification tasks for such programs can be expressed as reachability problems for hybrid automata. By improving on previous decidability and undecidability results, we identify the precise boundary between decidability and undecidability of the reachability problem for hybrid automata. On the positive side, we give an (optimal) PSPACE reachability algorithm for the case of initialized rectangular automata, where all analog variables follow trajectories within piecewise-linear envelopes and are reinitialized whenever the envelope changes. Our algorithm is based on the construction of a timed automaton that contains all reachability information about a given initialized rectangular automaton. The translation has practical significance for verification, because it guarantees the termination of symbolic procedures for the reachability analysis of initialized rectangular automata. The translation also preserves the $\omega$-languages of initialized rectangular automata with bounded nondeterminism. On the negative side, we show that several slight generalizations of initialized rectangular automata lead to an undecidable reachability problem. In particular, we prove that the reachability problem is undecidable for timed automata augmented with a single stopwatch.
New algorithms and techniques for well-synchronized audio and video streams communications
Authors: H. Kitamura
Venue: Proceedings of the 6th International Conference on Computer Communications and Networks (1997)

Due to the rapid progress of computer and network technologies, the environment for multimedia communications is being prepared day by day. This environment, however is not developed enough to realize well-synchronized high performance multimedia communications, because there are still problems that must be solved. To solve these problems, we propose new algorithms and techniques that have already been implemented and verified on a testbed system. We discuss the influence of human media perception and the control characteristics of audio and video devices on the synchronization mechanisms. We mainly discuss synchronization methods under resource critical situations. The methods are also extended to handle packet loss error recovery.
Neuralware engineering: develop verifiable ANN-based systems
Authors: Wu Wen, J. Callahan
Venue: Proceedings of the 1996 IEEE International Joint Symposia on Intelligence and Systems (1996)

Artificial neural networks (ANN) play an important part in developing intelligent robotic and autonomous systems; it relies on training to formulate the control mechanisms. When such ANN-based components are embedded in a larger system, their interactions become harder to analyze and model. Formal testing of such system for safety properties is extremely hard due to the lack of a complete system model. In this paper we propose the neuralware engineering framework to address the above issues. This framework is based on our experience with verifying and testing complex software systems. It is based on an iterative approach on specification, model checking, and testing. After the ANN-based system is designed and trained using an initial partial system model, a rule extraction algorithm is used to discover what has been learned. The discrepancies between the learned rules and the model is compared to modify the system model. This process is repeated until the behavior of the real system is validated against the model and specification.
New Mesh Generating Adapted to Parallel Systems: PVM Implementation Issue
Authors: Andrei Doncescu, Didier Puzenat
Venue: Proceedings of the 2000 International Workshop on Parallel Processing (2000)

This work relates to the study of three-dimensional objects covered with a formed grid of deformable uni-dimensional elements and valence 3. The advantages of this new type of grid are: the compression of information 3D for their transmission, the synthesis of objects 3D for their recognition as well as a tool adapted to the problems of measurement of deformation. The Wavelet Transformation allowed the study of this new grid for the analysis and the synthesis of images 3D at various levels of resolution. We present in this paper the different algorithms of subdivision and compression applied on this type of surfaces. All these algorithms could be parallelized due to the system of numbering of this type of meshes.
An Expert System for the Diagnostics of PLC Controlled Manufacturing Equipment
Authors: Michael J Rostosky
Venue:  (1992)

Although manufacturing productivity could benefit from the implementation of diagnostic expert systems, the costs of developing these systems prohibit their widespread application. A method to automatically generate rules from a PLC program and facts from a PLC data table is explored. The resulting prototype system supports the diagnostics of equipment hardware failures by allowing a technician to traverse an AND/OR tree derived from a problem hypothesis. The tree is pruned based on the relevance of the branch to problem diagnostics. 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
Hybrid Sequence Charts
Authors: Radu Grosu, Ingolf Krüger, Thomas Stauner
Venue: Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (2000)

We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC syntax to the application domain of hybrid systems. The semantics of HySCs is different from standard MSC semantics. Most notably, we use a shared variables communication model and assume the existence of a continuous, global clock. Similar to their classic counterpart HySCs can be advantageously used in the early phases of the software development process. In particular, in the requirements capture phase, they improve the dialog between customers and application experts. They complement existing formalisms like hybrid automata by focusing on the interaction between the system's components. We outline the key concepts and the usage of HySCs along an example, the specification of an electronic height control system. Then we define the formal semantics of their basic elements.
A Configurable Protocol Architecture for CORBA Environments
Authors: S. Crane, N. Dulay
Venue: Proceedings of the 3rd International Symposium on Autonomous Decentralized Systems (1997)

This paper describes a flexible architecture for building the protocols required to allow interaction between distributed objects in a CORBA environment. A key feature of the architecture is its ability to select the elements of a protocol stack dynamically at bind-time depending on the properties of the interface being accessed. This permits multiple object-invocation protocols to coexist such that a system may support local, intra-ORB and inter-ORB protocols and allows the selection of the most appropriate protocol at run-time. In addition, the architecture is capable of supporting "non-standard" interaction protocols such as multimedia streams. The paper outlines the architectural principles used and describes an efficient implementation of the CORBA Internet Inter-Orb Protocol.
Event Ordering Condition for Correct Executions in Shared-Memory Systems
Venue: Proceedings of the 1996 International Symposium on Parallel Architectures, Algorithms and Networks (1996)

In this paper, event order for correct executions in shared-memory systems is systematically investigated with the help of set theory. Starting from a proposed program model which abstracts the memory access characteristics of parallel programs, executions of sequential memory accesses, atomic memory accesses, and nonatomic memory accesses are studied. The necessary and sufficient condition for correct executions in write atomic and write nonatomic systems are presented and proved.
Non-linear spectral perturbation: A qualitative analysis
Authors: Valeria Simoncini
Venue:  (1997)

We are interested in the analysis of nonlinear perturbation effects in the spectrum of a real nonsymmetric matrix $A$ under linear perturbations. We discuss some known results and we use them to justify some recent experimental observations. The qualitative behavior of the eigenvalues of $A$ under large perturbations is not only predicted by inspecting the resolvent norm of $A$ but by also evaluating the spectral radius of a related matrix. We show how to numerically compute this radius for large matrices and how this information can be used to analyze the quality of the approximation of a projection method and to detect the presence of spurious approximate eigenvalues EMAIL:: ian@microian
Connection rerouting strategy applicable to various connection-oriented mobile communication networks
Authors: Minho Song, Yanghee Choi, Chongsang Kim
Venue: Proceedings of the 1996 International Conference on Parallel and Distributed Systems (1996)

To date, various connection rerouting methods for connection-oriented mobile network services have been proposed. The previous methods, however, are limited to specific topologies or environments. In this paper, we propose CI(Connection Information)-based rerouting widely applicable to various connection-oriented mobile networks. This method requires neither a specific topology nor a complex connection, guarantees fast rerouting, and takes a good trade-off between rerouting simplicity and route optimality. These features make the method adequate for general application to various connection-oriented mobile networks.
Epistemic operations and formalized epistemology: contribution to the study of the role of epistemic operations in scientific theories
Authors: Michel Paty
Venue: Quantum mechanics, mathematics, cognition and action: proposals for a formalized epistemology (2002)

We ponder the kind of problems and perspectives of a "formalized epistemology", by considering the advantages than one get from a concern with the "formal", with its structural orientation, that would favour comprehensive, unifying and synthetic, intelligibility. We confront this perspective with that of the changes in knowledge, considering the relation between form and meaning for knowledge contents, and examine the notion of "epistemic operation" as instrumental for creating new forms, at the theoretical and meta-theoretical levels. Actually, the notions of form, of formal and of object are not independent of the problem of a subject that decides on conventions and choices. "Epistemic operations" might suggest a link with "algorithmic functions" for knowledge statements, that themselves entail the risk of reductionism in a naturalistic conception of representation.
Towards Accurate and Efficient Volume Rendering
Authors: Kevin L. Novins
Venue:  (1993)

This thesis is concerned with improvements to algorithms for volume rendering; a technique that provides scientists with the means for visual exploration of three-dimensional data. Despite its numerous successes, and its increasing use within the scientific community, state-of-the-art volume rendering algorithms have many shortcomings. Difficulties include: ensuring the accuracy of the rendered images, producing images with modest computational resources, and rendering the diverse types of data that are currently being produced. The work in this thesis was motivated by the demands of an ongoing visualization project in four-dimensional cardiac visualization. We present solutions to some key problems in ensuring accuracy and in producing algorithms that can scale to handle large datasets. Although the theoretical work in this thesis applies to arbitrary data topologies, our implementations have assumed that the data is defined by sample points on a regular rectilinear grid. In the area of accuracy, we focus on the error that is introduced during volume projection. This phase of the volume rendering process involves the evaluation of the emission-absorption volume rendering line integral. This thesis presents four techniques for controlled precision volume integration. These schema depart from existing approaches in that they provide error bounds along with the solutions they generate. In each case, the error analysis leads to an algorithm for evaluating the integral to any specified tolerance. Our investigations into efficiency issues have resulted in two advances. First, an adaptive error bracketing scheme is presented that builds on the controlled precision volume integration methods. Using adaptive error bracketing, the solution for a viewing ray is continually refined until a user-specified error tolerance is met. The algorithm allows processing of the data without imposing a strict front-to-back or back-to-front evaluation order. Second, a suite of tools are presented that can be used to efficiently compute perspective projections of volume data. These include a paging strategy that is useful when a dataset is too large to fit into RAM memory and a ray splitting technique for adaptive supersampling. The latter technique ensures that all data features contribute to the final image while avoiding overcomputation in regions close to the eyepoint.
Enhancing Replica Management Services to Tolerate Group Failures
Authors: Paul D. Ezhilchelvan, Santosh K. Shrivastava
Venue: Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (1999)

In a distributed system, replication of components, such as objects, is a well known way of achieving availability. For increased availability, crashed and disconnected components must be replaced by new components on available spare nodes.In this context, we address the problem of reconfiguring a group after the group as an entity has failed. Such a failure is termed a group failure which, for example, can be the crash of every component in the group or the group being partitioned into minority islands.The solution assumes crash-proof storage, and eventual recovery of crashed nodes and healing of partitions. It guarantees that (i) the number of groups reconfigured after a group failure is never more than one, and (ii) the reconfigured group contains a majority of the components which were members just before the group failed, so that the loss of state information due to group failure is minimal.The protocol is efficient in terms of communication rounds and use of stable store, during both normal operations and reconfiguration after a group failure.
A New Construction of the Irreducible Polynomial for parallel multiplier over GF(2m)
Authors: Jong-Hak Hwang, kyung-Jae Moon, Seung-Yong Park, Heung-Soo Kim
Venue: Proceedings of the 33rd International Symposium on Multiple-Valued Logic (2003)

This paper presents the construction algorithmof the irreducible polynomial which needs to multiply overGF(2m) and the flow chart representing the proposedalgorithm has been proposed. And also, we get the degreefrom the value of xm+k formation to the value of k = 7 usingthe proposed flow chart. The multiplier circuit has beenimplemented by using the proposed irreducible polynomialgeneration(IPG) algorithm in this paper, and we comparedthe proposed circuit with the conventional one. In the caseof k = 7, one AND gate and five Ex-or gates are needed asthe delay time for the irreducible polynomial in theproposed algorithm, but seven AND gates and seven Ex-orgates in the conventional one. As a result, the proposedalgorithm shows the improved performance on the delaytime.
An Integrated Environment for the Complete Development Cycle of an Object-Oriented Distributed Real-Time System
Authors: C. E. Pereira, L. B. Becker, M. Gergeleit, E. Nett
Venue: Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (1999)

This paper describes a powerful integrated development environment that covers all steps of the development of an object-oriented real-time application from initial design to the final evaluation. The system consists of a set of integrated tools for modeling, simulation, implementation, instrumentation, monitoring, and visualization that all work on the same oo system model. As all steps of creating a running implementation with visualized monitoring output from the design model are automatic, the environment encourages an iterative approach to the design of complex real-time control applications. This complete environment has been accomplished by integrating the SIMOO-RT modeling, simulation and implementation environment, developed at the Federal University of Rio Grande do Sul, with the Jewel++ object-oriented instrumentation and monitoring tool from GMD, St. Augustin, Germany. The work has been done in the context of the ADOORATA project (A Distributed Object- Oriented Architecture for Real-Time Automation), a Brazilian-German cooperation.
Extracting library-based Java applications
Authors: Frank Tip, Peter F. Sweeney, Chris Laffra
Venue: Communications of the ACM (2003)

Reducing the size of Java applications by creating an application extractor.
Cisco Networking Academy Program: Fundamentals of Voice and Data Cabling Engineering Journal and Workbook
Venue:  (2003)

:The official Engineering Journal and Workbook of the Cisco Networking Academy Program's Fundamentals of Voice and Data Cabling Course.Maps to the most current Web-based Fundamentals of Voice and Data Cabling coursePrepares students for the BICSI Registered Installer, Level I examReinforces learned concepts through hands-on exercisesThe Fundamentals of Voice and Data Cabling Engineering Journal and Workbook complements both the online course and the Companion Guide from Cisco Press. The Panduit-sponsored course and companion materials provide an introduction to the physical aspects of voice and data network cabling and installation. The review questions and exercises focus on cabling issues related to data and voice connections to provide an understanding of the industry and its worldwide standards, types of media and cabling, physical and logical networks, and signal transmission. This workbook will help students learn how to do the following: read network design documentation, set up part lists and purchase components, pull and mount cable, choose wiring closets, install jacks, and perform cable testing. It will also help develop skills in documentation, design, cable management, and troubleshooting installation issues. The hands-on approach and comprehensive coverage of topics in the Engineering Journal and Workbook will be part of a unique learning package to help students prepare for the BICSI Registered Installer, Level 1 exam. 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