{"id":775,"date":"2017-08-05T12:00:23","date_gmt":"2017-08-05T03:00:23","guid":{"rendered":"http:\/\/art.ist.hokudai.ac.jp\/?p=775"},"modified":"2017-08-08T05:16:44","modified_gmt":"2017-08-07T20:16:44","slug":"peccs-2017-best-paper-award","status":"publish","type":"post","link":"https:\/\/art.ist.hokudai.ac.jp\/?p=775","title":{"rendered":"PECCS 2017 Best Paper Award"},"content":{"rendered":"<p>7\u670824\u65e5\u306b\u7814\u7a76\u5ba4\u306e\u84d1\u7530\u3055\u3093\u304c\u30b9\u30da\u30a4\u30f3\u3067\u958b\u50ac\u3055\u308c\u305f\u56fd\u969b\u4f1a\u8b70 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS) \u3067\u767a\u8868\u3057\u305f\u7814\u7a76\u304c<a href=\"http:\/\/peccs.org\/PreviousAwards.aspx\">Best Paper Award\u3092\u53d7\u8cde<\/a>\u3057\u307e\u3057\u305f\uff01\u304a\u3081\u3067\u3068\u3046\u3054\u3056\u3044\u307e\u3059\u3002<\/p>\n<p><a href=\"http:\/\/dx.doi.org\/10.5220\/0006429900130021\">Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking<\/a><br \/>\nReona Minoda and Shin-ichi Minato<\/p>\n<p><a href=\"http:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/BestPaperAward.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-medium wp-image-772\" src=\"http:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/BestPaperAward-212x300.jpg\" alt=\"\" width=\"212\" height=\"300\" srcset=\"https:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/BestPaperAward-212x300.jpg 212w, https:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/BestPaperAward-768x1086.jpg 768w, https:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/BestPaperAward-724x1024.jpg 724w, https:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/BestPaperAward.jpg 849w\" sizes=\"(max-width: 212px) 100vw, 212px\" \/><\/a><\/p>\n<p>\n\t\t<style type=\"text\/css\">\n\t\t\t#gallery-1 {\n\t\t\t\tmargin: auto;\n\t\t\t}\n\t\t\t#gallery-1 .gallery-item {\n\t\t\t\tfloat: left;\n\t\t\t\tmargin-top: 10px;\n\t\t\t\ttext-align: center;\n\t\t\t\twidth: 33%;\n\t\t\t}\n\t\t\t#gallery-1 img {\n\t\t\t\tborder: 2px solid #cfcfcf;\n\t\t\t}\n\t\t\t#gallery-1 .gallery-caption {\n\t\t\t\tmargin-left: 0;\n\t\t\t}\n\t\t\t\/* see gallery_shortcode() in wp-includes\/media.php *\/\n\t\t<\/style>\n\t\t<div id='gallery-1' class='gallery galleryid-775 gallery-columns-3 gallery-size-thumbnail'><dl class='gallery-item'>\n\t\t\t<dt class='gallery-icon landscape'>\n\t\t\t\t<a href='https:\/\/art.ist.hokudai.ac.jp\/?attachment_id=782'><img loading=\"lazy\" decoding=\"async\" width=\"150\" height=\"150\" src=\"https:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/getimage_480-150x150.jpg\" class=\"attachment-thumbnail size-thumbnail\" alt=\"\" srcset=\"https:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/getimage_480-150x150.jpg 150w, https:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/getimage_480-230x230.jpg 230w, https:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/getimage_480-80x80.jpg 80w\" sizes=\"(max-width: 150px) 100vw, 150px\" \/><\/a>\n\t\t\t<\/dt><\/dl><dl class='gallery-item'>\n\t\t\t<dt class='gallery-icon landscape'>\n\t\t\t\t<a href='https:\/\/art.ist.hokudai.ac.jp\/?attachment_id=779'><img loading=\"lazy\" decoding=\"async\" width=\"150\" height=\"150\" src=\"https:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/IMG_20170725_142043-150x150.jpg\" class=\"attachment-thumbnail size-thumbnail\" alt=\"\" srcset=\"https:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/IMG_20170725_142043-150x150.jpg 150w, https:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/IMG_20170725_142043-230x230.jpg 230w, https:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/IMG_20170725_142043-80x80.jpg 80w\" sizes=\"(max-width: 150px) 100vw, 150px\" \/><\/a>\n\t\t\t<\/dt><\/dl><dl class='gallery-item'>\n\t\t\t<dt class='gallery-icon landscape'>\n\t\t\t\t<a href='https:\/\/art.ist.hokudai.ac.jp\/?attachment_id=778'><img loading=\"lazy\" decoding=\"async\" width=\"150\" height=\"150\" src=\"https:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/IMG_20170724_134126-150x150.jpg\" class=\"attachment-thumbnail size-thumbnail\" alt=\"\" srcset=\"https:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/IMG_20170724_134126-150x150.jpg 150w, https:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/IMG_20170724_134126-230x230.jpg 230w, https:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/IMG_20170724_134126-80x80.jpg 80w\" sizes=\"(max-width: 150px) 100vw, 150px\" \/><\/a>\n\t\t\t<\/dt><\/dl><br style=\"clear: both\" \/><dl class='gallery-item'>\n\t\t\t<dt class='gallery-icon portrait'>\n\t\t\t\t<a href='https:\/\/art.ist.hokudai.ac.jp\/?attachment_id=777'><img loading=\"lazy\" decoding=\"async\" width=\"150\" height=\"150\" src=\"https:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/IMG_20170724_133800-150x150.jpg\" class=\"attachment-thumbnail size-thumbnail\" alt=\"\" srcset=\"https:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/IMG_20170724_133800-150x150.jpg 150w, https:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/IMG_20170724_133800-230x230.jpg 230w, https:\/\/art.ist.hokudai.ac.jp\/wp-content\/uploads\/2017\/08\/IMG_20170724_133800-80x80.jpg 80w\" sizes=\"(max-width: 150px) 100vw, 150px\" \/><\/a>\n\t\t\t<\/dt><\/dl>\n\t\t\t<br style='clear: both' \/>\n\t\t<\/div>\n<\/p>","protected":false},"excerpt":{"rendered":"<p>7\u670824\u65e5\u306b\u7814\u7a76\u5ba4\u306e\u84d1\u7530\u3055\u3093\u304c\u30b9\u30da\u30a4\u30f3\u3067\u958b\u50ac\u3055\u308c\u305f\u56fd\u969b\u4f1a\u8b70 7th Intern&hellip; <\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"_links":{"self":[{"href":"https:\/\/art.ist.hokudai.ac.jp\/index.php?rest_route=\/wp\/v2\/posts\/775"}],"collection":[{"href":"https:\/\/art.ist.hokudai.ac.jp\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/art.ist.hokudai.ac.jp\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/art.ist.hokudai.ac.jp\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/art.ist.hokudai.ac.jp\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=775"}],"version-history":[{"count":3,"href":"https:\/\/art.ist.hokudai.ac.jp\/index.php?rest_route=\/wp\/v2\/posts\/775\/revisions"}],"predecessor-version":[{"id":783,"href":"https:\/\/art.ist.hokudai.ac.jp\/index.php?rest_route=\/wp\/v2\/posts\/775\/revisions\/783"}],"wp:attachment":[{"href":"https:\/\/art.ist.hokudai.ac.jp\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=775"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/art.ist.hokudai.ac.jp\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=775"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/art.ist.hokudai.ac.jp\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=775"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}