• Journal of Information Technology Applications and Management
• /
• v.20 no.4
• /
• pp.83-95
• /
• 2013

This study aims to analyze factors that affect satisfaction of students in employment-contract information technology master programs, and suggest policy implications to improve management of employment-contract master programs. A survey of students supported by Software master program of National IT Industry Promotion Agency (NIPA) and Knowledge Information Security master program of Korea Internet and Security Agency (KISA) indicates that department administration, department vision, scholarship, adviser, and lecturer affect satisfaction of students in employment-contract master programs in listed order.

• 한국디지털정책학회:학술대회논문집
• /
• 2004.11a
• /
• pp.55-73
• /
• 2004

The Internet is a wonderland that can be enjoyed by the young, old, and those in-between. It is also a vast commercial market where many contracts are formed every second. The Internet and E-Commerce have created new situations that have generated sweeping proposals for fundamental changes in contract law. During the first half of the 20th Century. when many businesses expanded their geographic scope, there was a tremendous desire for uniform treatment of contracts for the sale of goods throughout the U.S.A. and the whole world. That same dynamic is now occurring in E-Commerce. There is a general recognition of the desirability of uniform contract law to govern E-commerce, but to date that does not exist, though there are extensive proposals for reform of contract law on the Internet. E-Commerce is currently plagued by some of the same problems that led to the passage of the UCC. In the absence of uniform legislation, state-by-state differences are inevitable with respect to E-Commerce. State-by-state differences in E-Commerce contract law is widely viewed as undesirable. To deal with this problem, a number of uniform bills have been proposed including UCITA, UETA, and revisions to Article 2 of the UCC (Subpart B). The thrust of these uniform acts is to create legal parity between paper records and electronic records. There is considerable resistance by consumer groups to this parity and progress towards Passage of UCITA, UETA, and revised Article 2 has been slow. The UCITA covers licenses of computer software but does not cover the sale oil goods on the Internet. The scope of the UCITA includes computer software. multimedia interactive products, computer data and databases, and Internet and online information, The UETA deals comprehensively with E-Commerce and contract law. The UCC covers the sale of goods, which does not necessarily involve E-Commerce. The basic principles of contract law are modified to deal with Internet transactions. Intent is inferred from the operations of electronic agents and "signatures" can occur with a response to an invitation to click to accept.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2008.05a
• /
• pp.591-594
• /
• 2008

This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framework provides an explicit opportunity for software composers as well as software components to test a priori security properties of software components in a system composition. The proposed framework uses logic programming as a tool to represent security properties of atomic components and reason about their compositional matching with other components.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.365-368
• /
• 2004

소프트웨어 신뢰성을 보장하기 위한 Eiffel의 Design by Contract[1,2] 기법은 프로그램 코드 안에 코드가 뜻하는 바를 함께 기술하는 것으로 소프트웨어가 명세의 주어진 조건에 따라 정확히 동작하도록 하고 있다. 그것은 재사용성이 높은 콤포넌트를 기반으로 하는 콤포넌트 기반 소프트웨어 개발방법에 있어서 중요한 특징이다. 본 논문에서는 C++언어의 타입 상속에서 올바른 의미적 타입 계층구조를 유지할 수 있도록 Design by Contract 기법을 적용하고, 기능을 활용할 수 있는 방안을 제시하였다. 또한, 객체지향 프로그래밍에 있어서 올바른 타입 구조를 형성할 수 있도록 하여, 견고한 소프트웨어 콤포넌트를 제작할 수 있도록 유도하였다.

• Journal of Software Engineering Society
• /
• v.28 no.2
• /
• pp.1-6
• /
• 2019

There are various stakeholders in the blockchain ecosystem. Since the emergence of Ethereum, many transactions have been made using smart contracts, and a wider range of stakeholders are participating, including not only developers, but also investors, banks, companies, and general users. However, various stakeholders have a problem in that it is difficult and complicated to check the state of smart contracts. If it becomes difficult to check the state, the reliability of the smart contract will be lowered and the utilization will be lowered. Also, if the state check is difficult and complicated for the developer, it will be difficult to provide high quality due to the difficulty of testing and debugging the smart contract developed by the developer. In this research, we propose a design and implementation method of the Ethereum Smart Contract State Monitoring System that enables various stakeholders and developers to easily and continuously check the state of smart contracts and analyze them using historical data.

• Journal of the Semiconductor & Display Technology
• /
• v.18 no.1
• /
• pp.74-78
• /
• 2019

As software becomes larger and network technology develops, the management of distributed data becomes more popular. Therefore, it is becoming increasingly important to use blockchain technology that can guarantee the integrity of data in various fields by utilizing existing infrastructure. Blockchain is a distributed computing technology that ensures that servers participating in a network maintain and manage data according to specific agreement algorithms and rules to ensure integrity. As smart contracts are applied, not only passwords but also various services to be applied to the code. In order to reinforce existing research on smart contract applied to the blockchain, we proposed a dynamic conditional rule of smart contract that can formalize rules of smart contract by introducing ontology and SWRL and manage rules dynamically in various situations. In the previous research, there is a module that receives the upper rule in the blockchain network, and the rule layer is formed according to this module. However, for every transaction request, it is a lot of resources to check the top rule in a blockchain network, or to provide it to every blockchain network by a reputable organization every time the rule is updated. To solve this problem, we propose to separate the module responsible for the upper rule into an independent server. Since the module responsible for the above rules is separated into servers, the rules underlying the service may be transformed or attacked in the middleware. Therefore, the security mechanism using TLS and PKI is added as an agent in consideration of the security factor. In this way, the benefits of computing resource management and security can be achieved at the same time.

