| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Software Science (SS) (Searched in: 2011)
Search Results: Keywords 'from:2011-10-27 to:2011-10-27'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SS | 2011-10-27 13:20 |
Ishikawa | JAIST | 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)  SS2011-27 |
With the recent spread of Social Media, people can share information easily and even in real-time. In this study, we inv... [more] | SS2011-27 pp.1-6 |
| SS | 2011-10-27 13:50 |
Ishikawa | JAIST | Information System Development Method Based on the Service Supply and Demand Schema Yoshihisa Tsubota, Tsuneo Ajisaka (Wakayama Univ.) SS2011-28 |
This paper proposes a content-oriented approach to analysis and design of information systems. Content-orientedness is ... [more] | SS2011-28 pp.7-11 |
| SS | 2011-10-27 14:20 |
Ishikawa | JAIST | DAO Design Pattern for Multi-version Schema of XML Database Toshifumi Enomoto, Gengo Suzuki, Nobuyuki Kobayashi, Masashi Yamamuro (NTT) SS2011-29 |
(To be available after the conference date) [more] | SS2011-29 pp.13-18 |
| SS | 2011-10-27 15:05 |
Ishikawa | JAIST | Towards Efficient Faceted Navigation for Software Component Search Takahiro Komamizu, Yasuhiro Hayase, Hiroyuki Kitagawa (Univ. of Tsukuba) SS2011-30 |
Software reuse plays an important role in software implementation for improving software quality and reducing number of ... [more] | SS2011-30 pp.19-24 |
| SS | 2011-10-27 15:35 |
Ishikawa | JAIST | Development and Implementation of an Efficient Algorithm for Delta Mining Keishi Yamane, Naoya Nitta (Konan Univ.) SS2011-31 |
In an execution of an object-oriented program, a pre-executed feature often affects a post-executed feature.Therefore, i... [more] | SS2011-31 pp.25-30 |
| SS | 2011-10-27 16:20 |
Ishikawa | JAIST | [Invited Talk]
Driving Forces of Research on Software Engineering Koichiro Ochimizu (JAIST) SS2011-32 |
We consider both the new goal of Software Engineering and approaches to the new goal. We mainly discuss issues on Softwa... [more] | SS2011-32 pp.31-36 |
| SS | 2011-10-28 09:30 |
Ishikawa | JAIST | Parametric Execution Time Analysis for Recursive Programs and its Experimental Evaluation Kazuhiro Kabashima, Akio Nakata (Hiroshima City Univ.) SS2011-33 |
It is generally difficult to reuse real-time software components to different execution platforms, since its execution t... [more] | SS2011-33 pp.37-42 |
| SS | 2011-10-28 10:00 |
Ishikawa | JAIST | A Time Budget Optimization Method for Multi-Task Behavioral Specifications with Resource Constraints Kazuya Kurata, Taichi Dodo, Akio Nakata (Hiroshima City Univ.) SS2011-34 |
[more] | SS2011-34 pp.43-48 |
| SS | 2011-10-28 10:30 |
Ishikawa | JAIST | 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.) SS2011-35 |
In model checking, when a model checker fails to verify deadlock free, or some safety property or liveness property, its... [more] | SS2011-35 pp.49-54 |
| SS | 2011-10-28 11:15 |
Ishikawa | JAIST | Iterative Construction of Finite Alloy Descriptions Kei Kogai (Ibaraki National College of Technology), Shin Nakajima (NII), Yoshikazu Ueda (Ibaraki Univ.) SS2011-36 |
In a process of creating Alloy descriptions, it is often to analyze the descriptions by scoped Alloy commands. The comma... [more] | SS2011-36 pp.55-60 |
| SS | 2011-10-28 11:45 |
Ishikawa | JAIST | Towards a formal verification of interrupts in TOPPERS/ASP by the separation logic Takashi Nakashima, Shoji Yuen (Nagoya Univ.) SS2011-37 |
We give a formal verification of a fragment of ARM assembly code in TOPPERS/ASP to handle interrupts using the separatio... [more] | SS2011-37 pp.61-66 |
| SS | 2011-10-28 12:15 |
Ishikawa | JAIST | Incorporating Elementary Symmetric Clauses into SAT Solvers with Two-Watched-Literal Scheme Yoshizane Hino, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) SS2011-38 |
Umano et al.\ introduced elementary symmetric clauses (ES-clauses) into CNF formula in 2010 as a method for improving SA... [more] | SS2011-38 pp.67-72 |
[Return to Top Page]