• Korean Journal of Computational Design and Engineering
• /
• v.10 no.6
• /
• pp.402-411
• /
• 2005

Context-aware engineering services in ubiquitous environments are emerging as a viable alternative to traditional engineering services. Most of the previous approaches are computer-centered rather than human-centered. In this paper, we present a Ubiquitous and Context-Aware computing Framework for collaborative virtual Engineering $(U-CAF\acute{E})$ services. The proposed approach utilizes BPEL-based (Business Process Execution Language) process templates for engineering service orchestration and choreography and adopts semantic web-based context-awareness for providing human-centered engineering services. The paper discusses how to utilize engineering contexts and share this knowledge in support of collaborative virtual engineering services and service interfaces. The paper also discusses how Web services and JINI (Java Intelligent Network Infrastructure) services are utilized to support engineering service federations and seamless Interactions among persons, devices, and various kinds of engineering services.

• International Journal of Reliability and Applications
• /
• v.7 no.2
• /
• pp.155-166
• /
• 2006

Many software reliability growth models (SRGMs) based on nonhomogeneous Poisson process (NHPP) have been developed and applied in practice. NHPP SRGMs are characterized by their mean value functions. Mean value functions are usually derived from differential equations representing the fault detection/removal process during testing. In this paper such differential equations are regarded as frameworks for generating mean value functions. Currently available frameworks are theoretically discussed with respect to capability of representing the fault detection/removal process. Then two general frameworks are proposed.

• Journal of Multimedia Information System
• /
• v.8 no.1
• /
• pp.75-78
• /
• 2021

This paper will explain the importance of using interactive prototyping tools in the HCI design process. The Future of HCI education project performed by ACM SIGCHI shows that students recognize that prototyping, especially paper prototyping and interactive prototyping, are both very important. Two widely-used prototyping tools in academy, Balsamiq and Oven, will be compared and rated by students according to their preferences. We choose the Balsamiq as our design tool because Oven can be designed on the web but applications cannot be designed directly on Mac or Windows. The Balsamiq tool will help you understand the task process of UI work and highlight the benefits of digital prototyping to test the execution of expected results in a fast fashion compared to high-level prototyping. We also present the outcome of this work through two case studies. In particular, the smart mirror project with voice recognition function shows the effectiveness of the proposed method as an example.

• The KIPS Transactions:PartD
• /
• v.12D no.6 s.102
• /
• pp.889-898
• /
• 2005

Recently, one of the most challenging problems is to compose web services dynamically, that is, on demand. A number of researchers have been considerably interested in the dynamic web services composition. However, while most of them focused on the semi-automatic web services composition with a human controller, very little attention was devoted to the full automation of this process. This paper primarily focuses on the automatic web services composition techniques. The main idea is to implement an automatic web services composition system using web ontologies to realize the semantic web and workflow technologies to play a major role in E-businesses. In this paper, we propose a matching algorithm for web service discovery and present an approach based on the use of ontologies to facilitate the interoperability of web services. Finally, we describe a workflow execution plan to support the automatic web services composition, and an experimental study that shows the high performance of our system.

• Journal of Arbitration Studies
• /
• v.30 no.2
• /
• pp.43-68
• /
• 2020

The "arbitration" system resolves disputes through judgments on rights relations or claims between disputed parties by judging by private trial, but it does not have organizational and material bases to execute the contents of these judgments. Therefore, unless the parties succeed in voluntarily surrendering to the results of the arbitration award, the implementation of the award will be accomplished by the enforcement of the assistance of the National Court. However, unlike the court's ruling, the arbitration tribunal does not generate enforcement power from the judgment itself, and it must be filed with the court for execution. In this regard, Germany provides for arbitration proceedings in the Civil Procedure Act Volume 10. In particular, Article 1060 governs the approval and enforcement of domestic arbitral awards. Accordingly, the procedure for declaring the feasibility of domestic arbitration proceedings and the execution of forced execution are commenced. Regarding the enforceable declaration of a domestic arbitral award, it differs from the simpler process requirements compared to the procedure in a foreign arbitral award, and usually has the same effect as a final judgment between the parties without a separate approval procedure. However, the arbitration award does not constitute an enforceable power that can be implemented, but is enforced through the national court's declaration procedure. However, if there is a ground for cancellation as provided for in Article 1059 (2) of the German Civil Procedure Act, the arbitral award is canceled and the application for enforcement is dismissed.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.12
• /
• pp.1003-1007
• /
• 2009