• Journal of Information Technology Services
• /
• v.10 no.4
• /
• pp.281-293
• /
• 2011

Server consolidation and virtualization have become an integral part of IT planning to reduce TCO cost and ensure the high availability for customer, enlarge the flexibility to computing resource in today' enterprise data centers. In spite of having the variety advantages of server consolidation and virtualization, they cause many problems such as the software licensing issues, virtual server sprawl, network complexity issues, hardware start-up costs, and failover costs. In particular, software licensing problem brings about the serious results in operating of data center and also presents a significant challenge to virtualization because many vendors have realized that licensing policies applicable to physical systems are not compatible with virtual machines. So, the IT planers must be considering this problem before they conducts the server consolidation and virtualization. In this paper, we proposed the efficiency strategy of SW licensing for server consolidation and virtualization analyzing the N-Datacenter case in Korea. As a result, we suggest the two strategies as technical and management/contract aspect. First, as the technical aspect, we propose i) the adaptation of suitable licensing for virtualization, ii) differentiation of license according to the characteristics of server, iii) the core distribution of licenses to minimizing. Second, as the management/contract aspect, we suggest following three things. i) The existing license agreement is changed to the right licensing for virtualization. ii) The license agreement is contracts the active focused. iii) When a new contract should be added to virtualization provisions.

• Korean Journal of Community Nutrition
• /
• v.12 no.2
• /
• pp.178-188
• /
• 2007

This study was performed to suggest a new efficiency measurement indicator is necessary for evaluating management efficiency of food service operations in contract-managed foodservice companies, to distinguish efficient food service providers and inefficient ones by measuring comparative efficiency among food service operations, and to provide guidance for effective management through showing benchmarking targets for improving inefficient food service providers. The subjects of this study were the 93 B&I foodservice Operations of a domestic contract food service company. The analysis was conducted using CCR model in DEA model. A software, 'Frontier analyst', was used for the analysis. Based on the results derived from comparison of efficiency evaluation classified by providers with use of DEA, it was possible to identify efficient food providers and inefficient providers, and subsequently provide benchmarking guidelines for improvement of the inefficient groups. In analyzing the differences between the results of DEA efficiency evaluation by detailed operation status of food service providers, there was significant difference of efficiency outcomes in terms of contract types, while there was no significant difference in terms of business condition.

• International Journal of Advanced Culture Technology
• /
• v.11 no.4
• /
• pp.193-201
• /
• 2023

With the end of global COVID-19 epidemic, hospital staff are likely to be "physically and mentally exhausted" after three years of grueling work in the fight against the epidemic. At this point, it is especially important to enable them to continue to maintain their previous proactive work behavior. This study focuses on 400 employees of various types in three-A grade hospitals in Zhanjiang, Guangdong Province, through the proactive motivation model. Statistical software SPSS 25.0 and AOMS 22.0 were used to analyze the survey data to test whether role modeling in hospital management can have an impact on employees' proactive behaviors, in addition to verifying the mediating role of transactional psychological contract. The results of this study show that: First, role modeling of hospital leaders has a positive effect on employees' proactive behavior and a negative effect on their transactional psychological contract; Second, transactional psychological contract has a negative effect on employees' proactive behavior; Third, the transactional psychological contract mediates the effect between role modeling of leaders and employees' proactive behavior. The results of this research add to the F-path of proactive motivation model, and provide enlightenments and implications for hospital management.

• Journal of the Korea Safety Management & Science
• /
• v.6 no.3
• /
• pp.211-235
• /
• 2004

Component based design is perceived as a key technology for developing advanced real-time systems in a both cost- and time effective manner. Already today, component based design is seen to increase software productivity, by reducing the amount of effort needed to update and maintain systems, by packaging solutions for re-use, and easing distribution. Nowdays, a thousand and one companies in If(Information Technology) industry such as Sl(System Integration) and software development companies, regardless of scale of their projects, has spent their time and endeavor on developing reusable business logic. The component software is the outcome of software developers effort on overcoming this problem; the component software is the way propositioned for quick and easy implementation of software. In addition, there has been lots of investment on researching and developing the software development methodology and leading If companies has released new standard technologies to help with component development. For instance, COM(Component Object Model) and DCOM(Distribute COM) technology of Microsoft and EJB(Enterprise Java Beans) technology of Sun Microsystems has turned up. Component-Based Development (CBD) has not redeemed its promises of reuse and flexibility. Reuse is inhibited due to problems such as component retrieval, architectural mismatch, and application specificness. Component-based systems are flexible in the sense that components can be replaced and fine-tuned, but only under the assumption that the software architecture remains stable during the system's lifetime. In this paper, It suggest that systems composed of components should be generated from functional and nonfunctional requirements rather than being composed out of existing or newly developed components. about implements and accomplishes the modeling for the Product Control component development by applying CCD(Contract-Collaboration Diagram), one of component development methodology, to MRP(Material Requirement Planning) System