01189nam a2200217 c 4500001001300000005001500013008004100028040001100069041001300080052003100093245020800124300002400332545006000356545007400416653017900490700005300669700003600722773017800758900001800936900001700954KSI00091084920140207171244130809s2013    ulk           000   kor    a0110010 akorbeng01a004.05b한613ㅈㅎc2(4)00a컨텍스트 인지 모바일 컴퓨팅을 위한 정형모델 및 추론 시스템 설계 =x(A) formal model and a design of inference engine for context-aware mobile computing /d김문권,e김수동  ap. 239-250 ;c30 cm  a김문권, 숭실대학교 컴퓨터학과 석사과정  a김수동, 숭실대학교 컴퓨터학부 교수bsdkim777@gmail.com  a모바일 컴퓨팅a컨텍스트 인지 컴퓨팅a퍼베이시브 컴퓨팅a추론 엔진aMobile computingaContext-aware computingaPervasive computingaInference engine1 a김문권,g金文權,d1989-0KAC2020849654aut1 a김수동,d1958-0KAC2016075130 t정보처리학회논문지. 소프트웨어 및 데이터 공학.d한국정보처리학회.g2권 4호(2013년 4월), p. 239-250q2:4<239w(011001)KSE201201387,x2287-590510aKim, Moonkwon10aKim, Soodong