• Journal of Software Assessment and Valuation
• /
• v.15 no.2
• /
• pp.25-33
• /
• 2019

In copyright dispute on software, appraisal procedure is needed, which is regarded as an implementation of the right to fast trial. Considering that, in practice, there has been a long discussion of attempting to operate the software appraisal as a summary procedure. This was done usually by reducing the resources devoted to the summary procedure, however, this way inevitably makes difference in a result obtained through the procedure. Therefore, this research reviewed the previous operation of summary procedure in software appraisal, focusing on intrinsic nature of the summary procedure and role of software appraisal in the trial process.

• The Journal of Information Technology and Database
• /
• v.4 no.2
• /
• pp.33-45
• /
• 1998

Database summarization is the procedure to obtain generalized and representative descriptions expressing the content of a large amount of database at a glance. We present a top-down summary refinement procedure to discover database summaries. The procedure exploits attribute concept hierarchies that represent ISA relationships among domain concepts. It begins with the most generalized summary and proceeds to find more specialized ones by stepwise refinements. This top-down paradigm reveals at least two important advantages compared to the previous bottom-up methods. Firstly, it provides a natural way of reflecting the user's own discovery preference interactively. Secondly, it does not produce too large intermediate result that makes it hard for the bottom-up approach to be applied in practical environment. The proposed procedure can also be easily extended for distributed databases. Information content measure of a database summary is derived in order to identify more informative summaries among the discovered results.

• Korean Security Journal
• /
• no.13
• /
• pp.47-70
• /
• 2007

The criminal procedure is based upon two ideal values, or 'speedy trial and economy of litigation' and 'finding truth and guarantee of human rights', which are conflicting each other. The so called summary trial system, a simplified procedure through which a judge handles clearly obvious and minor offences in a quick and efficient manner, has its essential purpose of termination lawsuits promptly and freeing suspects or defendants from criminal procedure at the earliest possible moment. But its excessive emphasis on this purport is very likely to result in insufficient examination and inadequate protection of suspects' or defendants' rights. Therefore, the summary trial system needs a variety of safeguards to prevent these feasible - but undesirable - effects. From this point of view, we should objectively review the current summary trial system. The main object of this study is to investigate what problems the system has both in institution and in practice, and to suggest legal measures, including the abolition of it, to improve the simplified procedure. In conclusion, the summary trial system should be maintained because it has still more merits than faults. And these defects will be able to be overcome by reform measures ; for example, the introduction of the right to opt between the summary procedure and the formal trial, the abolition of detention and so on.

• Journal of KIISE:Software and Applications
• /
• v.36 no.7
• /
• pp.590-606
• /
• 2009

