This paper presents HotDoc, a framework for the development of editors for compound documents. HotDoc allows the construction of flexible documents consisting of dynamic parts. HotDoc introduces a new type of document...
详细信息
Performance prediction is useful in helping parallel programmers answer questions such as speedup scalability. Performance prediction for parallel simulation requires first working out the performance analyzer algorit...
详细信息
This paper describes the experimental semi - automatically technology for construction of thematic collections. The crawler (a program that retrieves WEB pages) is used as a basis of this technology. The main principl...
详细信息
ISBN:
(纸本)9608052211
This paper describes the experimental semi - automatically technology for construction of thematic collections. The crawler (a program that retrieves WEB pages) is used as a basis of this technology. The main principles of the crawler were discussed. The usage of this program for gathering topic specific documents from the Internet is reported. This technology can be used for construction of collections of mathematical WEB material. Obtained results for some topics indicate that additional work is needed to improve this technology.
We propose to use a logic meta-system as a general frame-work for aspect-oriented programming. We illustrate our approach with the implementation of a simplified version of the cool aspect language for expressing sync...
详细信息
This paper describes computational techniques for concurrent Direct Simulation Monte Carlo (DSMC) of neutral flow inside three-dimensional plasma reactors. These techniques are designed to reduce the overall time to o...
详细信息
Most current day software engineering tools and environments do not sufficiently support software engineers to declare or to enforce the intended software architecture. Architectures are typically described at a too l...
详细信息
Most current day software engineering tools and environments do not sufficiently support software engineers to declare or to enforce the intended software architecture. Architectures are typically described at a too low level, inhibiting their evolution and understanding. Furthermore, most tools provide little support to verify automatically whether the source code conforms to the architecture. Therefore, a formalism is needed in which architectures can be expressed at a sufficiently abstract level, without losing the ability to perform conformance checking automatically. We propose to codify declaratively software architectures using virtual software classifications and relationships among these classifications. We illustrate how software architectures can be expressed elegantly in terms of these virtual classifications and how to keep them synchronized with the source code.
MALL2000 systems are intended to support businessmen, the correspondents, in their day-to-day tasks for establishing business relations on an international level. Tasks considered are based on handling "multimedi...
详细信息
MALL2000 systems are intended to support businessmen, the correspondents, in their day-to-day tasks for establishing business relations on an international level. Tasks considered are based on handling "multimedia documents", allowing flexible group activities. All services offered by a correspondent to the partners are provided in a uniform fashion in a peer-to-peer structure, realized on the World Wide Web. The paper covers principal aspects and design approaches for correspondents' interfaces. They are "document-centred", relying on an advanced concept of what "multimedia" features offer for business-to-business applications. Previous work (Hot...-framework) is the starting point for work under the MALL2000 project and is discussed in the context of a broader approach of an electronic commerce approach. The Hot...-framework allows easy inclusion of hierarchically structured and possibly self-active multimedia parts into a business document.
Telecommunication systems these days are moving from static wide area component structures towards highly dynamic mobile infrastructures. This shift requires new algorithms to interconnect these mobile entities/compon...
详细信息
Telecommunication systems these days are moving from static wide area component structures towards highly dynamic mobile infrastructures. This shift requires new algorithms to interconnect these mobile entities/components and route messages between them. In this paper we describe a naming and routing algorithm which can be used in fine-grained mobile component systems. As a case we use a homogenous environment of mobile multi-agent systems, which executes agents as they pass by.
Object-oriented software can be described in many different ways. In this extended abstract of [MMSH97] we focus on the question how these different software descriptions can best be combined in order to facilitate re...
详细信息
Current interface descriptions are poor in describing components, because they only provide an external view on a component and they do not lay down how components interact with each other. Suggestions to improve comp...
详细信息
暂无评论