Safety-critical systems are often designed using development support tools which perform translations of high-level specifications into lower-level counterparts. The correctness of the translation is critical to the safety of the resulting systems. However, using non failure-safe components to implement translators is desirable because of the extremely high cost of certified components. In orde...

As the workflow/BPM systems and their applications are prevailing in the wide and variety industries, we can easily predict not only that very large-scale workflow systems (VLSW) become more prevalent and much more needed in the markets, but also that the quality of workflow (QOW) and its related topics be issued in the near future. Particularly, in the QOW issues such as workflow knowledges/in...

Knowledge representation systems based on thewell-founded semantics can offer the degree of scalabilityrequired for semantic web applications and make use of ex-pressive semantic features such as Hilog, frame-based rea-soning, and defeasibility theories. Such features can be com-piled into Prolog tabling engines that have good support forindexing and memory management. H...

Logging activities within the forestry sector commonly take several seasons for each region. Throughout each season, the workers directly involved within the logging activities are hosted at an accommodation close to the current logging location. However, the next cities or villages are usually far away. A common solution to this problem is the construction of logging camps that contain the com...

A metadata service is one of the important factors to affect the performance of cluster file systems. We propose a content-based load balancing algorithm that dynamically distributes client requests to appropriate metadata servers based on the types of metadata operations. By replicating metadata and logging update messages in each server rather than moving metadata across servers, we significa...

-This paper based on crossplot and core data,analysis the Pu Xi oilfield ,Putao Hua oil layer ‘s conventional logging response characteristic.Based on the describe of the three cored wells, Putao Hua oil layer is mainly made up with siltstone, muddy siltstone, silty mudstone,. First normalized the well logging curves, elimination the influence of the nongeological factors to the well logging cu...

In main memory databases, fuzzy checkpointing gives less transaction overhead due to its asynchronous backup feature. However, till now, fuzzy checkpointing has considered only physical logging schemes. The size of the physical log records is very large, and hence it incurs space and recovery processing overhead. In this paper, we propose a recovery method based on a hybrid logging scheme, whic...

An impulse-based single-borehole radar prototype has been developed for well logging. The borehole radar is comprised of subsurface sonde and surface equipment. An armored 7-conductor well logging cable is used to connect subsurface sonde and surface equipment which is well compatible with the other well logging instruments. The performance experiments of the prototype have been conducted in a ...

Message logging has long been advocated as offering better failure-free performance than coordinated checkpointing. On the contrary, we present a number of experiments showing that for compute-intensive applications executing in parallel on clusters of workstations, message logging has higher failure-free overhead than coordinated checkpointing. Message logging protocols, however, result in muc...

Several operating systems provide a central logging service which collects event messages from the kernel and applications, filters them and writes them into log files. Since more than a decade such a system service exists in Microsoft Windows NT. Its file format is well understood and supported by forensic software. Microsoft Vista introduces an event logging service which entirely got newly d...