研究者データベース

POWELL COURTNEY RICARDO(パウエル コートニー リカルド)
情報基盤センター システムデザイン研究部門
特任助教

基本情報

所属

  • 情報基盤センター システムデザイン研究部門

職名

  • 特任助教

ホームページURL

J-Global ID

研究キーワード

  • Concurrent Computing   Artificial intelligence   Thought controlled computing   Infrastructure as code   Infrastructure automation   Inter-cloud networking   Cloud computing   

研究分野

  • 情報通信 / 情報ネットワーク / Distributed Systems, Cloud Computing
  • 情報通信 / ソフトウェア
  • 情報通信 / 知能情報学
  • 情報通信 / ウェブ情報学、サービス情報学
  • 情報通信 / 高性能計算

職歴

  • 2011年11月 - 現在 HOKKAIDO UNIVERSITY Information Initiative Center Cloud Computing Research Associate
  • 2011年04月 - 2011年10月 HOKKAIDO UNIVERSITY Information Initiative Center Postdoctoral Research Associate
  • 2001年04月 - 2006年03月 NATIONAL WORKS AGENCY, Jamaica (www.nwa.gov.jm) IT Engineer/Systems Analyst
  • 1997年04月 - 2001年03月 Ministry of Transport and Works, Jamaica—www.mtw.gov.jm Directorate of Electrical & Mechanical Services (DEMS) Telecom Engineer

学歴

  • 2007年10月 - 2011年03月   北海道大学大学   大学院情報科学研究科複合情報専攻   博士課程
  • 2005年10月 - 2007年09月   北海道大学大学   大学院情報科学研究科複合情報専攻   修士課程
  • 2000年 - 2001年   University of Technology   Computer Networks Engineering   Certificate
  • 1993年10月 - 1996年09月   西インド諸島大学   工学部電子とコンピュータ工学   学士号

所属学協会

  • IEEE InterCloud Working Group (P2302)   

研究活動情報

