In recent years we have witnessed considerable eeorts in the research and development of object-oriented database management systems. As object-oriented database technology matures, the availability of adequate access control mechanisms will be crucial to its commercial acceptance. In this paper we discuss discretionary access control issues in object-oriented databases. Our objective is twofol...

An object-oriented change detection algorithm was proposed and experimented to multi-temporal ALOS remotely sensed images. In contrast with conventional pixel-based algorithms, this approach processed homogenous blocks generated by object-oriented image segmentation for change detection. Similar pixels were merged into homogeneous objects by image segmentation at first, and each object (polygon...

Preparation of land cover / land use maps for large areas, based on automatic classification of high-resolution satellite data is the objective of many application programmes, e.g. GSE Land Monitoring Services. The crucial point for this kind of activity is to apply optimal classification approach, which will ensure high class recognition accuracy and classification repeatability. Among differe...

BACKGROUND News coverage of medical research is followed closely by many Americans and affects the practice of medicine and influence of scientific research. Prior work has examined the quality of media coverage, but no investigation has characterized the choice of stories covered in a controlled manner. We examined whether the media systematically covers stories of weaker study design. METHO...

This study focuses on the comparison between the classical and object-oriented image classifications of remote sensing imagery in the arid area. Due to its special geographic environment and socio-economic contexts, the land cover and its spatio-temporal pattern in aridzone is very different from those in coastal area, thus some conventional methods of remote sensing image classification may no...

cTLA+ is a compositional specification and verification technique which is based on Leslie Lamport’s Temporal Logic of Actions TLA. cTLA+ supports modular process type definitions and the composition of processes to systems. Processes can model components of an implementation. Moreover, they can represent modular logical constraints. Constraint-oriented structures of system specifications are o...

In recent years we have witnessed considerable e orts in the research and development of object-oriented database management systems. As object-oriented database technology matures, the availability of adequate access control mechanisms will be crucial to its commercial acceptance. In this paper we discuss discretionary access control issues in object-oriented databases. Our objective is two-fo...

Given a tree and a set of paths in the tree, the problem of finding a minimum number of paths from the given path set to cover all the vertices in the tree is investigated in the paper. To distinguish from the classical path cover problem, such an optimization problem is referred to as vertex covering by paths. The problem and its edge variant, edge covering by paths, find applications in machi...

Types of low-cost improvements that can help reduce work-related risks and prevent stress at work are reviewed by examining simple improvements achieved by participatory action-oriented programs in different work settings. Programs reviewed include WISE (work improvement in small enterprises) projects in various industries, including POSITIVE (participation-oriented safety improvements by trade...

Nowadays, object speciication technology is successfully used for modelling information systems. However, object-oriented modelling cannot cover all aspects (e.g. dynamic behaviour evolution) of such systems. A promising approach to get a grasp of these additional requirements for modelling information systems is the speciication of systems as communicating, cooperating and autonomous agents. I...