|
단일 소프트웨어 산출물에 대한 추적성 향상 기법
|
김대엽 ;윤 청
|
pp.1-6
|
|
보기
|
|
|
|
KVMF 메시지처리를 위한 소스 코드 자동 생성 방안
|
김형권 ;손영창 ;손진규
|
pp.7-12
|
|
보기
|
|
|
|
Thin Client를 활용한 ITIL기반의 업무실적 관리 시스템 개발
|
원재웅 ;김준태 ;김영아 ;김영곤
|
pp.13-16
|
|
보기
|
|
|
|
리스크 기반 시험을 적용한 전장관리정보체계 시험 방안 연구
|
박상욱 ;권원일
|
pp.17-21
|
|
보기
|
|
|
|
ITIL 기반을 이용한 IT 서비스 개선 프로그램 개발
|
김형래 ;편상현 ;김지혜 ;김영곤
|
pp.22-26
|
|
보기
|
|
|
|
레이더 통제 소프트웨어의 유스케이스 기반 모델 설계 및 신뢰성 향상 방안
|
김홍수 ;정명수 ;배창옥 ;김우성
|
pp.27-30
|
|
보기
|
|
|
|
해외 외주 프로젝트 이행을 위한 요구사항 시뮬레이션 도구 기반의 Agile Scrum Process연구
|
안중근 ;인 호 ;이동현 ;김능회
|
pp.31-35
|
|
보기
|
|
|
|
통신 전자전 소트프웨어 연동 시험을 위한 동적 메시지 생성기 설계
|
박경태 ;이병관
|
pp.36-40
|
|
보기
|
|
|
|
어셈블리어 코드 기반의 Null Pointer 접근 가능성 검출
|
김현수 ;김병만 ;배현섭
|
pp.41-44
|
|
보기
|
|
|
|
국방체계 소프트웨어를 위한 SOA의 가능성 및 한계
|
류제영
|
pp.45-49
|
|
보기
|
|
|
|
EMR시스템에 그리드 기술을 적용한 대용량 고속 데이터 처리 프레임워크 설계
|
신동민 ;신동규 ;신동일
|
pp.50-55
|
|
보기
|
|
|
|
소프트웨어 복잡성을 감소시키기 위한 객체 모델
|
이종국
|
pp.56-61
|
|
보기
|
|
|
|
SPLE의 특성을 지원하는 확장 유스케이스 다이어그램
|
백승훈 ;강석중
|
pp.62-65
|
|
보기
|
|
|
|
대형 금융정보 Data 처리를 위한 DB I/O모듈 생성엔진 개발
|
정재군 ;김장원 ;백두권
|
pp.66-70
|
|
보기
|
|
|
|
SOA와 WOA 융합 :차세대 금융 프레임워크 적용 연구
|
윤광열 ;이한우 ;김성철 ;최종무 ;유해영
|
pp.71-76
|
|
보기
|
|
|
|
금융시스템을 위한 Zachman Framework 설계
|
박해윤 ;김규억 ;박소현 ;최종무 ;유해영
|
pp.77-81
|
|
보기
|
|
|
|
데이터 연동 소프트웨어 개발 프로세스 개선
|
박은철 ;박송화
|
pp.82-26
|
|
보기
|
|
|
|
RDS기반 로보틱스 시뮬레이션 SPL 설계 및 구현
|
홍성용
|
pp.87-91
|
|
보기
|
|
|
|
아키텍처 기술언어 독립적인 아키텍처 기반 런타임 재구성 기법
|
신광철 ;윤현상 ;이은석
|
pp.92-96
|
|
보기
|
|
|
|
Correctness by Construction을 적용한 안전필수 시스템 개발
|
신지훈 ;오준석 ;윤용기 ;최진영
|
pp.97-102
|
|
보기
|
|
|
|
캐시 프로파일을 활용한 향상된 소프트웨어 파이프라인 스케쥴링
|
이석영 ;이재목 ;문수묵
|
pp.103-107
|
|
보기
|
|
|
|
소프트웨어 신뢰성 향상을 위한 크리티컬 컴퍼넌트 추출 알고리즘
|
이종현 ;윤현상 ;이은석
|
pp.108-113
|
|
보기
|
|
|
|
소프트웨어 신뢰도의 정량적 분석 자동화 기법
|
박철현 ;윤현상 ;이은석
|
pp.114-119
|
|
보기
|
|
|
|
실시간 UML을 이용한 회전익 UAV 제어 소프트웨어 설계 및 구현
|
배종윤 ;김창주 ;권주흠 ;이영무 ;문창주
|
pp.120-125
|
|
보기
|
|
|
|
관점 지향 팀 프로젝트의 통합 시 문제분석을 위한 관점지향모델링 기법
|
박종혁 ;박승규 ;이윤주 ;전슬마로 ;이관우
|
pp.126-130
|
|
보기
|
|
|
|
모바일 인터넷 디바이스(MID)의 SaaS 서비스 개발기법
|
이현민 ;김지원
|
pp.131-136
|
|
보기
|
|
|
|
MID 어플리케이션의 신뢰성 향상을 위한 클라우드 컴퓨팅 활용 기법
|
이정우 ;이호중
|
pp.137-141
|
|
보기
|
|
|
|
SOA 기반 금융위기 조기 경보 서비스 구현
|
강동우 ;박희권 ;나호진 ;최종무 ;유해영
|
pp.142-145
|
|
보기
|
|
|
|
가능성 있는 불변식과 검증반례에 기반한 테스트케이스 생성을 위한 제안
|
조준희 ;한동수
|
pp.146-149
|
|
보기
|
|
|
|
Model-Driven Architecture(MDA)기반 소프트웨어 자동 생성을 위한 모델 변환기 자동 생성 도구
|
김준희 ;윤현상 ;이은석
|
pp.150-155
|
|
보기
|
|
|
|
고등학생 선호도를 이용한 메이크업 추천 시스템 개발
|
오성진 ;최민기 ;김희수 ;유기엽 ;조혜민 ;김승연 ;정경용
|
pp.156-160
|
|
보기
|
|
|
|
스마트 홈 환경에서의 개인화 상황인식서비스를 위한 상황 및 서비스 관리 방법
|
박정현 ;박정규 ;이긍해
|
pp.161-166
|
|
보기
|
|
|
|
룰 기반 개인화 상황인식서비스 추상화 방법
|
정강현 ;박정현 ;박정규 ;이긍해
|
pp.167-172
|
|
보기
|
|
|
|
대용량 디지털 사진을 위한 효과적인 중첩 레이아웃 방법론
|
장철진 ;윤태진 ;조환규
|
pp.173-178
|
|
보기
|
|
|
|
e-learning을 통한 병원교육훈련
|
천용범 ;최진영
|
pp.179-184
|
|
보기
|
|
|
|
6축 모션 센서에 기반한 SWAT 수신호 모션 인식 시스템
|
윤 준 ;편기현 ;백두성 ;김남수
|
pp.185-188
|
|
보기
|
|
|
|
열악한 조명 환경을 위한 자동 크로마키 시스템 구현
|
황지순 ;최승인 ;하진영
|
pp.189-194
|
|
보기
|
|
|
|
소셜 네트워크 구성을 위한 모바일 컨텍스트 설계 및 수집
|
박한샘 ;정태민 ;조성배
|
pp.195-198
|
|
보기
|
|
|
|
모바일 행위인지 센서로거 개발
|
임동진 ;김형일 ;안재윤 ;정찬민 ;허태호 ;이성호 ;한만형 ;구교호 ;김우영 ;
|
pp.199-203
|
|
보기
|
|
|
|
모바일 실내용 네비게이션 시스템
|
신지강 ;이춘오 ;신승욱 ;한동수
|
pp.204-207
|
|
보기
|
|
|
|
정보통신 윤리 교육을 위한 웹 콘텐츠 설계 및 구현
|
김혜민 ;이윤배
|
pp.208-211
|
|
보기
|
|
|
|
USB 카메라를 이용한 영어 단어 카드 인식
|
신가연 ;하진영
|
pp.212-216
|
|
보기
|
|
|
|
Web을 기반한 e-Learning용 PMIS
|
정재훈 ;김의룡 ;김의태 ;김영곤 ;최진구
|
pp.217-221
|
|
보기
|
|
|
|
IMS LD 표준에 기반한 과정 관리자와 실행 엔진의 설계 및 구현
|
이창훈 ;김영근 ;노진홍
|
pp.222-226
|
|
보기
|
|
|
|
웹 기반 TCP/IP 학습 시스템
|
오동진 ;한현구
|
pp.227-231
|
|
보기
|
|
|
|
클라우드 컴퓨팅 환경에서 u-러닝 시스템의 실시간 학습자 자료 저장 방식 설계
|
김성숙 ;김성규
|
pp.232-236
|
|
보기
|
|
|
|
운영체제의 프로세스와 자원 관리 체계용 시뮬레이터의 설계 및 구현
|
정성균 ;백광흠 ;이상곤
|
pp.237-241
|
|
보기
|
|
|
|
HDR 영상의 광원 정보 추정 및 변형
|
유재덕 ;조지호 ;이관행
|
pp.242-246
|
|
보기
|
|
|
|
비디오 만화화를 위한 대화형 비디오 물체 변형 시스템
|
이선영 ;이인권
|
pp.247-250
|
|
보기
|
|
|
|
이미지 리사이징을 위한 플로우 기반의 심카빙 기법
|
김수화 ;윤종철 ;이인권
|
pp.251-255
|
|
보기
|
|
|
|
구조화된 격자구조 상의 유동 데이터를 위한 병렬 가시화 기법
|
이중연
|
pp.256-260
|
|
보기
|
|
|
|
Sketch기반 Network 시뮬레이션 시스템
|
최준탁 ;최윤철
|
pp.261-264
|
|
보기
|
|
|
|
상호작용적인 3D City Modeling 기술 연구에 대한 조사 및 분석
|
박윤정 ;민덕기
|
pp.265-269
|
|
보기
|
|
|
|
개선된 쿠벨카-뭉크 이론을 사용한 반투명 재질의 효과적인 표현 방법에 관한 연구
|
김회민 ;고광희 ;이관행
|
pp.270-273
|
|
보기
|
|
|
|
FLIP 기법을 이용한 회전하는 원통 안에서 운동하는 유체 시뮬레이션
|
이승주 ;김현수 ;최한균 ;박민기 ;고광희 ;이관행
|
pp.274-277
|
|
보기
|
|
|
|
교차촬영 방식을 통한 근거리 입체 파노라마 영상 제작 방법
|
조윤정 ;조동섭
|
pp.278-281
|
|
보기
|
|
|
|
컬러 및 적외선 정보를 이용한 깊이 카메라 기반의 매팅 기법
|
조지호 ;이관행
|
pp.282-287
|
|
보기
|
|
|
|
이산미분기하를 기반으로 한 비누막 모델링
|
박민기 ;김현수 ;최한균 ;이승주 ;고광희 ;이관행
|
pp.288-292
|
|
보기
|
|
|
|
2차 변형 행렬을 이용한 물체의 구부러짐과 꼬임 컨트롤
|
안정호 ;권지용 ;이인권
|
pp.293-297
|
|
보기
|
|
|
|
NAND형 플래시 메모리의 균등 사용을 위한 지움 정책
|
박송화 ;박은철
|
pp.298-302
|
|
보기
|
|
|
|
리눅스상의 각 파일 시스템에서의 SSD 성능 실험
|
박창현 ;조석희 ;원유집
|
pp.303-308
|
|
보기
|
|
|
|
분기 예측을 위한 개선된 레지스터 값 패턴 형성 방법
|
이준용 ;이인환
|
pp.309-314
|
|
보기
|
|
|
|
어플리케이션의 과거 실행 패턴에 기반한 페이지 교체 알고리즘
|
이석용 ;이인환
|
pp.315-319
|
|
보기
|
|
|
|
NAND 플래시 메모리에서 랜덤 로그 버퍼의 가비지 컬렉션 성능 향상을 위한 페이지 이주 기법
|
이부경 ;하병민 ;조현진 ;엄영익
|
pp.320-324
|
|
보기
|
|
|
|
NAND 플래시 메모리를 위한 그룹 기반 소거 횟수 평준화 기법
|
황남웅 ;강동현 ;조현진 ;엄영익
|
pp.325-328
|
|
보기
|
|
|
|
반복적 추출 단어 분리를 이용한 핵심 키워드 추출 기법에 관한 연구
|
구민오 ;민덕기
|
pp.329-334
|
|
보기
|
|
|
|
경성 실시간 커널 RT-eCos 3.0 기반 고정익 UAV 제어 HILS 시스템의 설계 및 구현
|
김세기 ;서한석 ;김정국
|
pp.335-340
|
|
보기
|
|
|
|
PACWD :디스크 접근 시간 감소를 위한 파일 시스템을 통한 페이지 할당 정책
|
김보곤 ;안우현
|
pp.341-344
|
|
보기
|
|
|
|
유비쿼터스 지능형 디바이스 관리를 위한 공간 모델
|
최은아 ;박창규 ;김순동 ;이정원
|
pp.345-350
|
|
보기
|
|
|
|
유비쿼터스 홈을 위한 서비스-지향 액추에이터 개발
|
조규남 ;박창규 ;조위덕 ;이정원
|
pp.351-356
|
|
보기
|
|
|
|
가상 스크리닝을 위한 원격처리환경 시스템
|
박명학 ;임상범 ;이종현
|
pp.357-361
|
|
보기
|
|
|
|
클라우드 환경에서 자원의 이용 형태 분석을 통한 신뢰성 모델 구현
|
이하나 ;김혁호 ;김양우
|
pp.362-367
|
|
보기
|
|
|
|
디지털 TV 소프트웨어 플랫폼을 위한 하이브리드 자바 컴파일 환경의 구성
|
정동헌 ;오형석 ;문수묵
|
pp.368-372
|
|
보기
|
|
|
|
다중 에이전트 환경에서 에이전트 협업을 위한 태스크 할당 모델
|
김태현 ;송창환 ;장현수 ;엄영익
|
pp.373-376
|
|
보기
|
|
|
|
리눅스의 쓰기 입출력 응답성 향상을 위한 동적 쓰기 캐시 할당 기법
|
김성진 ;박찬익
|
pp.377-382
|
|
보기
|
|
|
|
위치기반의 멀티미디어 서비스를 위한 효율적이고 확장성 있는 프레임워크 설계
|
김봉재 ;민 홍 ;정진만 ;김석현 ;조유근 ;홍지만
|
pp.383-387
|
|
보기
|
|
|
|
안드로이드 기반 모바일 플랫폼을 위한 새로운 NAND 플래시 메모리 파일 시스템
|
오용석 ;박찬익
|
pp.388-393
|
|
보기
|
|
|
|
시각 장애인을 위한 모바일 점자 메신저
|
전형민 ;안정모 ;홍우람 ;전광일
|
pp.394-397
|
|
보기
|
|
|
|
TTCN-3 GFT와 UML 매핑에 관한 비교 및 분석
|
조나연 ;경민기 ;민덕기
|
pp.398-401
|
|
보기
|
|
|
|
웹기반 지식관리를 위한 지식평가시스템의 설계 및 구현
|
박유리 ;조동섭
|
pp.402-405
|
|
보기
|
|
|
|
Experience from managing private planetLab Korea
|
Chun Jong Park ;Keon Jang ;Sue Moon
|
pp.406-410
|
|
보기
|
|
|
|
마감시간을 고려한 유연성 있는 디스크 SCAN 알고리즘
|
임성채
|
pp.411-415
|
|
보기
|
|
|
|
Liberation 코드 기법을 적용한 SSD 기반의 RAID-6 시스템 성능 비교
|
송재석 ;허준무 ;이동환 ;박광희 ;김덕환
|
pp.416-419
|
|
보기
|
|
|
|
임베디드 가상 머신 모니터 기반 경량 드라이버 도메인 구현
|
박찬주 ;이인환
|
pp.420-424
|
|
보기
|
|
|
|
임베디드 시스템 상에서의 가상화 기술 적용
|
김효수 ;신동군
|
pp.425-429
|
|
보기
|
|
|
|
AirScope Portal :도시 상세규모 대기환경 포털 서비스
|
강미란 ;임상범 ;이종현 ;길경준
|
pp.430-435
|
|
보기
|
|
|
|
안드로이드 모바일 플랫폼에서의 사용자 인터페이스 자동 전환 기술의 개발
|
권오철 ;김주성 ;이창건 ;하은용
|
pp.436-440
|
|
보기
|
|
|
|
실시간 임베디드 환경과 엔터프라이즈 환경의 연동을 위한 DDS와 ESB의 결합 구조 설계 및 구현
|
박윤정 ;경민기 ;구민오 ;용한마로 ;조나연 ;민덕기
|
pp.441-445
|
|
보기
|
|
|
|
레지스터 배열을 이용한 FPGA 에뮬레이터 인터페이싱 방법
|
이원곡 ;백지훈 ;최종필
|
pp.446-449
|
|
보기
|
|
|
|
Combining 분기 예측기에서의 Choice 분기 예측기의 포화 카운터에 관한 연구
|
안영정 ;황대연 ;이용석 ;최진영
|
pp.450-454
|
|
보기
|
|
|
|
이질적인 서비스들 사이의 상호운용을 위한 양방향 블루투스 어댑터 설계
|
류동호 ;황윤영 ;이규철
|
pp.455-460
|
|
보기
|
|
|
|
AUTOSAR 적합성 테스트 도구를 이용한 차량전장용 소프트웨어 검증 방안
|
경민기 ;민덕기
|
pp.461-464
|
|
보기
|
|
|
|
IT 융합 기반 회전진동 계측진단기 개발
|
최현덕 ;함기석 ;염상길 ;노영주
|
pp.465-468
|
|
보기
|
|
|
|
NAND 플래시 메모리에서 업데이트 패턴을 고려한 효율적인 페이지 할당 기법
|
김희태 ;김경석
|
pp.469-473
|
|
보기
|
|
|
|
쓰기 버퍼링과 인터럽트 버퍼링을 이용한 다중 프로세서 시스템 시뮬레이션
|
윤덕용 ;하순회
|
pp.474-478
|
|
보기
|
|
|
|
대규모 단백질 서열 데이터베이스를 대상으로 하는 효과적인 후보 단백질 선정 알고리즘
|
이재준 ;박희진 ;백은옥
|
pp.479-484
|
|
보기
|
|
|
|
분산 처리 클러스터 프레임워크 설계 및 구현
|
구민오 ;민덕기
|
pp.485-490
|
|
보기
|
|
|
|
IO 집합자의 부하에 따른 MPI-IO 성능 분석
|
차광호 ;맹승렬 ;김성호
|
pp.491-495
|
|
보기
|
|
|
|
SMP 슈퍼컴퓨터에서의 Barrier Synchronization 성능 평가
|
차광호 ;김성호 ;이 식
|
pp.496-499
|
|
보기
|
|
|
