• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.873-874
• /
• 2009

$L^*$ 기반의 Assume-Guarantee Reasoning[1]은 시스템 검증 시의 상태 폭발(state explosion)을 줄이는 데 크게 기여하였다. 그러나 시스템 검증에 소모되는 시간은 일반적인 모델 체킹 도구를 사용할 때 보다 크게 증가시킨다. 본 논문에서는 시스템의 검증에 소모되는 시간을 줄이기 위하여 $L^*$ 기반의 Assume-Guarantee Reasoning의 개선안을 제안하였다.

• The Journal of Society for e-Business Studies
• /
• v.15 no.4
• /
• pp.265-284
• /
• 2010

B2B e-commerce guarantee service is a guarantee service combining the electronic systems among Korea Credit Guarantee Fund(KCGF), banks and e-marketplaces to process all procedures on internet ranging from application for credit guarantee, issue of written guarantee and contracting for a commerce to payment. B2B e-commerce guarantee service plays as an intermediary role in financial support for small and mediumsized enterprise(SME), which are small size, low credit level, and unfavorable status in many aspects compared to major companies. Despite the B2B e-commerce guarantee service has various advantages conducive to promotion of e-commerce among small and medium businesses as well as development of e-commerce itself, it has yet to be diffused due to lack of acknowledgement, misunderstanding of its functions and vague psychological fear of the on-line settlement. Thus, this study identifies the values and effects of the B2B e-commerce guarantee service using financial data and cases. The process of this study is 4 phase. first phase is analysis of B2B e-commerce guarantee service and e-Marketplace. second phase is analysis of performance from the Perspective of Diverse Participants. third phase is analysis of economic performance and support for SME. last phase is policy suggestions and conclusion.

• Journal of Digital Convergence
• /
• v.9 no.3
• /
• pp.31-46
• /
• 2011

This research suggests for efficient operation of the e-commerce guarantee financing system in domestic industries by reviewing the definition, current situation and problems of the e-commerce guarantee financing system in operation since 2001. Throughout the 10 years of the e-commerce guarantee financing system's implementation, technological development has solved many previously concerning factors. The goal of the study is to resolve the current issues of the e-commerce guarantee financing system and offer means by which to expand the accessibility of the system to domestic industries and further assistance to firms already using the system. One of the primary policies supported by the research is the reallocation of funds from archaic means of exchanging finances to the modem e-commerce guaranteed financing methods because of the increased transparency of the trading. Specifically, the funding operated by government guarantee agencies requires systematic promotion, justifying subsidies and tax breaks to companies that are using e-commerce guarantee financing because of the increased overall transparency. In addition, the benefits of e-commerce guarantee financing as a means of funding are numerous: the promotion of good business, relaxation of credit ratings for company loans, construction of the mobile operating system for small businesses, and creation of policy flexibility in operating fund agencies run by government. Future research areas include continued collection and analysis of the above data provided and new market feedback such as direct poll surveys of the operating staff in companies using e-commerce guarantee financing agencies.

• The Journal of the Korea Contents Association
• /
• v.21 no.2
• /
• pp.78-84
• /
• 2021

Issues have arisen over the monopoly of housing sales guarantees by the Housing and Urban Guarantee Corporation. If the Ministry of Land, Infrastructure and Transport appoints an additional guarantee institution, there is concern that the property protection between the two parties is insufficient due to excessive competition and the weakening of urban regeneration resources. It argues that housing supply policies for stabilization of the housing market can be smoothly implemented through monopoly projects. This is judged to be an abuse of market dominant position under the Fair Trade Act, and excessive restrictions on pre-sale guarantee requirements may cause delays in business and infringement of property rights of members. First, the establishment of a designation system for market dominant operators of the Fair Trade Commission enables new entry of private guarantee institutions. Second, it is necessary to improve regulations under Article 63 of the Fair Trade Act (consultation on the establishment of laws restricting competition, etc.). Third, through the establishment of the 「Rules on Housing Supply」 under Article 15 (2), the Minister of Land, Infrastructure and Transport can additionally designate a guarantee institution, thereby guaranteeing the right to select a pre-sale guarantee for the business entity. In addition, it is expected that at least one of a number of guarantee insurance companies can be designated to improve the efficiency of the distribution of social benefits, thereby lowering the volatility of housing prices. Listen and suggest.

