• Asia pacific journal of information systems
• /
• 제9권2호
• /
• pp.99-115
• /
• 1999

Electronic Data Interchange (EDI) is an important part of interorganizational electronic commerce due to the strategic impact derived from its use. In order to ensure successful implementation of EDI, EDI controls must first be developed. Because they are implemented in an environmental context, the characteristics of organizational environments have a significant impact on EDI controls. The control strategy for the EDI system - formal, informal, and automated controls - should fit certain organizational environments. A research model has been developed to depict the moderating effects of six environmental variables including industry, organizational, and task characteristics on the relationships between controls and implementation. It is shown empirically that the relationships between EDI controls and implementation are indeed affected by these factors. The results can help management design formal, informal, and automated controls in view of their own environmental contexts.

• 한국경영과학회지
• /
• 제17권3호
• /
• pp.79-99
• /
• 1992

The DEVS (Discrete Event system Specification) formal model for discrete event simulation is a hierarchical, modular model. Because the DEVS formal model has a mathematical structure, it provides a theoretic background of discrete event simulation model. However, the DEVS formal model is difficult to understand because of its mathematical structure. Also, since the DEVS formal model is often constructed by heuristic, subjective method of model designer from the model, a systematic model built-in methodology does not exist. In this paper, we propose the model formalization methodology from an informal model to the DEVS formal model. For this formalization methodology, we introduce formal tools for model construction based on the DEVS ( from an informal model : Event Dependency Graph (EDG) for the event analysis and State Representation Graph(SRG) for the system state analysis.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 춘계학술발표논문집 (하)
• /
• pp.669-672
• /
• 2001

Jini 는 분산 컴퓨팅을 위한 새로운 아키텍쳐이다. 리싱등을 포함한 다양한 분산 컴퓨팅을 위한 패러다임들이 Jini 에서 제시되었다. Jini 서비스를 이용하기 위해 대부분의 경우 Sun 사가 제공하는 Jini 라이브러리를 사용하여 서비스를 검색한다. 이러한 서비스 검색을 위한 라이브러리의 사용은 불투명한 서비스 선택정책 및 시스템 성능저하의 문제점을 가지고 있다. 본 논문은 이러한 문제점들을 해결하기 위해 Jini 를 위한 인터셉터인 JINT 의 설계 및 구현방안을 제시한다. JINT 의 사용은 투명한 서비스 선택을 가능케 해주며 네트워크 혼잡 및 과대한 시스템 리소스를 사용하는 서비스 프록시 다운로드의 문제점을 해결할 수 있다. 또한, JINT 의 이용에 대한 효율성을 알아보기 위해 기존에 제안된 Jini 부하분산을 JINT 를 사용하여 구현하는 방안을 제시한다.

• 한국언어정보학회지:언어와정보
• /
• 제11권2호
• /
• pp.67-86
• /
• 2007

The semantic literature on definiteness and specificity shows that the former is relatively an established notion, whereas the latter is still a vague notion that needs to be more clarified and confirmed. Given this, Ionin (2006) argues for the reality of specificity based on the informal use of this. She proposes this in spoken English as a specificity marker which has a semantic feature indicating "peaker intent to refer" and "noteworthiness." She also provides as evidence the results of some crosslinguistics studies including an L2 acquisition study with both L1-Russian and L1-Korean L2-English learners. However, this paper will argue that the informal use of this does not seem to mark specificity according to Ionin's definition of specificity. It will also be argued that the L2 acquisition study cannot be used as evidence for the reality of specificity. Based on these arguments, this paper will try to redefine specificity, based on the notions of existence and uniqueness.

• 디지털콘텐츠학회 논문지
• /
• 제17권3호
• /
• pp.197-202
• /
• 2016

이 논문에서는 비정형 의료이미지 정형화 및 패턴 추출을 위해, 의료기기 또는 의료전문가로부터 생성 또는 감지되는 의료이미지 저장을 위한 데이터베이스 구축한다. 이러한 비정형 이미지의 특징을 정형화된 디지털 데이터로 변환한 후 정형화된 디지털 이미지 데이터로부터 의미있는 패턴 정보를 생성한다. 이러한 경험 기술 소개를 통해 많은 연구자들은 의료이미지 데이터베이스를 보다 쉽게 접근할 수 있고 다양한 분야에서 정형화된 의료이미지를 활용할 수 있다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 춘계학술대회 논문집
• /
• pp.1333-1339
• /
• 2008

Typically, we regularly have carried out a technical review to know a progress status and outcomes of a project to the appropriate technical plans. But during the technical review executed at a planned point of time, lots of problems; reports of an ambiguous progress status and outcomes, a discordance between opinions, and an hour's delay, have been occurred. To solve those problems an early stage, an informal reviews are executed before the formal technical review. One of the informal review is the Peer-Review. This paper is a matter of the effective and efficient Reer-Review process utilized in performing the national research and development project. Additionally, it was presented a general misunderstanding and improvement plan about the Peer-Review.

• 한국환경교육학회지:환경교육
• /
• 제23권4호
• /
• pp.15-31
• /
• 2010

This research aimed for revealing social interaction-based environmental learning elements at the natural history museum. First, we carried out a survey of the perceptual change about 'the environment' concept. It was for confirming whether environmental learning occurred in visiting. Second, we found environmental learning elements through analyzing dialogues among small group members during looking around the museum. Social interaction-based environmental learning elements were classified into five; knowledge, affection, value, skill, behaviour. Each environmental learning element included several sub-elements, so we revealed totally 9 environmental learning sub-elements. By results, we said characteristics and possibility of the natural history museum as an informal environmental educational institution. It is meaningful for extending areas of environmental education.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제23권1호
• /
• pp.1-12
• /
• 2020

In this case study, a professor was observed to investigate use of instructional examples when teaching the Intermediate Value Theorem in a calculus course. Video-recorded lessons were analyzed with constant comparison to video-stimulated recall interviews and field notes. The professor employed multiple instructional examples, which was initiated by students and modified by the professor. The professor asked students to build non-existing examples as an informal proof of the Intermediate Value Theorem and assessment of students' previous knowledge. Use of incorrect examples on instructional purpose can be an appropriate way for formative assessment as well as a bridge between informal and formal proofs in college mathematics.

• 한국품질경영학회:학술대회논문집
• /
• 한국품질경영학회 2006년도 춘계학술대회
• /
• pp.216-223
• /
• 2006

An Effect of Website quality on Service Value and Customer Satisfaction in the Internet Banking Internet Banking is very popular in Korea these days. More than 25million are using Internet Banking. This study is to find Quality Factors for Internet Banking Services and relationship among Internet Banking Service Value, Customer Satisfaction and Reuse. In this study we found that Service Value is prior to Customer Satisfaction. And also, Service Value and Customer Satisfaction affect customers reuse respectively. This study also found that 7 factors compose Internet Banking Service Quality. They are Convenience Security, Informal ion Providing, Communication, Design, System Correcteness. Convenience, Informal ion Providing, Communication and Design affect Internet Banking Service Value. System, Correcteness and Convenience affect Customer Satisfaction. So we learened that Internet Banking Customers discriminate Service Value from Satisfaction.

• International journal of advanced smart convergence
• /
• 제10권2호
• /
• pp.130-137
• /
• 2021

In the current software project, it is still very difficult to extract and define clear requirements in the requirement engineering. Informal requirements documents based on natural language can be interpreted in different meanings depending on the degree of understanding or maturity level of the requirements analyst. Also, Furthermore, as the project progresses, requirements continue to change from the customer. This change in requirements is a catastrophic failure from a management perspective in software projects. In the situation of frequent requirements changes, a current issue of requirements engineering area is how to make clear requirements with unclear and ambigousrequirements. To solve this problem, we propose to extract and redefine clear requirements by incorporating Design Thinking methodologies into requirements engineering. We expect to have higher possibilities to improve software quality by redefining requirements that are ambiously and unclearly defined.