|
Software Language Seminar (2018년)
|
DATE
|
Subject
|
PPT
|
|
12월 21일
|
고가영 : Implementation of Real-Time Monitor for SmartThings Smart App
|
Down
|
|
7월 23일
|
박나연 : Smart Block: A Visual Programming Environment for SmartThings
|
Down
|
|
|
Software Language Seminar (2017년)
|
DATE
|
Subject
|
PPT
|
PAPER
|
|
12월 21일
|
손재닌 : Automatic Code Review for SmartThings application using Static Analysis
|
Down
|
Down
|
|
12월 20일
|
박나연 : Visualization tool for page structure of SmartThings Applications
|
Down
|
Down
|
|
10월 12일
|
손재닌 : Metrics for SmartApps
박나연 : Visualization tool for SmartApp
|
Down
Down
|
|
|
|
Ubiquitous Seminar (2007년)
|
DATE
|
Subject
|
PPT
|
|
7월 6일
|
* Manuel Roman, Chritopher Hess, Renato Cerqueira, Anand Ranganat Gaia : A Middleware Infrastructure to Enable Active Spaces Revised Paper #20(2nd Revision) Available: PDF
|
Down
|
|
7월 10일
|
* Context-Aware Middleware for Resource Management in the Wireless Internet
Available: PDF
|
Down |
| 7월 16일
|
* Jakob E.Bardram Design, Implementation, and Evaluation of the Java Context Awareness Framework(JCAF) Available: PDF
|
Down |
|
8월 10일
|
* Antonio Corradi, Rebecca Montanari, Daniela Tibaldi Context-based Access Control Management in Ubiquitous Environments |
Down |
|
8월 10일
|
* Minkyung Oh, Jiyeon Lee, Byeong-Mo Chang, Joonseon Ahn, and Kyung-Goo Doh Aprogramming Environment for Ubiquitous Computing |
Down |
|
8월 17일
|
* Stack inspecion Research
|
Down |
|
8월 17일
|
* Yun Kyung KIM, Byeong-Mo Chang java 스택 인스펙션을 위한 권한 검사 분석 시스템 Available: PDF |
Down |
|
|
Ubiquitous
Seminar (2006년)
DATE |
Subject |
PPT |
1월 |
* J.
E. Bardram, The Java Context Awareness Framework-JCAF
Available: PDF
| Down |
2월 |
* JCAF의 핵심구조
| Down |
3월 11일 |
* Joonseon Ahn, Byeong-Mo Chang, and Kyung-Goo Doh, A
Policy Description Language for Context-based Access Control and
Adaptation in Ubiquitous Environment |
|
3월 28일 |
* Access Control을 위한 구현 설계
| Down |
3월 31일 |
* Adaptation Rule Translation을 위한 구현 설계 |
Down |
4월 7일 |
*
Access Control을 위한 구현 설계
-
해시 테이블의 구현 설계 |
Down |
4월 11일 |
* PDL을 사용한 예제 시나리오 제시 |
Down |
6월 1일 |
*
An infrastructure for
context-awareness based on first order logic
Available: PDF
*
A first-order logic model for context-awareness in distributed
sensor-driven systems
Available: PDF |
Down
Down |
|
|
Monitoring
Seminar (2005년 6-8월)
DATE |
Subject |
PPT |
6 월
22일
(오민경) |
* Erlingsson
and Schneider, SASI Enforcement of Security Policy
1999 New
Security Paradigms Workshop
Available: PDF
| Down |
6 월 29일
(김윤경) |
* Erlingsson and
Schneider, IRM Enforcement of Java Stack Inspection
IEEE
Symposium on Security and Privacy, Oakland, CA, May 2000.
Available: PDF
| Down |
7 월 5일
(문세원) |
* 정보과학회 논문
사전 발표
| |
7 월 13일
(이지연) |
* S. Her and B.-M.
Chang Visualization of Exception Propagation for Java using Static
Analysis IEEE
Workshop on Source Code Analysis and Manipulation, Montreal,
Canada, October, 2002.
Available: PDF
| Down |
8 월 3 일
(김윤경) |
* H. Ohe and
B.-M. Chang An Exception Monitoring System for Java Rapid
Integration of Software Engineering(RISE'04), Nov. 2004,
Luxembourg.
Available: PDF |
Down |
8 월 10일
(문세원) |
* M.
Dmitriev Design of JFluid: A Profiling Technology and Tool
Available: PDF |
|
8 월 17일
(이지연) |
* D. Gunter
et al, Dynamic Monitoring of High-Performance Distributed
Applications,
2002 IEEE Int. Symposium on High Performance
Distributed Computing
Available: PDF |
Down |
8 월 24일
(오민경) |
* Bauer,
Ligatti, and Walker, Composing Security Policies with Polymer,
2005 ACM PLDI
Available: PS
PDF |
|
|
|
JVM
Seminar (2005년 3-4월)
- Text : 자바 가상 머신
프로그래밍
- Schedule
DATE |
Subject |
PPT |
3 월 10일
|
Chap 1. 자바 가상 머신의
소개
Chap 2. 가상 머신의 탐험 도구 .Oolong에 대하여
| Down
Down
|
3 월 17일 |
Chap 3. 메소드 작성하기
| Down |
3 월 24일 |
Chap 4. 클래스와
객체
Chap 5. 제어문
| Down
Down
|
3 월 31일
|
Chap 6. 자바 가상 머신의
검증과정
Chap 7. 자바 가상 머신을 통한 디버깅
| Down
Down
|
4 월 7 일
|
Chap 8. 자바 가상 머신의 클래스 로더
사용
Chap 9. 자바 클래스 파일의 내부 구조 |
Down
Down
|
4 월 14일
|
Chap 10. 자바 컴파일링의
안쪽
|
Down
Down
|
4 월 21일
|
Chap 14. 성능
향상시키기 |
Down |
|
4 월 28일
|
Chap 15. 보안과 자바 가상
머신
Chap 16. 스레드와 동기화 |
Down
Down
|
|
|
JBook
Seminar (2005년 1-2월)
- Text : Java and
the Java Virtual Machine
- Schedule
DATE |
Subject |
PPT |
1 월 13일
|
Chap 3. The imperative core JavaI of Java
Chap 4. The procedural
extension JavaC
of JavaI
| Down
Down
|
1 월 20일 |
Chap 5. The object-oriented extension JavaO of JavaC
Chap 6. The
exception-handling extension JavaE
of JavaO
| Down
Down
|
1 월 27일 |
Chap 7. The concurrent extension JavaT of JavaE
Paper 2
| Down
Down
|
2 월 3 일
|
Chap 9. The
JVMI submachine
Chap 10. The
procedural extension JVMC of JVMI
| Down
Down
|
2 월 17일
|
Chap 11. The object-oriented extension
JVMO of JVMC
Chap 12. The
exception-handling extension JVME of JVMO |
Down
Down
|
2 월 24일
|
Chap 15. The defensive
virtual machine
Paper 1 |
Down
Down
|
|
|
J2ME
Seminar (2004년 가을)
- Text : 모바일 자바
프로그래밍
- Schedule
|
DATE |
Subject |
PPT |
9 월 23일
|
* 자바 객체지향 프로그래밍
*
JDBC / WAP
| Down
Down
|
10월 7 일 |
* J2ME 개발 살펴보기
| Down
|
10월 14일 |
* CLDC 와 MIDP 살펴보기
| Down
|
10월 21일
|
* MIDLet 프로그래밍 기초
| Down
|
10월 28일
|
* MIDP 사용자 인터페이스 |
Down
|
11월 4 일
|
* MIDP 이벤트 다루기
* MIDP 그래픽
사용하기 |
Down
|
11월 11일
|
* MIDP 네트워크 프로그래밍 |
Down
|
11월 18일
|
* MIDP RMS를 이용한 데이터 저장하기 |
Down
|
|
J2ME
Seminar (2004년)
|
DATE |
Subject |
PPT |
|
3월 22일 |
Java 2 Platform Micro Edition
AdaptJ
|
Down
Down
|
|
3월 29일 |
JAVA ON HANDHELD DEVICES - COMPARING J2ME CDC TO JAVA 1.1AND JAVA
2
AdaptJ
|
Down
Down |
|
4월 06일 |
MIDP - MOBILE INFORMATION DEVICE PROFILE
Evolve |
Down
Down |
|
4월 12일 |
SMALL-SCALE JAVA VIRTUAL MACHINES |
Down
|
|
5월 03일 |
A
Java Virtual Machine Architecture for Very Small Devices
Mobile agents with
Java: The Aglet API
Program manipulation via interactive transformations, |
Down
Down
Down |
|
5월 10일 |
Using Adaptive Optimization Techniques To Teach Mobile Java
Computing |
Down |
|
|
Mobile Java objects
java-based mobile agent |
Down
Down |
|
|
Secure Mobile Agent Systems Using Java:
J2ME^TM Architecture And Related
Embedded Technologies(Make Corrections) |
Down
Down |
|
|
"GIS ON THE FLY" TO REALIZE WIRELESS GIS NETWORK BY JAVA MOBILE
PHONE
|
Down
Down |
|
|
Wireless mobile communication at the start of the 21st century
|
Down
Down |
|
JAVA
Seminar (2004년)
- Text : 프로그래머를
위한 JAVA2
- Schedule
|
DATE |
Subject |
PPT |
|
2월 2주 |
* Servlet Programming
|
Down
|
|
2월 3주 |
* JSP
|
Down |
|
J2ME
Seminar II (2004년)
- Text : 모바일 자바
프로그래밍
- Schedule
|
DATE |
Subject |
PPT |
|
1월 3주 |
* J2ME 개발 살펴보기 / CLDC
* MIDP와 MIDLet Programming
|
Down
Down
|
|
1월 5주 |
* MIDP User
Interface
* RMS를 이용한 데이터의 저장
|
Down
Down |
|
J2ME
Seminar I (2003 년)
- Text : Wireless
Java Programmng with J2ME
- Schedule
|
DATE |
Subject |
PPT |
|
9월 1주 |
Chap1.
무선 애플리케이션 개발에 대한 소개
Chap2. 무선 장치를 위한
JAVA
|
Down
Down
|
|
9월 3주 |
Chap3.
무선 자바 프로그래밍의 기초
Chap4. 무선 자바 애플리케이션의
패키지화와 배포
|
Down
Down |
|
10월 1주 |
Chap5.
무선 장치용 UI의 핵심 컴포넌트
Chap6. UI개발에서 High-Level API
사용하기 |
Down |
|
10월 2주 |
HAT의 사용
방법
J2ME Low level Exception
|
Down |
|
10월 3주 |
Chap8.
Persistent Storage |
Down |
|
10월 4주 |
JProbe 사용
방법 |
Down |
|