• Journal of Cadastre & Land InformatiX
• /
• v.44 no.2
• /
• pp.231-242
• /
• 2014

On the Pre-Housing-Sale Systems there are many risks that developers might not fulfill the pre-sale obligations. In korea, in order to protect the people who bought houses from these risk, the Housing Sold Guarantee System was introduced and has been operated. Even though this system if there is accident in the pre-sale warranty business, several problems, such as damages caused to the people who bought the houses, occurs. Therefore, research is needed to Housing Sold Guarantee accident factor. But there are few study about it. This study attempted to analyze influencers on the possibility of the accident. We employ 3,026 data which Korea Housing Guarantee Co., Ltd manages and analyze them empirically, using business characteristics, housing market characteristics, and regional characteristics. Especially this study used to the binary logistic regression model. The results of analysis showed that the accident rate of Housing Sold Guarantee had been effected on the business type, house type, project financing guarantee, operator credit rating, housing market, and regional characteristics.

• KDI Journal of Economic Policy
• /
• v.38 no.3
• /
• pp.79-106
• /
• 2016

This paper investigates the effectiveness of public credit guarantee programs and interest-support programs for SMEs (small and medium enterprises). First, assuming that there is an imperfect information structure in the SME loan market, we analyze how SME support financial programs affect the corporate decisions made by SMEs with regard to default or loan sizes. In addition, this paper theoretically computes the optimal levels of credit guarantee amounts and the interest-support spread under equilibrium with imperfect information in a competitive loan market. Second, the paper empirically analyzes the continuous policy-treatment effect with the GPS (generalized propensity score) method. In particular, we consider the ratio of guaranteed debt to the total debt as a continuous policy treatment. The empirical results show that marginal effects of a credit guarantee on SMEs' productivity, profitability, and growth potential decrease with the ratio of guaranteed debt to the total debt. In addition, the average effect of a credit guarantee is maximized when this ratio is at 50% to 60%.

• THE INTERNATIONAL COMMERCE & LAW REVIEW
• /
• v.60
• /
• pp.79-106
• /
• 2013

The world is significant increasing investment volume into developing countries from foreign investors. Foreign financial capital is searching in interesting place among the emerging market. However foreign investors put still their experience in the economical and social crisis with political risks in the host countries. MIGA entered into the political risks insurance market which has one of the basic matter of sponsored the private investment guarantee programs. They put guarantee or covering risks of currency inconvertibility, expropriation, breach of contract and political violence. In the case contracts of guarantee concluded between investor and MIGA which are disputes in relation to such MIGA service contract, it should be settled by negotiation, conciliation and arbitration under the convention establishing the Multilateral Investment Guarantee Agency(MIGA). All disputes within the scope to states and investor of MIGA members shall be settled in accordance with the procedure set out in the convention. Recently, MIGA is opening the office in Seoul to strengthen joint efforts between MIGA and Korea. It will be a good chance to consider sustainable improvement and dispute solutions for emerging countries in foreign investment to the korean investors.

• The Journal of Fisheries Business Administration
• /
• v.51 no.3
• /
• pp.49-71
• /
• 2020

