|
1 |
Systematic Evaluation of Fault Trees using Real-Time Model Checker
지은경;차성덕;손한성;유준범;구서룡;성풍현;
/
Korean Institute of Information Scientists and Engineers
, v.29, no.12, pp.860-872,
|
|
2 |
A Model for Estimation Software Development Team Size
이상운;
/
Korean Institute of Information Scientists and Engineers
, v.29, no.12, pp.873-882,
|
|
3 |
The Design and Implementation of Automata-based Testing Environments for Multi-thread Java Programs
서희석;정인상;김병만;권용래;
/
Korean Institute of Information Scientists and Engineers
, v.29, no.12, pp.883-894,
|
|
4 |
Specification Technique of EJB-Based Application using Design by Contracts Approach
노혜민;유철중;
/
Korean Institute of Information Scientists and Engineers
, v.29, no.12, pp.895-906,
|
|
5 |
Performance Metrics for EJB Applications
나학청;김수동;
/
Korean Institute of Information Scientists and Engineers
, v.29, no.12, pp.907-925,
|
|
6 |
An Analysis Methodology for Probabilistic Specification and Execution Prediction for Improving of Reliability of Fault-Tolerant Real-Time Systems
Lee, Chol;Lee, Moon-Kun;
/
Korean Institute of Information Scientists and Engineers
, v.29, no.12, pp.926-939,
|
|
7 |
Image Retrieval using Modified Color Correlogram
안명석;조석제;
/
Korean Institute of Information Scientists and Engineers
, v.29, no.12, pp.940-946,
|
|
8 |
An MVP-based XML Language for User Interfaces
최종명;신경희;유재우;
/
Korean Institute of Information Scientists and Engineers
, v.29, no.12, pp.947-956,
|
|
9 |
Java Garbage Collection for a Small Interactive System
권혜은;김상훈;
/
Korean Institute of Information Scientists and Engineers
, v.29, no.12, pp.957-965,
|
|
10 |
An Active Learning-based Method for Composing Training Document Set in Bayesian Text Classification Systems
김제욱;김한준;이상구;
/
Korean Institute of Information Scientists and Engineers
, v.29, no.12, pp.966-978,
|
|