ppxscal/embedding_network huggingface dataset:
A concurrent program debugging environment using real-time replay
Authors: Eui Hyun Paik, Y. S. Chung, Byung-Sun Lee, Chae Woo Yoo
Venue: Proceedings of the 1997 International Conference on Parallel and Distributed Systems (1997)

A common debugging strategy involves re-execution of a program (on a given input) over and over, each time gaining more information about bugs. Such techniques can fail in concurrent programs. Because of variations in message latencies and process scheduling, different runs on the given input may produce different results. This non-repeatability rules out the reproduction of errors which is the cornerstone of conventional debugging techniques. So, guaranteeing reproducibility is major issue in the concurrent program debugging. This paper discusses the design and implementation of a concurrent program debugging environment which replays the error-occurred execution and debugs the errors using a recorded event history file and input data.
Summary Report on Enterprise Security Workshop
Authors: David P. Gilliam
Venue: Proceedings of the 11th IEEE International Workshops on Enabling Technologies: nfrastructure for Collaborative Enterprises (2002)

This report summarizes the presentations of the 7th IEEE Workshops on enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2002), Enterprise Security (ES) Workshop.The ES Workshop had 13 papers, 2 poster papers and 1 specialty paper presented. The topics covered the following: Anonymity and Cryptography, Authentication and Access Control, Communication Security, Intrusion Detection, and Software and Network Security.Professor Jeannette Wing of Carnegie Mellon University, gave the Plenary Address on the topic of "Vulnerability Analysis of Networked Systems." At the joint WETICE session, the ES Workshop Summary Report was presented describing the activities and discussions.
LAVA: Secure Delegation of Mobile Applets: Design, Implementation, and Applications
Authors: Jatin N. Hansoty, Mladen A. Vouk, S. Felix Wu
Venue: Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises (1997)

Abstract: Mobile agents are tasks or processes which can be autonomously delegated or transferred from one network node to another: This distributed computing paradigm is modern and powerful. Many network-based applications have been developed or designed under this model. The application areas include, for example, intelligent agent, network and system management, web-based mobile applets, electronic commerce and more recently, active networking. While offering a new attractive paradigm over the Internet, this mobile agent technology introduces significant new security threats. For example, a malicious agent with certain access rights might be able to destroy critical information on the nodes it visits. LAVA is a proposed architecture to facilitate secure delegation of executable code. In this paper we present this architecture, its design, and our prototype implementation. One SNMP network management application has been developed on top of the LAVA prototype.
A Universal Messaging Service for Users and Groups
Authors: Fredrik Wilhelmsen
Venue: Proceedings of the 22nd International Conference on Distributed Computing Systems (2002)

Communication is the basis of all cooperation. Messaging is an important form of communication. A universal messaging service (UMS) developed by Telenor Mobil is presented. Features and architecture for UMS are presented. Possible development directionsfor UMS are discussed, including more sophisticated support for groups and group awareness. 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
Optimal broadcast in /spl alpha/-port wormhole-routed mesh networks
Authors: Sang Kyu Lee, Ju-Young Lee Park
Venue: Proceedings of the 1997 International Conference on Parallel and Distributed Systems (1997)

We consider the problem of broadcasting in 2- and 3-dimensional mesh networks with the wormhole-routing capability. Our model assumes that each node is capable of communicating with /spl alpha/ nodes simultaneously where /spl alpha/ is a given integer with 1/spl les//spl alpha//spl les/4 for 2-dimensional meshes and 1/spl les//spl alpha//spl les/6 for 3-dimensional meshes. We give broadcasting algorithms that use optimal number of phases (if each side of the mesh is (/spl alpha/+1)/sup +/) or at most optimal number plus two phases (otherwise). Our algorithms require the predetermined location of the source node and this assumption can be relaxed by allowing one additional initial phase.
Server-Assisted Generation of a Strong Secret from a Password
Authors: Warwick Ford, Burton S. Kaliski,  Jr.
Venue: Proceedings of the 9th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (2000)

A roaming user, who accesses a network from different client terminals, can be supported by a credentials server that authenticates the user by password then assists in launching a secure environment for the user. However, traditional credentials server designs are vulnerable to exhaustive password guessing attack at the server. We describe a new credentials server model and supporting protocol that overcomes that deficiency. The protocol provides for securely generating a strong secret from a weak secret (password), based on communications exchanges with two or more independent servers. The result can be leveraged in various ways, for example, the strong secret can be used to decrypt an encrypted private key or it can be used in strongly authenticating to an application server. The protocol has the properties that a would-be attacker cannot feasibly compute the strong secret and has only a limited opportunity to guess the password, even if he or she has access to all messages and has control over some, but not all, of the servers.
A Fault Tolerant Protocol As an Extension to a Distributed Mutual Exclusion Algorithm
Authors: Vinaya Revannaswamy, P. C. P. Bhatt
Venue: Proceedings of the 1997 International Conference on Parallel and Distributed Systems (1997)

