• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.7
• /
• pp.510-514
• /
• 2009

If the existing real-time systems are integrated based on SOA, real-time SOA should be developed. Generally, in real-time SOA a service can be divided into several small services and their estimated execution time is given by provider systems. However, an estimation, which analyzes time elements related to transmit and receive messages among requesters and providers, is needed. In order to enhance QoS of Web service, this paper proposes enhanced worst-case execution time estimation by considering WS-transaction and common use of multi-processors system.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2015.01a
• /
• pp.73-76
• /
• 2015

최근 스마트 단말을 통한 유해 콘텐츠의 보급이 확산되면서 스마트 단말에서 유해 콘텐츠를 차단하기 위한 소프트웨어의 필요성이 증가하고 있다. 이에 본 논문에서는 안드로이드 기반 스마트 단말에서 실행 이벤트의 분석을 통하여 유해 콘텐츠를 탐지 할 수 있는 방법을 제안한다. 본 논문에서는 안드로이드기반 스마트 단말에서 스트리밍 서비스가 실행되는 구조 및 관련 실행 이벤트들의 연관성을 분석하였으며, 분석 결과를 토대로 스마트 단말에서 유해 콘텐츠의 실행 여부를 판단할 수 있는 소프트웨어를 개발하였다.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.6
• /
• pp.51-59
• /
• 2011

In domestic, the binary code analysis technology is insufficient. In general, an executable file that is installed on your computer without the source code into an executable binary files is given only the most dangerous, or because it is unknown if the action is to occur. In this paper, static program analysis at the binary level to perform the design and implementation framework. In this paper, we create a control flow graph. We use the graph of the function call and determine whether dangerous. Through Framework, analysis of binary files is easy.

• Journal of Korean Home Economics Education Association
• /
• v.16 no.1
• /
• pp.79-91
• /
• 2004

The purpose of this study was to examine how much secondary school home economics teachers paid attention to performance assessment, to what extent and in which way they carried it out and how much support was given to that. It's basically meant to help provide more systematic support for performance assessment. The instrument used in this study was an Interest-Based Reform Adoption Model developed by Hall. Hord and et. al. at Texas University Research & Development Center for Teacher Education. and the subjects in this study were home economics teachers from 95 secondary schools in Gyeonggi province. After a survey was conducted by mail. the responses from 157 teachers were chosen for analysis. For data handling. SPSS/WIN program was utilized, and statistical data on mean. standard deviation and percentage were obtained. In addition. t-test and ANOVA were employed. The major findings of this study were as follows: First. as for their type of interest in performance assessment. influential type(35.0%) was most common. followed by confident type (29.3%). indifferent type(20.4%) and task type(15.3%). Second, regarding their implementation. every teacher carried out performance assessment. The largest group of the teachers fulfilled it as part of routine daily schedule(60 teachers. 38.2%). which could be called the level 4. The second largest group tried to integrate performance assessment to education programs(53 teachers. 33.8%). which could be called the level 5. The third largest group implemented it without making careful preparations for that(26 teachers. 16.6%). which could be called the level 3. and the fourth largest group tried to reinvent it(11 teachers. 7.0%), which could be called the level 6. The fifth largest group was in the middle of researching it(5 teachers, 3.2%). which could be called the level 1. And the sixth largest group was in the course of making preparations for that(2 teachers. 1.3%) . which could be named the level 2. Third. concerning how much they found themselves to be supported about performance assessment. they eave three or less marks to that. which showed that they weren't supported sufficiently There was little gap among them in their concern for performance assessment and its implementation levels. and this fact suggested that there wasn't satisfactory backup for their performance assessment.

• Journal of The Korean Association For Science Education
• /
• v.29 no.8
• /
• pp.793-811
• /
• 2009

The purpose of this study is to understand how a teacher's teaching can be changed while he or she teaches the same contents in different classes. The qualitative research method was used in this study. Data were collected from classroom observations, several in-depth interviews, and stimulated-recall interviews after each class. All the data were transcribed and analyzed interpretively, and then, the results of the analysis were checked by each participating teacher. The results are as follows: First, changes appeared in each class in terms of the teaching items, tools, sequence, and time, even though the same teacher taught the same contents. It showed that the teacher's teaching practice changed immediately and intuitively in class. Second, teachers tried to implement "exploratory teaching" or "move-testing teaching" to address the emerging problems during their teaching. They then reflected on and modified their own teaching. This type of change, which happened during the teaching practice, can be an example of "Reflection-in-practice." Thus, the results of this study can provide helpful insights into how teachers might adapt and reflect in their teaching. It suggests that teachers need to recognize their subconscious teaching changes and learn "Reflection-in-practice."

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