Client-side attacks including drive-by download target vulnerabilities in client applications that interact with a malicious server or process malicious data. A typical client-side attack is web-based one related to a malicious web page exploiting specific browser vulnerability that can execute mal ware on the client system (PC) or give complete control of it to the malicious server. To defend those attacks, this paper has constructed high interaction client honeypot system using Capture-HPC that adopts execution-based detection in virtual machine. We have detected and classified malicious web pages using the system. We have also analyzed the system's performance in terms of the number of virtual machine images and the number of browsers executed simultaneously in each virtual machine. Experimental results show that the system with one virtual machine image obtains better performance with less reverting overhead. The system also shows good performance when the number of browsers executed simultaneously in a virtual machine is 50.

• KSCI Review
• /
• v.14 no.2
• /
• pp.159-164
• /
• 2006

MES(Manufacturing Execution System) is a control system which supports basic activities(scheduling, working process and qualify management, etc) to execute working on the shop floor. As especially MES is a system to decrease the gap between production planning and operating, it executes functions that make decision between management and labor using real-time data. MES for real-time information processing requires certain conditions such as data modeling of RFID, which has recently attracted attentions, and monitoring of each product unit from manufacture to sales. However, in the middle of processing the unit with a RFID tag, transponders(readers) can't often read the tag due to reader's malfunctions, intentional damages, loss and the circumstantial effects; for that reason, users are unable to confirm the location of the product unit. In this case, users cannot avoid tracing the path of units with uncertain clues. In this paper, we suggest that the unique MES based on RFID and Bayesian Network can immediately track the product unit, and show how to evaluate it.

• The KIPS Transactions:PartA
• /
• v.8A no.2
• /
• pp.107-116
• /
• 2001

A multithreaded model is a hybrid one which combines locality of execution of the von Neumann model with asynchronous data availability and implicit parallelism of the dataflow model. Much researches that have been made toward the advanced performance of multithreaded models are about the cache memory which have been proved to be efficient in the von Neumann model. To use an instruction cache or operand cache, the multithreaded models must have cache memories. If cache memories are added to the multithreaded model, they may have the disadvantage of high implementation cost in the mode. To solve these problems, we did not add cache memory but applied the method of executing the caching by using available registers of the multithreaded models. The available register-based caching method is one that use the registers which are not used on the execution of threads. It may accomplish the same effect as the cache memory. The multithreaded models can compute the number of available registers to be used during the process of the register optimization, and therefore this method can be easily applied on the models. By applying this method, we can also remove the access conflict and the bottleneck of frame memories. When we applied the proposed available register-based caching method, we found that there was an improved performance of the multithreaded model. Also, when the available-register-based caching method is compared with the cache based caching method, we found that there was the almost same execution overhead.

• KIPS Transactions on Software and Data Engineering
• /
• v.9 no.8
• /
• pp.229-234
• /
• 2020

This paper presents the design and the implementation of CRESTIVE-DX, a concolic testing tool that distribute the concolic testing process over the embedded target system and the host system for efficient test generation of a target embedded program. CRESTIVE-DX conducts the execution of a target program on the target embedded system to consider possible machine-dependent behaviors of a target program execution, and conducts machine-independent parts, such as search-strategy heuristics, constraint solving, on host systems with high-speed computation unit, and coordinates their concurrent executions. CRESTIVE-DX is implemented by extending an existing concolic testing tool for C programs CREST. We conducted experiments with a test bed that consists of an embedded target system in the Arm Cortex A54 architecture and host systems in the x86-64 architecture. The results of experiments with Unix utility programs Grep, Busybox Awk, and Busybox Ed show that test input generation of CRESTIVE-DX is 1.59 to 2.64 times faster than that of CREST.

• Journal of Korea Society of Industrial Information Systems
• /
• v.16 no.2
• /
• pp.73-83
• /
• 2011

In the manufacturing system, production-planning is very important in effective management for expensive production facilities and machineries. To enhance efficiency of Manufacturing Execution System(MES), a manufacturing system that reduces the difference between planning and execution, certain production-planning needs a dispatching rule that is properly designed for characteristic of work information and there should be a appropriate selection for the rule as well. Therefore, in this paper dispatching rule will be selected by several simulations based on characteristics of work information derived from process planning data. By constructing information that are from simulation into ontology, one of the knowledge-based-reasoning, production planning platform based on the selection of dispatching rule will be demonstrated. The platform has strength in its wider usage that is not limited to where it is applied. To demonstrate the platform, RacerPro and Prot$\acute{e}$g$\acute{e}$ are used in parts of ontology reasoning, and JAVA and FlexChart were applied for production-planning simulation.