In this paper, we present an extension to Kerry Raymond's [1] tree based distributed mutual exclusion algorithm to make it fault tolerant. The algorithm uses a spanning tree of a computer network. With N nodes in the network the number of messages exchanged per critical section entry is typically O(log N). The novelty of the algorithm lies in each node holding information only about its immediate neighbors in the spanning tree.We basically present a protocol to make the algorithm tolerant to single node/link failure and associated network partition. This protocol assumes that the graph of the underlying network is biconnected. Basically we attempt reconfiguration of the tree after isolating the failed components. With this enhancement a significant number of cases in which the algorithm would have halted due to lack of communication paths, can be effectively handled by utilizing alternative communication paths now available, thus continuing to provide the mutual exclusion service.
Discover Relaxed Periodicity in Temporal Databases
Authors: Changjie Tang, Zhonghua Yu, Tianqing Zhang
Venue: Proceedings of the Sixth International Conference on Database Systems for Advanced Applications (1999)

The Relaxed-Periodicity Pattern describes loose-cyclic behavior of objects while allowing uneven stretch or shrink on time axis, limited noises, and inflation /deflation of attribute values. To discover Relaxed-Periodicity from Temporal Databases, we propose the concepts of Attribute Trend, Trend Inertia, Peak-Valley Pattern, Inertia Algorithm with Anti-noise ability, as well as the Peak-Valley Algorithm, and show that the implementation prototype is efficient.
Media allocation methods to improve multimedia query and access reliability
Authors: Deng-Jyi Chen, Ching-Yun Lee, Hui-Chieh Huang
Venue: Proceedings of the 1997 International Conference on Parallel and Distributed Systems (1997)

Distributed Multimedia Database Systems (DMDB) have gained in popularity for today's database system design due to their fault-tolerance, resource-sharing capacity, and reliable performance. Reliability performance is an important issue in DMDB design. The reliability of a DMDB depends on the reliability of its communication links and nodes as well as the distribution of its resources, such as various media. The distribution of media is an important factor that affects the multimedia query and access reliability (MQAR). The reliability-oriented media assignment problem is to find a media distribution such that the MQAR is maximal. In this paper, we attempt to develop a reliability model and algorithms to achieve reliability-oriented media allocation.
E-Commerce through Wireless Devices
Authors: Zakaria Maamar, Wathiq Mansoor, Hamdi Yahyaoui
Venue: Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (2001)

The purpose of this paper is to present the E-Commerce through Wireless dEvices (E-CWE) project. This project aims at investigating techniques and offering solutions that could support stationary and mobile users in wireless secure e-commerce environments. In addition, verifying and demonstrating the suitability of software agents in these environments are discussed in this paper.
Active Hypertext for Distributed Web Applications
Authors: Eckhart Köppen, Gustaf Neumann
Venue: Proceedings of the 8th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises (1999)

The prevailing architecture for web-based applications relies on HTML, HTTP and loosely integrated functional elements, propagating a strong distinction between client and server. The proposed approach for active hypertext documents however realizes applications through hypertext documents with embedded application logic. Furthermore, the need for separating the approach into a model, a development method and supporting tools is identified. The core model is based on open standards such as XML and CSS. It is extended by idioms which describe important concepts and reusable constructs. Examples for the application of the model are given.
Bringing People Together-An Infrastructure for Shared Virtual Worlds on the Internet
Authors: Wolfgang Broll
Venue: Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises (1997)

VRML (the Virtual Reality Modeling Language) has brought 3D objects and virtual worlds to a large number of Internet users. While it provides a suitable basis for the platform independent description of virtual worlds, an appropriate network architecture required to realize shared virtual worlds on the Internet is still an open issue. In this paper we will review some basic network architectures for networked VR and introduce DWTP (the Distributed Worlds Transfer and communication Protocol). DWTP is an application layer protocol for shared virtual environments on the Internet. It provides a scalable network architecture for large-scale distributed virtual worlds. We will show how it is used within our current prototype to realize a distributed multi-user virtual environment.
Agent-Based Digital Libraries: Driving the Information Economy
Authors: David Derbyshire, Innes A. Ferguson, Jörg P. Müller, Markus Pischel, Michael Wooldridge
Venue: Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises (1997)