論文

  • コートニー パウエル, 相澤 孝至, 棟朝 雅晴
    Third IEEE International Conference on Cloud Networking (IEEE CLOUDNET 2014), , Luxembourg City, Luxembourg 2014年10月 [査読有り][通常論文]
  • Towards a User Deployable Service-oriented Autonomic Multi-cloud Overlay Infrastructure for Sky Computing
    コートニー パウエル
    2013 International Conference on Grid & Cloud Computing and Applications (GCA'13), Las Vegas, Nevada, USA 2013年07月 [査読有り][通常論文]
  • Shibboleth を用いたインタークラウド システムのための認証基盤の設計
    相澤 孝至, 棟朝 雅晴, パウエル コートニー
    第6回インターネットと運用技術シンポジウム(IOTS2013) 2013年 [査読有り][通常論文]
  • POWELL Courtney, MUNETOMO Masaharu, SCHLUETER Martin, MIZUKOSHI Masataka
    Lect Notes Comput Sci 8211 427 - 438 2013年 [査読無し][通常論文]
  • Courtney Powell, Masaharu Munetomo, Attia Wahib, Takashi Aizawa
    IEEE/ACM 6th International Conference on Utility and Cloud Computing, UCC 2013, Dresden, Germany, December 9-12, 2013 458 - 463 IEEE 2013年 [査読有り][通常論文]
  • POWELL Courtney, AKAMA Kiyoshi, NAKAMURA Keisuke
    Int J Innov Comput Inf Control 7 7(A) 4067 - 4081 2011年07月 [査読無し][通常論文]
  • A Formal Methodology for Concurrent Componentwise Development of Rich Internet Applications
    コートニー パウエル
    北海道大学 2011年03月 [査読有り][通常論文]
  • A Methodology for Harnessing and Utilizing Innate Rich Internet Application Concurrency
    コートニー パウエル, 赤間 清
    4th International Symposium on Global COE Program of Center for Next-Generation Information Technology Based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2011), Sapporo, Japan 226 - 227 2011年01月 [査読無し][通常論文]
  • コートニー パウエル
    International Conference on Computational Intelligence and Software Engineering (CiSE), Wuhan, China 3 2009年12月 [査読有り][通常論文]
  • Proposal of Web application construction using Web-application-specification language
    Keisuke Nakamura, Kiyoshi Akama, Courtney Powell
    PROCEEDING OF THE 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT TECHNOLOGIES 216 - 220 2009年 [査読有り][通常論文]
     
    The construction of the Web application is more complex than the construction of a general stand-alone application. A complex reason are the Web application has the feature of the distributed computation and parallel computation. A web application implementing is difficult though a specification must be simple. If the Web application can be constructed just like a general stand-alone application, it is advantageous for the Web developer. If it is possible to convert to program from the specification, it will be able to avoid a complex implementation. In this thesis, it proposes the method of constructing the Web application by a conceptual specification description.
  • A Formal Methodology for Behavioral Modelling and Synthesis of Data-driven Rich Internet Applications
    Courtney Powell, Kiyoshi Akama, Keisuke Nakamura, Hidekatsu Koike
    PROCEEDING OF THE 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT TECHNOLOGIES 121 - 130 2009年 [査読有り][通常論文]
     
    Rich Internet Applications (RIAs) seek to combine the best of traditional desktop applications with the best of the Web. However, due to the complexity of these applications, traditional Web Application methodologies and techniques are proving inadequate to correctly model and implement them in a systematic way. In this paper we outline a stepwise incremental equivalent transformation-based methodology for systematically constructing behavioral models for RIAs and also for synthesizing implementation-level code from these models. We also introduce a composite RIA behavioral model and demonstrate its efficacy by using it to model a Bank Teller RIA; and extending it to model a GIS application.
  • An Intuitive, Flexible, Formal Specification Language based on Equivalent Transformation
    コートニー パウエル, 赤間 清
    9th International Conference on Intelligent Technologies (InTech'08), Samui, Thailand 113 - 122 2008年10月 [査読有り][通常論文]
  • Extending the Equivalent Transformation Framework to Model Dynamic Interactive Systems
    コートニー パウエル, 赤間 清
    WSEAS Transactions on Computers 7 4 235 - 244 2008年 [査読有り][通常論文]
  • Courtney Powell, Kiyoshi Akama, Toshihiro Wakatsuki
    PDCAT 2008: NINTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS 285 - + 2008年 [査読有り][通常論文]
     
    Correct and efficient Dynamic Inlet-active Systems (DISs) are vet), difficult to conceptualize, model, implement, and maintain due to their dynamism and multiple concurrent interactive processes. As a result construction of DISs is time-consuming and implemented DISs are error-prone and difficult to comprehend and analyze. In this paper we describe an intuitive and systematic process by which models for DISs cat? be incrementally conceptualized from ideas or specifications and then used to generate concrete DIS programs in a target language/platform. The models constructed and the generated DIS programs are mathematically comprehensible; are amenable to Formal Methods; and can be reasoned about and rigorously analyzed.
  • コートニー パウエル, 赤間 清
    2nd International Conference on Innovative Computing, Information and Control (ICICIC), Kumamoto, Japan 2007年09月 [査読有り][通常論文]
  • Conceptual Modelling and Transformation of Dynamic Interactive Systems Based on the Equivalent Transformation Framework
    コートニー パウエル
    北海道大学 2007年09月 [査読有り][通常論文]

講演・口頭発表等

  • SC13 Conference Booth Exhibition  [通常講演]
    コートニー パウエル, 棟朝 雅晴
    International Conference for High Performance Computing, Networking, Storage, and Analysis (Denver, Colorado, USA) 2013年11月 ポスター発表
  • SC12 Conference Booth Exhibition  [通常講演]
    コートニー パウエル, 棟朝 雅晴
    International Conference for High Performance Computing, Networking, Storage, and Analysis (Salt Lake City, Utah, USA) 2012年11月 ポスター発表

受賞

  • 2004年04月 Japanese Government Monbukagakusho Scholarship
     
    受賞者: コートニー パウエル
  • 2003年 National Works Agency Certificate of Recognition for Outstanding Accomplishments
     
    受賞者: コートニー パウエル


Copyright © MEDIA FUSION Co.,Ltd. All rights reserved.