EVM(Embedded Virtual Machine)은 임베디드 시스템을 위한 가상기계로서 플랫폼에 독립적이며, 모바일 디바이스와 디지털 TV등에 탑재할 수 있는 핵심 기술로 다운로드 솔루션에서는 꼭 필요한 기술이다. SIL(Standard Intermediate Language)은 임베디드 시스템을 위한 가상기계의 표준 중간 언어로 객체지향 프로그래밍 언어와 순차 적인 프로그래밍언어를 모두 수용할 수 있다. SIL로 기술된 프로그램이 EVM 에서 실행되기 위해서는 EFF(Executable File Format)형태로 변환되어야 한다. 임베디드 시스템을 위한 실행 파일 포맷인 EFF 는 구조가 간결하며 확장이 용이한 특징을 지닌다. 또한 메타데이터와 표준 중간 언어가 서로 독립적으로 구성되어 분석이 쉽고 타입 체크가 편리한 구조이다. 본 논문에서는 가상기계를 위한 표준 중간 언어인 SIL 을 EVM 에서 실행 가능한 형태로 변환시켜주는 실행 파일 포맷 생성기(EFF Generator)를 설계하고 구현한다. 먼저, SIL 구조를 위한 SIL 문법을 설계하고 파서 생성기(PGS)를 사용하여 SIL 프로그램을 위한 어휘분석기와 구문분석기를 구현한다. 그리고 AST를 생성한 후. 포맷 생성기를 통하여 AST를 운행하며 EFF를 생성한다.

• Journal of The Korean Association of Information Education
• /
• v.20 no.6
• /
• pp.597-606
• /
• 2016

By utilizing the TPCK model, this research analyzed the present state of pre-service elementary teachers' competencies related to the use of technology. It also conducted the Importance-Performance Analysis to prioritize remedial issues to improve curriculum related to the use of technology. A survey was conducted to 165 pre-service teachers who are senior students at a University. A questionnaire was used to investigate pre-service teachers' perception on the importance and performance related to Technology Knowledge, Technological Pedagogical Knowledge, Technological Content Knowledge and Technological Pedagogical Content Knowledge. As the result of the t-test, significant differences between importance scores and performance scores were found in all the competencies and 17 sub-competencies. In addition, as the results of the importance-performance analysis, 5 sub-competencies were found to be concentrated for the improvement, and 4 sub-competencies were found to be kept up because of their good work. Also 5 sub-competencies were turned out to have low priority, and 3 sub-competencies were turned out to be possible overkill.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.436-438
• /
• 2000

다양한 실행 경로가 존재하는 실시간 시스템을 이해하기 위해 시스템의 정적 정보와 함께 동정 정보가 사용자에게 적절히 제공되어야 한다. 본 논문은 정적 정보와 동적 정보를 표현하기 위해 SRL(System Representation Language)을 사용한다. 정적 정보는 SRL 노드를 분석해서 얻고 동적 정보는 SRL을 실행함으로 얻는다. SRL의 가상 실행은 시스템 독립적인 자바 가상 기계를 통해 이루어진다. 가상 실행은 순방향뿐만 아니라 역방향으로도 이루어진다. SRL 실행 라이브러리는 순.역방향 실행을 위해 SRL 각 구문의 의미 규칙에 맞게 정의하며 자바 가상 기계를 통해 실행되는 클래스 파일로 컴파일된다. 메모리에 로딩된 SRL은 SRL 실행 라이브러리를 동적으로 호출하여 가상 실행을 이룬다. 동적 실행을 통해 추출된 동적 정보는 SRL에 포함된다.

• Journal of Advanced Navigation Technology
• /
• v.17 no.5
• /
• pp.545-551
• /
• 2013

Packed technique makes difficult to respond quickly because the malicious-code is reduced size that easy to diffusion and changed code that make spend longer time for analysis. In this paper, we analysed the packing tool softwares and we proposed construction and detection methods of the packed technique for easy to analysis of the packed malicious code based on variation of entropy value.

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

응용프로그램이 복잡해지고 사용 환경이 다양해짐에 따라 신뢰성 높은 소프트웨어 생산을 위한 테스트가 중요시 되고 있다. 소프트웨어를 테스트하기 위해서는 각 기능에 따라 동작하는 모듈이 합당한 동작에 대해서 분석해야한다. 모듈은 다수의 실행경로로 이루어져 있으며 각 실행 경로에 따라 다른 결과를 출력하도록 설계되어 있다. 본 논문은 실행 경로에 따른 모듈의 인자를 자동으로 생성할 수 있는 방법을 제안한다. 프로그램은 블록간의 제어문 결합으로 이루어져 있고 다른 실행 경로를 생성하는 요인은 프로그램내의 제어문을 통해 결정된다. 그러므로 블록간의 결합을 제어의 종류에 따라 연산으로 표현하고 연산의 특성을 분석한다. 그리고 블록의 속성은 조건식을 가지고 있어 블록이 실행되는 조건을 표현한다. 각 연산의 특성에 맞게 조건식을 연산하여 블록이 동작하는 조건을 확인하고 최종적으로 실행 경로에 따른 모듈의 인자를 구하는 방법을 제안한다. 이 방법은 조건식에 영향을 주는 명령만을 추출하는 방법으로 인자를 구하기 위한 계산의 로드를 줄이는 장점이 있다.