{"id":453,"date":"2016-12-15T00:00:23","date_gmt":"2016-12-14T15:00:23","guid":{"rendered":"https:\/\/www.csit.ist.hokudai.ac.jp\/?p=453"},"modified":"2022-03-31T18:26:04","modified_gmt":"2022-03-31T09:26:04","slug":"20161215","status":"publish","type":"post","link":"https:\/\/c-mng.cwh.hokudai.ac.jp\/www.csit.ist\/Root\/news_from_student\/20161215.html","title":{"rendered":"[\u53d7\u8cde] \u84d1\u7530\u73b2\u7dd2\u5948\u3055\u3093(\u535a\u58eb3\u5e74)\u30fb\u7530\u4e2d\u8b72\u7279\u4efb\u6559\u6388\u30fb\u6e4a\u771f\u4e00\u6559\u6388\u304c UBICOMM 2016 \u306e Best Paper Award \u3092\u53d7\u8cde"},"content":{"rendered":"

\u84d1\u7530\u73b2\u7dd2\u5948\u3055\u3093(\u535a\u58eb3\u5e74)\u30fb\u7530\u4e2d\u8b72\u7279\u4efb\u6559\u6388\u30fb\u6e4a\u771f\u4e00\u6559\u6388\u304c The Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016)\u306eBest Paper Award \u3092\u53d7\u8cde\u3057\u307e\u3057\u305f\u3002
\n\u53d7\u8cde\u65e5\uff1a2016\u5e7411\u670826\u65e5
\n\u6c0f\u540d \u8077\u540d\/\u5b66\u5e74\uff1a\u84d1\u7530 \u73b2\u7dd2\u5948 \u535a\u58eb3\u5e74*1,\u3000\u7530\u4e2d \u8b72 \u7279\u4efb\u6559\u6388*2,\u3000\u6e4a \u771f\u4e00 \u6559\u6388*1
\n\u6240\u5c5e\uff1a*1 \u60c5\u5831\u79d1\u5b66\u7814\u7a76\u79d1 \u60c5\u5831\u7406\u5de5\u5b66\u5c02\u653b \u77e5\u8b58\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u8b1b\u5ea7 \u5927\u898f\u6a21\u77e5\u8b58\u51e6\u7406\u7814\u7a76\u5ba4
\n\u3000\u3000\u3000*2 \u60c5\u5831\u79d1\u5b66\u7814\u7a76\u79d1 \u60c5\u5831\u7406\u5de5\u5b66\u5c02\u653b
\n\u6388\u4e0e\u56e3\u4f53\uff1aThe Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016)
\n\u8cde\u540d\uff1aBest Paper Award
\n\u53d7\u8cde\u8ad6\u6587\u540d\uff0c\u7814\u7a76\u984c\u76ee\u540d\uff1a
\n\uff62Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking (\u30e2\u30c7\u30eb\u691c\u67fb\u306b\u3088\u308b\u30b9\u30de\u30fc\u30c8\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u9593\u306e\u8fd1\u63a5\u9023\u643a\u30b7\u30ca\u30ea\u30aa\u306e\u691c\u8a3c)\uff63
\n\u554f\u3044\u5408\u308f\u305b\u5148\uff1a\u3000Tel 011-706-6469, E-mail minato[a]ist.hokudai.ac.jp (\u6e4a\u771f\u4e00)<\/p>\n","protected":false},"excerpt":{"rendered":"

\u84d1\u7530\u73b2\u7dd2\u5948\u3055\u3093(\u535a\u58eb3\u5e74)\u30fb\u7530\u4e2d\u8b72\u7279\u4efb\u6559\u6388\u30fb\u6e4a\u771f\u4e00\u6559\u6388\u304c The Tenth International Conference on Mobile Ubiquitous Computing, Systems, Servi […]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[4],"tags":[],"_links":{"self":[{"href":"https:\/\/c-mng.cwh.hokudai.ac.jp\/www.csit.ist\/Root\/wp-json\/wp\/v2\/posts\/453"}],"collection":[{"href":"https:\/\/c-mng.cwh.hokudai.ac.jp\/www.csit.ist\/Root\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/c-mng.cwh.hokudai.ac.jp\/www.csit.ist\/Root\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/c-mng.cwh.hokudai.ac.jp\/www.csit.ist\/Root\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/c-mng.cwh.hokudai.ac.jp\/www.csit.ist\/Root\/wp-json\/wp\/v2\/comments?post=453"}],"version-history":[{"count":1,"href":"https:\/\/c-mng.cwh.hokudai.ac.jp\/www.csit.ist\/Root\/wp-json\/wp\/v2\/posts\/453\/revisions"}],"predecessor-version":[{"id":1144,"href":"https:\/\/c-mng.cwh.hokudai.ac.jp\/www.csit.ist\/Root\/wp-json\/wp\/v2\/posts\/453\/revisions\/1144"}],"wp:attachment":[{"href":"https:\/\/c-mng.cwh.hokudai.ac.jp\/www.csit.ist\/Root\/wp-json\/wp\/v2\/media?parent=453"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/c-mng.cwh.hokudai.ac.jp\/www.csit.ist\/Root\/wp-json\/wp\/v2\/categories?post=453"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/c-mng.cwh.hokudai.ac.jp\/www.csit.ist\/Root\/wp-json\/wp\/v2\/tags?post=453"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}