Abstract: Exploiting the enormous potential of the Internet will require distributed, scaleable, self-optimising software tools that are capable of pro-actively adapting their behaviour to meet the requirements of users with differing skills, interests, and objectives. We argue that an appropriate framework for building such software tools is that of an information economy, in which computational agents carry out the roles of information producer consumer and broker. We further argue that the emerging technology of intelligent agents and multi-agent systems provides the technological foundation upon which to implement such information economies, and provide the rich personalised information retrieval, management, and sharing services required to exploit the Internet. We illustrate our argument by describing, as a case study, the Zuno Digital Library (ZUNODL), a commercial framework for building commercial digital libraries.
Distance Skill Learning with Special Attention Paid to the Nonverbal Aspect
Authors: Shuichi Fukuda, Yoshifusa Matsuura
Venue: Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises (1997)

Abstract: Nonverbal communication plays a very important role especially in the Asian countries. But most of the conventional systems developed so far are oriented toward verbal or text based communications and even if they permit tranfer of motional images, it is still very difficult for a teacher and a student to share the perspective and points of focus because motional images are not well structured and codified. The nonverbal communication is very important, too, in that it is closely associated with manufacturing. The importance of motional skill in manufacturing cannot be overemphasized. For example, if we consider assembly or other manufacturing processes, and wish to integrate them with design, the intelligent coding of these processes is a prerequisite. We developed a prototype system with an illustrative example of skill learning penmanship. The motion or movement of a student's pen is checked against the standard motion data of a teacher in terms of the tip location and tilt of a pen by measuring these data in 3 D using Fastrk and warnings and guidance are given in the form of sounds. The experiments show the effectiveness of the approach, although there are still many problems to be solved in the future. We also developed a client/server system to fully utilize the advantage of the present approach.
On the Implementation of a Stand-Alone Java(tm) Bytecode Verifier
Authors: Frédéric Painchaud, Mourad Debbabi
Venue: Proceedings of the 9th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (2000)

A member of our research team has already produced a well-organized, clear, technical and complete specification of the Java Bytecode Verifier. We are now using this specification to implement a stand-alone version of the Verifier that totally complies with Sun's specification. We are also integrating static checks that are currently absent from their implementation. In this paper, we share our experience on that development work. As an introduction, we depict the main goals of the Verifier, followed by an overview of its verification process. We then present the major steps that we followed to develop our Verifier, in order to explain the problems that we have encountered and to summarize their solutions. Finally, we show a screenshot of our Verifier's interface and enlighten its most interesting features.
Applications of XML and Customizable Components in Building Virtual Places on the Web
Authors: Lukasz Beca
Venue: Proceedings of the 9th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (2000)

The demand for the systems that facilitate human interactions over the World Wide Web is growing. Shared Place is a technology for building collaboration environments tightly integrated with the Web and customized for specific user needs. XML-based Shared Place Definition Language, designed to describe collaboration functionality of the configurable components, can be merged with ordinary Web page content to create specifications of virtual places. This paper discusses basic concepts of the Shared Place technology, the model developed to describe functionality of virtual places, Shared Place documents and the architecture of the system. The discussion is illustrated with the examples of the applications.
Context Mediation on Wall Street
Authors: Allen Moulton, Stuart E. Madnick, Michael Siegel
Venue: Proceedings of the 3rd IFCIS International Conference on Cooperative Information Systems (1998)

This paper reports on a practical implementation of a context mediator for the fixed income securities industry. We describe industry circumstances and the data and calculation services (DCS) mediator developed and deployed in the early 1990s. The mediator was designed as an interpretive engine controlled by a static declarative knowledge structure and client preference data. In addition to heterogeneous, autonomous data sources, the mediator integrated autonomously developed local and remote procedural components. Client access to both data and computational resources were provided through an active conceptual model. Structural and semantic context conversions were used to integrate disparate components and to support varying client needs. Lessons learned from the implementation and usage of this mediator provide insight into the requirements for a successful context mediator.
Autonomous and Asynchronous Operation of Networked Appliances with Mobile Agent
Authors: Soko Aoki, Jin Nakazawa, Hideyuki Tokuda
Venue: Proceedings of the 22nd International Conference on Distributed Computing Systems (2002)

This paper describes the Smart Operation of Networked Appliances (SONA) system which realizes the autonomous and asynchronous operation of networked appliances by using mobile agents. In SONA system, the mobile agents operate networked appliances in place of user's direct manipulation. Existing appliances operation systems such as remote controllers require users to input their demands synchronously with the appliances, while SONA system only requires users to input their demands in a lump once for all. To realize autonomous and asynchronous operation system, the SONA system is equipped with appliances lookup service, operation plan composer, and mobile agent system. In this paper, we present the design, implementation, and evaluation of SONA system.
ActiveSync, TCP/IP and 802.11b Wireless Vulnerabilities of WinCE-Based PDAs
Authors: Pascal Meunier, Sofie Nystrom, Seny Kamara, Scott Yost, Kyle Alexander, Dan Noland, Jared Crane
Venue: Proceedings of the 11th IEEE International Workshops on Enabling Technologies: nfrastructure for Collaborative Enterprises (2002)

