| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Software Science (SS) Chair: Hiroyuki Seki (NAIST) Vice Chair: Shin Nakajima (NII) Secretary: Yoshiaki Takata (Kochi Univ. of Tech.), Naruki Mitsuda (Wakayama Univ.) Assistant: Hironobu Washizaki (Waseda Univ.) DATE: Thu, Oct 27, 2011 13:20 - 17:20 Fri, Oct 28, 2011 09:30 - 12:45 PLACE: Japan Advanced Institute of Science and Technology(1-1 Asahidai, Nomi, Ishikawa 923-1292 Japan.11 min. by JAIST shuttle bus from Tsurugi Sta. (Hokuriku Railroad Co.). http://www.jaist.ac.jp/english/location/index.html. Prof. Masato Suzuki) TOPICS: General topics ---------------------------------------- Thu, Oct 27 PM (13:20 - 14:50) ---------------------------------------- (1) 13:20 - 13:50 Research into the impact on sales caused by the spread of information on SNS -- Correlation between number of tweets on Twitter and sales of mobile application on iTunes AppStore -- Tasuku Okuda, Takami Yasuda (Nagoya Univ.), Masashi Mizuno (QueryEye) (2) 13:50 - 14:20 Information System Development Method Based on the Service Supply and Demand Schema Yoshihisa Tsubota, Tsuneo Ajisaka (Wakayama Univ.) (3) 14:20 - 14:50 DAO Design Pattern for Multi-version Schema of XML Database Toshifumi Enomoto, Gengo Suzuki, Nobuyuki Kobayashi, Masashi Yamamuro (NTT) ----- Break ( 15 min. ) ----- ---------------------------------------- Thu, Oct 27 PM (15:05 - 16:05) ---------------------------------------- (4) 15:05 - 15:35 Towards Efficient Faceted Navigation for Software Component Search Takahiro Komamizu, Yasuhiro Hayase, Hiroyuki Kitagawa (Univ. of Tsukuba) (5) 15:35 - 16:05 Development and Implementation of an Efficient Algorithm for Delta Mining Keishi Yamane, Naoya Nitta (Konan Univ.) ----- Break ( 15 min. ) ----- ---------------------------------------- Thu, Oct 27 PM (16:20 - 17:20) ---------------------------------------- (6) 16:20 - 17:20 [Invited Talk] Driving Forces of Research on Software Engineering Koichiro Ochimizu (JAIST) ---------------------------------------- Fri, Oct 28 AM (09:30 - 11:00) ---------------------------------------- (7) 09:30 - 10:00 Parametric Execution Time Analysis for Recursive Programs and its Experimental Evaluation Kazuhiro Kabashima, Akio Nakata (Hiroshima City Univ.) (8) 10:00 - 10:30 A Time Budget Optimization Method for Multi-Task Behavioral Specifications with Resource Constraints Kazuya Kurata, Taichi Dodo, Akio Nakata (Hiroshima City Univ.) (9) 10:30 - 11:00 A discussion of inspections based on patterns for CSP descriptions Han-Myung Chang, Masami Noro, Atsushi Sawada, Atsushi Yoshida, Yoshinari Hachisu, Reishi Yokomori (Nanzan Univ.) ----- Break ( 15 min. ) ----- ---------------------------------------- Fri, Oct 28 AM (11:15 - 12:45) ---------------------------------------- (10) 11:15 - 11:45 Iterative Construction of Finite Alloy Descriptions Kei Kogai (Ibaraki National College of Technology), Shin Nakajima (NII), Yoshikazu Ueda (Ibaraki Univ.) (11) 11:45 - 12:15 Towards a formal verification of interrupts in TOPPERS/ASP by the separation logic Takashi Nakashima, Shoji Yuen (Nagoya Univ.) (12) 12:15 - 12:45 Incorporating Elementary Symmetric Clauses into SAT Solvers with Two-Watched-Literal Scheme Yoshizane Hino, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) # Information for speakers General Talk will have 20 minutes for presentation and 10 minutes for discussion. # CONFERENCE ANNOUNCEMENT: - Please join us for an opening reception. Kanazawa Manten Hotel (in front of JR Kanazawa Sta.) 1F 19:00-21:00 === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Thu, Jan 26, 2012 - Fri, Jan 27, 2012: Kochi City Culture-Plaza Cul-Port [Wed, Nov 16], Topics: General topics # SECRETARY: Yoshiaki Takata (Kochi Univ. Tech.) TEL 0887-57-2207 FAX 0887-57-2220 E-mail:      a    -  # ANNOUNCEMENT: # Latest information will be presented on the homepage http://www.info.kochi-tech.ac.jp/sigss/ Last modified: 2011-10-18 16:13:33 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to SS Schedule Page] /
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]