Showing papers in "Future Generation Computer Systems in 2000"

TL;DR: Computational results on the Traveling Salesman Problem and the Quadratic Assignment Problem show that MM AS is currently among the best performing algorithms for these problems.

TL;DR: This paper overviews some models derived from the observation of real ants, emphasizing the role played by stigmergy as distributed communication paradigm, and shows how these models have inspired a number of novel algorithms for the solution of distributed optimization and distributed control problems.

TL;DR: This paper examines an emerging non-static biometric technique that aims to identify users based on analyzing habitual rhythm patterns in the way they type in an effort to confront the new threats unveiled by the networking revolution.

TL;DR: It is shown that under certain conditions, the solutions generated in each iteration of this Graph-based Ant System converge with a probability that can be made arbitrarily close to 1 to the optimal solution of the given problem instance.

TL;DR: A new optimization algorithm based on a model of the foraging behavior of a population of primitive ants, called API, is presented, which has applied to numerical optimization problems with encouraging results.

TL;DR: Computational results, obtained on a number of standard problem instances, testify the effectiveness of the proposed ANTS metaheuristic, that is, an approach following the ant colony optimization paradigm.

TL;DR: A scheme whereby a user can protect a secret key using the "personal entropy" in his own life, by encrypting the passphrase using the answers to several personal questions, while an attacker must learn the answer to a large subset of the questions in order to recover the secret key.

TL;DR: An extensive, annotated bibliography of the abstract machines designed for each of the main programming paradigms (imperative, object oriented, functional, logic and concurrent) is presented.

TL;DR: The use of component technology in the JSIM web-based simulation environment allows simulation models to be treated as components that can be dynamically assembled to build model federations, making storage of simulation results easy and flexible.

TL;DR: It is proved that if a certain spanning subgraph S is stable during the period of covering, then the VAW method is guaranteed to cover the graph within time nd s, and if a failure occurs on each edge with probability p , then the expected cover time is bounded from above by nd.

TL;DR: JAMES, a Java-Based Agent Modeling Environment for Simulation, realizes variable structure models including mobility from the perspective of single autonomous agents, based on parallel DEVS and adopts its abstract simulator model.

TL;DR: Some technologies that are available today and that can be used to provide support for anonymous browsing and anonymous publishing on the WWW are overviews and briefly discusses.

TL;DR: A design-space diagram spanning seven decades of system size and computational time is constructed for materials scientists to design an optimal MD simulation incorporating maximal physical realism within a given computational budget.

TL;DR: Some basic properties of learning using web-based simulation are discussed with the focus on different types of learning goals (instructional goals) and on proper instructional strategies (pedagogical strategies) for web- based simulation.

TL;DR: Based on the collective breakpoints the macrostep-by-macrostep debugging mode has been defined and a novel systematic debugging methodology of message passing parallel programs is explained.

TL;DR: This paper outlines the formalization of the JVM machine state and illustrates the approach for a few select JVM instructions.

TL;DR: The evolution of web-based simulation is described and a collection of modeling principles that characterize the vision of the web- based simulation future are derived, which examine these principles in terms of their implications for next-generation CGF systems.

TL;DR: The copying approach to tabling (CAT) is an alternative to SLG-WAM and based on incrementally copying the areas that the SLG -WAM freezes to preserve execution states of suspended computations.

TL;DR: An overview of key management systems in several security architectures including SSL, Kerberos and Sesame are presented and issues and problems with key generation, key distribution and key storage are raised.

TL;DR: The first version of a cluster operating system managing parallelism, called GENESIS, has been developed and presented, and the results of the execution of some parallel applications substantiate the claim.

TL;DR: The design rationale of GANIMAM, a web-based system which generates interactive animations of abstract machines from specifications, and the choice of graphical annotations to visualize higher-level abstractions are described.

TL;DR: The fingerprint system will be detailed from a silicon point-of-view: how the integration of the sensor and processor may enhance the cost and the security, associated (or not) with a smart card.

TL;DR: The explicit architectural design of CDNM will facilitate its future migration into emerging middleware standards such as High Level Architecture (HLA) and CORBA, and the architecture and services it can provide to modeling and simulation applications built on its foundation.

TL;DR: The simulation facility enables portability and interoperability of simulation applications which may be developed in heterogeneous languages and environments and communicate over the Internet and by integrating with Java, the approach also enables simulation applications to been developed in Java and executed on the Web.

TL;DR: In the former, it is shown how to visualize the argumentation process and space within one agent, and in the latter an animation of communicating agents is developed and the relations between agents to spatial distance are mapped.

TL;DR: It is shown how VRML can be used as inexpensive means for simulation of one of the most interesting but also most time and resource consuming areas of the computer aided manufacturing (CAM) — machining of complex parts.

TL;DR: Two on-line protocols which link securely Customers, Merchants and Banks are presented and the identity of the Customer is traceable and both protocols have a simple structure and are provably secure.

TL;DR: This work is investigating how to build optimal biological VRML worlds small in file size, but still expressive enough to serve as an effective “fast learning tool” in biology.

TL;DR: A case study is explored in which a CD-ROM is being distributed with a textbook intended for the study of biochemistry, in which VRML and CHIME based 3D models provide students with fully interactive content to ensure an enriching learning experience.