We present a static analyzer that detects memory leaks in C programs. It achieves relatively high accuracy at a relatively low cost on SPEC2000 benchmarks and several open-source software packages, demonstrating its practicality and competitive edge against other reported analyzers: for a set of benchmarks totaling 1,777 KLOCs, it found 332 bugs with 47 additional false positives (a 12.4% false-positive ratio), and the average analysis speed was 720 LOC/sec. We separately analyze each procedure's memory behavior into a summary that is used in analyzing its call sites. Each procedural summary is parameterized by the procedure's call context so that it can be instantiated at different call sites. What information to capture in each procedural summary has been carefully tuned so that the summary should not lose any common memory-leak-related behaviors in real-world C program. Because each procedure is summarized by conventional fixpoint iteration over the abstract semantics ('a la abstract interpretation), the analyzer naturally handles arbitrary call cycles from direct or indirect recursive calls.

• Journal of Applied Reliability
• /
• v.17 no.4
• /
• pp.305-315
• /
• 2017

Purpose: The purpose of this research is to propose procedure and methodology for developing failure rate databook which is suitable for Korean operation environment. Methods: To this end, we investigate failure databooks used in foreign countries and study the procedure and methodology for collecting failure data, organizing the data, estimating failure rate and summarizing results. Results: We develop the procedure of development of failure databook, the items for data collection, database schema of part details and part summary and contents of failure databook by considering the application environment in Korea. Conclusion: The results of our research could be utilized for the development of Korean failure rate databook and research of reliability prediction model and could ultimately contribute to improve the accuracy of reliability prediction.

• Korean Architects
• /
• s.639
• /
• pp.160-161
• /
• 2022

• Proceedings of the Korea Concrete Institute Conference
• /
• 2006.11a
• /
• pp.189-192
• /
• 2006

Following the evaluation of the irrigation & drainage structure, a suitable repair and reinforcing procedure can be selected based on this report. Successful procedures take into account the causes of the crack. This provides a survey of crack repair methods, including a summary of the characteristics of the cracks that may be repaired with each procedure, the type of irrigation & drainage structure that have been repaired and a summary of the procedures that are used. Readers are also directly contacted to the website(http:/rri.karico.co.kr/rricon). This report is intended to support the purposes, philosophy, and needs, using easily understood graphics and photos from the construction fields. The results of this study will be distributed to the public official in technical post, the operator in construction site and the member of Korea Agricultural & Rural Infrastructure Corporation and etc.

• Journal of Arbitration Studies
• /
• v.21 no.2
• /
• pp.47-64
• /
• 2011

The China International Economic and Trade Arbitration Commission(CIETAC) released online arbitration rules which apply the resolution of disputes over electronic commerce transactions, as well as other economic and trade disputes in which the parties agree to do. The evidence submitted by the parties may be electronic evidence created, sent, received or stored by electronic, optical or magnetic means. Electronic evidence with a reliable electronic signature shall carry the same effect and probative force as a document with a hand-written signature. Where a case is tried in a tribunal, the arbitration tribunal shall conduct an online trial hearing using internet video conference or other electronic or computer communication means. Unless the parties have another agreement, summary procedure shall apply to cases where the amount in dispute exceeds RMB 100,000 but no more than RMB 1 million, or where the amount in dispute exceeds RMB 1 million and a party submits a written application for summary procedure after obtaining the written consent of the other party. Unless the parties have agreed otherwise, fast-track procedure shall apply to cases where the amount in dispute does not exceed RMB 100,000 or where the amount in dispute exceeds RMB 100,000 and a party submits a written application for fast-track procedure after obtaining the written consent of the other party. Notable features of the Online Rules are as follows; first, there is not detailed consideration for online arbitration. Second, communications between the parties and the tribunal are allowed only through the Secretariat. Third, elaborate provisions regarding the electronic submission and transmission of documents is provided for. Forth, various factors must be considered by the tribunal in deciding the evidence's reliability. Fifth, reasonable endeavours is levied on CIETAC to keep data communications secure and encrypted. Sixth, the tribunal has the right to investigate and collect relevant evidence. And finally different procedures are provided for in consideration of the various types of E-commerce.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.16 no.6
• /
• pp.1778-1799
• /
• 2022

Automatic text summarization is a procedure that packs enormous content into a more limited book that incorporates significant data. Malayalam is one of the toughest languages utilized in certain areas of India, most normally in Kerala and in Lakshadweep. Natural language processing in the Malayalam language is relatively low due to the complexity of the language as well as the scarcity of available resources. In this paper, a way is proposed to deal with the text summarization process in Malayalam documents by training a model based on the Support Vector Machine classification algorithm. Different features of the text are taken into account for training the machine so that the system can output the most important data from the input text. The classifier can classify the most important, important, average, and least significant sentences into separate classes and based on this, the machine will be able to create a summary of the input document. The user can select a compression ratio so that the system will output that much fraction of the summary. The model performance is measured by using different genres of Malayalam documents as well as documents from the same domain. The model is evaluated by considering content evaluation measures precision, recall, F score, and relative utility. Obtained precision and recall value shows that the model is trustable and found to be more relevant compared to the other summarizers.

• Journal of Internet Computing and Services
• /
• v.15 no.5
• /
• pp.63-72
• /
• 2014

Twitter has been a popular social media platform where people post short messages of 140 characters or less via the web. A hashtag is a word or acronym created by Twitter users to open a discussion about certain topics and issues that have a very high percentage of trending. Since the hashtag posts are sorted by time, not relevancy, people who firstly use Twitter have had difficulty understanding their context. In this paper, we propose a HBase-based automatic summary system in order to reduce the difficulty of understanding. The proposed system combines an automatic summary method with a fuzzy system after storing the streaming data provided by Twitter API to the HBase. Throughout this procedure, we have eliminated the duplicate of contents in the hashtag posts and have computed scores between posts so that the users can access to the trending topics with relevancy.