Researching the vulnerabilities and security concerns of WinCE-based Personal Digital Assistants (PDAs) in an 802.11 wireless environment resulted in identifying CAN-2001-{0158 to 0163}. The full understanding and demonstration of some vulnerabilities would have required reverse engineering ActiveSync, which was beyond the scope of this research. Moreover, the WinCE IP stack demonstrated unstabilities under a number of attacks, one of which produced symptoms in hardware. The inaccessibility of the 802.11b standard documentation was source of delays in the research; however, we created three proof-of-concept applications to defeat 802.11b security. One collects valid MAC addresses on the network, which defeats MAC-address-based restrictions. Another builds a code book using known-plain text attacks, and the third decrypts 802.11b traffic on-the-fly using the code book.
A Demand based Algorithm for Rapid Updating of Replicas
Authors: Jesús Acosta-Elias, Leandro Navarro-Moldes
Venue: Proceedings of the 22nd International Conference on Distributed Computing Systems (2002)

In many Internet scale replicated system, not all replicas can be dealt with in the same way, since some will be in greater demand than others. In the case of weak consistency algorithms, we have observed that updating first replicas having most demand, a greater number of clients would gain access to updated content in a shorter period of time.In this work we have investigated the benefits that can be obtained by prioritizing replicas with greater demand, and considerable improvements have been achieved. In zones of higher demand, the consistent state is reached up to six times quicker than with a normal weak consistency algorithm, without incurring the additional costs of the strong consistency.
Suitability of MPEG4's BIFS for Development of Collaborative Virtual Environments
Authors: Mojtaba Hosseini, Nicolas D. Georganas
Venue: Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (2001)

Collaborative Virtual Environments provide the capability of remote users working together in a virtual reality simulation in order to accomplish a joint task. An application creating such an environment would make heavy use of 3-dimensional object descriptions and hence would require their efficient storage, transport and access. In this paper we will discuss the suitability and advantages of using the MPEG4 standard for storage, transport and access of 3-dimensional object descriptions.
Hybrid checkpointing protocol based on selective-sender-based message logging
Authors: Kwang-Sik Chung, Kibom Kim, Chong-Sun Hwang, Jin Gon Shon, HeonChang Yu
Venue: Proceedings of the 1997 International Conference on Parallel and Distributed Systems (1997)

This paper presents a hybrid checkpointing protocol-an asynchronous checkpointing protocol using a message sending/receiving state change for reducing the overhead of failure-free operation combined with a selective sender-based message logging protocol for reducing the cascade rollback of asynchronous checkpointing protocol. The selective sender-based message logging protocol records only potential orphan messages when taking a checkpoint. And this paper presents a message dependency tree recording the inter-process message sending/receiving information on a volatile storage for reducing the search time of inter-process information during the failure recovery.
Dynamic Load Distribution on a Mesh with a Single Bus
Authors: WanYeon Lee, Sung Je Hong, Jong Kim
Venue: Proceedings of the 1997 International Conference on Parallel and Distributed Systems (1997)

In this paper, we consider the mesh with a single bus as a multi-computer topology that enhances the communication capability of the mesh and show that the mesh with a single bus has more salient properties than the mesh, the hypercube, and other mesh variants. These properties are small diameter, relatively small degree, small average distance, suitability for broadcasting, small initial data distribution time, etc. We propose a dynamic load distribution algorithm to utilize the enhanced communication capability of the mesh with a single bus. Also, asynchronous bus control and arbitration logic is designed to support the proposed algorithm efficiently. It is shown through simulation that the proposed dynamic load distribution is superior to the previous Receiver-Initiated Diffusion method known as the best to-date. The proposed algorithm shows better total execution time of tasks and better processor utilization with a smaller number of task migrations.
How Role Based Access Control is Implemented in SESAME
Authors: Mark Vandenwauver, René Govaerts, Joos Vandewalle
Venue: Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises (1997)

Abstract: The authors share their experiences with implementing a scheme that enforces role-based access control in a distributed heterogeneous computing environment. This work was done in the framework of the EC RACE project SESAME (Secure European System in A Multivendor Environment). The SESAME project relies on the work done by ECMA (European Computer Manufacturers Association) to represent the credentials of the users, and it fully supports a GSS (group support system) API to help the application developers. We conclude that enforcing such a scheme is realistic and that writing applications that benefit from the advantages of role-based access control is very feasible. We have built several demonstration applications.