A fisher means any person employed to provide his/her labor in a fishing vessel in exchange for a wage. There is no concept of a fisher in Seafarers Act. This act shall not apply to seafarers who are in service on board a fishing vessel the gross tonnage of which is less than 20 tons. However, of the total 63,112 fishing vessels, only 2,829 fishing vessels have a total tonnage of more than 20 tons. Fishermen engaged in fishing vessels with a gross tonnage of which is less than 20 tons are not guaranteed to be paid arrears through the Wage Claim Guarantee Fund for Seafarer (Article 56). In addition, fishermen working on a fishing vessel are excluded from the Wage claim Guarantee Act. The Labor Standards Act shall apply to fishermen engaged in fishing vessels with a gross tonnage of which is less than 20 tons. Fishermen and seafarers are at a higher risk of living security than regular workers. Guaranteeing the payment of wages is essential for fishermen to improve the life and employment stability. In order to guarantee fisher wage claims, the concept of a fisher in the Seafarers Act must be realized by sources such as the Wage Claim Guarantee Fund of Ministry of Oceans and Fisheries, step by step expansion of members in the wage claim guarantee fund for seafarers and interest for delayed payment of wages, etc.

• THE INTERNATIONAL COMMERCE & LAW REVIEW
• /
• v.42
• /
• pp.133-160
• /
• 2009

In International trade the buyer and seller are normally separated from on another not only by distance but also by differences in language and culture. It is rarely possible for the performance of obligations to be simultaneous and the performance of contracts therefore calls for trust in a situation in which the parties are unlikely to feel able to trust each other unless they have a longstanding and successful relationship. Thus the seller under an international contract of sale will not wish to surrender documents of title to goods to the buyer until he has at least an assurance of payment, and no buyer will wish to pay for goods until he has received them. A gap of distrust thus exists which is often bridged by the undertaking of an intermediary known and trusted by both parties who will undertake on his own liability to pay the seller the contract price in return for the documents of title and then pass the documents to the buyer in return for the reimbursement. This is a common explanation of the theory behind the documentary letter of credit in which the undertaking of a bank of international repute serves as a "guarantee" to each party that the other will perform his obligations. The independence principle, also referred to as the "autonomy principle", is at the core of letter of credit or bank guarantee law. This principle provides that the letter of credit or bank guarantee is independent of the underlying contractual commitment - that is, the transaction that the credit is intented to secure - between the applicant and the beneficiary ; the credit is also independent of the relationship between the bank and its customer, the applicant. The most important exception to the independence principle is the doctrine of fraud in the transaction. A strict interpretation of the rule that the guarantee is independent of the underlying transaction would lead to the conclusion that neither fraud nor manifest abuse of rights by the beneficiary would constitute an objection to payment. There is one major problem related to "Independent guarantees", namely abusive or unfair callings. The beneficiary may make an unfair calling under the guarantee. The countermeasure of beneficiary's unfair calling divided three cases. First, advance countermeasure namely by contract. In other words, when the formation of the contract, the parties must insert the Force Majeure Clause, Arbitration Clause to Contract, and clear statement to the condition for demand calling. Second, post countermeasure namely by court. Many countries, including the United States, authorize the courts to grant an order enjoining the issuer from paying or enjoining the beneficiary from receiving payment under the guaranty letter. Third, Export Insurance. For example, the Export Credit Guarantees Department is prepared, subject to certain conditions, to cover the risk of unfair calling. Of course, KEIC in Korea is cover the risk of the all things for guarantees. On international projects, contractor performance is usually guaranteed by either a standby letters of credit or Independent guarantee. These instruments will be care the parties.

• Journal of Global Scholars of Marketing Science
• /
• v.15 no.3
• /
• pp.31-48
• /
• 2005

The purpose of the study is to identify the flexibility of marketing effects which applies of practical service guarantee strategy over hotel service and methodological effects of practical service guarantee. And the detailed purposes were: first of all, how service guarantee strategy identified by previous theoretical researches influences on a service reliability and service value practically; second, how service reliability and service value influence on customer loyalty; third, how service guarantee influences on customer loyalty directly. According to the results, 5 hypotheses were selected from 5 research hypothesis proposed in this study. The concrete contents were; First, the study inspected how service guarantee strategy influences on service reliability and service value practically. The result was that service guarantee exerted positive influence on service reliability and service value. Second, the study inspected how service reliability and service value influence on customer loyalty. The result service reliability and service value exerted positive influence on customer loyalty. Third, the study inspected how service guarantee strategy influences on customer loyalty. The result service guarantee exerted positive influence on customer loyalty.