Assertions had their origin in program verification. For the systems developed in industry, construction of assertions and their use in showing program correctness is a near-impossible task. However, they can be used ...
详细信息
Assertions had their origin in program verification. For the systems developed in industry, construction of assertions and their use in showing program correctness is a near-impossible task. However, they can be used to show that some key properties are satisfied during program execution. We first present a survey of the special roles that assertions can play in object oriented software construction. We then analyse such assertions by relating them to the case study of an automatic surveillance system. In particular, we address the following two issues: What types of assertions can be used most effectively in the context of object oriented software? How can you discover them and where should they be placed? During maintenance, both the design and the software are continuously changed. These changes can mean that the original assertions, if present, are no longer valid for the new software. Can we automatically derive assertions for the changed software?.
The ubiquity of the Internet infrastructure has revolutionized the industrial enterprise environment enabling the provision of advanced services, such as Web enabled configuration, maintenance and management of the in...
详细信息
The ubiquity of the Internet infrastructure has revolutionized the industrial enterprise environment enabling the provision of advanced services, such as Web enabled configuration, maintenance and management of the industrial manufacturing processes. Thus the trend towards distributedsystems is further enhanced. In order to best exploit the Web infrastructure in the industrial environment an integrated control system design methodology is needed. This paper presents a proposed architecture in the industrial environment comprising function blocks for code distribution, a special model for devices, an integrated environment for the Web enabled functionalities as well as an associated methodology.
Compared to the regular documents, the major distinguishing characteristics of the Web documents are the dynamic hyper-structure. Thus, in addition to terms or keywords for regular document clustering, Web document cl...
详细信息
Compared to the regular documents, the major distinguishing characteristics of the Web documents are the dynamic hyper-structure. Thus, in addition to terms or keywords for regular document clustering, Web document clustering can incorporate some dynamic information such as the hyperlinks and the access patterns extracted from the user query logs. In this paper, we extend the concept of document clustering into Web document clustering by introducing the strategy of affinity-based similarity measure, which utilizes the user access patterns in determining the similarities among Web documents via a probabilistic model. Several comparison experiments are conducted using a real data set and the experimental results demonstrate that the proposed similarity measure outperforms the cosine coefficient and the Euclidean distance method under different document clustering algorithms.
This paper proposes a unified knowledge model establishing a core structure of knowledge representation in natural and artificial intelligence systems. The Concept Cell Model proposes the use of acyclic lattices to mo...
详细信息
This paper proposes a unified knowledge model establishing a core structure of knowledge representation in natural and artificial intelligence systems. The Concept Cell Model proposes the use of acyclic lattices to model a concept formed from a knowledge network of simpler concepts. Declarative and procedural knowledge are explicitly defined as the time-invariant and time-variant relationship of concepts. Examples of a Restaurant Servicing Concept Cell and an extended Shopping Complex Concept Cell are used to demonstrate the functionality of this model. Major existing theoretic and engineering Ontology knowledge schools are compared under this framework.
High-assurance development of large-scale, network-centric systems must address challenging engineering realities. Flow-Service-Quality (FSQ) engineering provides foundations and practices that accommodate these reali...
详细信息
High-assurance development of large-scale, network-centric systems must address challenging engineering realities. Flow-Service-Quality (FSQ) engineering provides foundations and practices that accommodate these realities to maintain intellectual control in system analysis, development, and evolution.
This panel paper presents the views of six researchers and practitioners of simulation modeling. Collectively we attempt to address a range of key future challenges to modeling methodology. It is hoped that the views ...
详细信息
ISBN:
(纸本)9780780387867
This panel paper presents the views of six researchers and practitioners of simulation modeling. Collectively we attempt to address a range of key future challenges to modeling methodology. It is hoped that the views of this paper, and the presentations made by the panelists at the 2004 Winter Simulation Conference will raise awareness and stimulate further discussion on the future of modeling methodology in areas such as modeling problems in business applications, human factors and geographically dispersed networks; rapid model development and maintenance; legacy modeling approaches; markup languages; virtual interactive process design and simulation; standards; and Grid computing.
This paper gives contribution to the construction of an image mosaic by pasting together a sequence of photographs taken by a regular digital camera from the same position but in different directions. In order to find...
详细信息
This paper gives contribution to the construction of an image mosaic by pasting together a sequence of photographs taken by a regular digital camera from the same position but in different directions. In order to find the best match between two overlapping images, a fuzzy-genetic based algorithm is presented. A translation vector with a minimal difference between the common picture parts has to be found. The difference is defined using the fuzzyfied contours of each images. The search of the optimal translation is considered as a minimization process. This paper proposes a method that uses genetic algorithms to find the minimum point corresponding to the optimal translation. Using the fuzzy based comparison of the two images yields a fast fitness function, while the implementation of the proposed method in a genetic hardware has a low and variable computational cost. The precision of the method is inverse-proportional with the computational time, which makes it ideal to be used in real time systems.
This panel paper presents the views of six researchers and practitioners of simulation modeling, Collectively we attempt to address a range of key future challenges to modeling methodology. It is hoped that the views ...
详细信息
This panel paper presents the views of six researchers and practitioners of simulation modeling, Collectively we attempt to address a range of key future challenges to modeling methodology. It is hoped that the views of this paper, and the presentations made by the panelists at the 2004 Winter Simulation Conference will raise awareness and stimulate further discussion on the future of modeling methodology in areas such as modeling problems in business applications, human factors and geographically dispersed networks;rapid model development and maintenance;legacy modeling approaches;markup languages;virtual interactive process design and simulation;standards;and Grid computing.
暂无评论