SIMSCRIPT III is a programming language for discrete-event simulation. It is a major extension of its predecessor, SIMSCRIPT II.5, providing full support for object-oriented programming and modular software development.
SIMSCRIPT III is a programming language for discrete-event simulation. It is a major extension of its predecessor, SIMSCRIPT II.5, providing full support for object-oriented programming and modular software development.
In this paper we report on how aspect-oriented programming (AOP), using AspectJ, can be employed to automatically and efficiently instrument contracts and invariants in Java. The paper focuses on the templates to inst...
详细信息
In this paper we report on how aspect-oriented programming (AOP), using AspectJ, can be employed to automatically and efficiently instrument contracts and invariants in Java. The paper focuses on the templates to instrument preconditions, postconditions, and class invariants, and the necessary instrumentation for compliance-checking to the Liskov substitution principle.
The present biggest challenge to Geographical Information System (GIS) is to design model for theme analyzing. Many real applications of GIS need more functions in analysis and decision-making than in data management ...
详细信息
This article celebrates with obvious joy the role automated reasoning now plays for mathematics and logic. Simultaneously, this article evidences the realization of a dream thought impossible just four decades ago by ...
详细信息
We propose two transformations on term rewrite systems (TRSs) based on reducing right-hand sides: one related to the transformation order and a variant of dummy elimination. Under mild conditions we prove that the tra...
详细信息
The case for a less buggy development process is compelling. Organisations are looking to modeling languages such as the Unified Modeling Language (UML) to try to guarantee that requirements are written correctly and ...
详细信息
The case for a less buggy development process is compelling. Organisations are looking to modeling languages such as the Unified Modeling Language (UML) to try to guarantee that requirements are written correctly and unambiguously. The concept leads towards a model-based design concept, and increasing opportunities to use automatic code generation techniques, which in general produce more 'compliant' code. Automated source code analysis tools can track down code problems but do they cause too much trouble by pointing at statements.
Telemedicine is important technology for the health care. As the development of computer hardware, network environment is developing rapidly. The wireless internet access using mobile phone is natural in modern societ...
详细信息
ISBN:
(纸本)0780389409
Telemedicine is important technology for the health care. As the development of computer hardware, network environment is developing rapidly. The wireless internet access using mobile phone is natural in modern society. Hospital system is changing to digital environment. So compatible system is required using modern technologies between hospital and patients. In the case of the department of nuclear medicine, patient scheduling is very important work. Injection time, waiting time, and scanning time are different as a kindness of investigation. In this study, we proposed an automatic scheduling system using mobile programming techniques. Messages for reservation confirm, injection time, waiting time and scanning time were sent to patient using proposed system. And patient could check a progress state of patient themselves using mobile phone through internet. Proposed system will be a useful tool for patient scheduling in a department of nuclear medicine.
Genetic programming is based on the Darwinian evolutionary theory that suggests that the best solution for a problem can be evolved by populating the solution space with an initial number of possible solutions and the...
详细信息
Genetic programming is based on the Darwinian evolutionary theory that suggests that the best solution for a problem can be evolved by populating the solution space with an initial number of possible solutions and then evolving the solutions by means of mutation, reproduction and crossover until a candidate solution can be found that is close to or is the optimal solution for the problem. The initial solutions are randomly generated and set to a certain population size that the system can compute efficiently. Research has shown that better solutions can be obtained if 1) the population size is increased and 2) if multiple runs are performed of each experiment. If multiple runs are initiated on many machines the probability of finding an optimal solution are increased exponentially and computed more efficiently.
In this paper an agent based control scheme for satellite formation flying is discussed. The underlying idea of our design is to use a multi-agent architecture for satellite formation flying control. The architecture ...
详细信息
In this paper an agent based control scheme for satellite formation flying is discussed. The underlying idea of our design is to use a multi-agent architecture for satellite formation flying control. The architecture is designed to enable autonomous formation flying activities. The performance requirements and algorithms are described.
暂无评论