Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [Japanese] / [English]
SS2011-27
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)
pp. 1 - 6
SS2011-28
Information System Development Method Based on the Service Supply and Demand Schema
Yoshihisa Tsubota, Tsuneo Ajisaka (Wakayama Univ.)
pp. 7 - 11
SS2011-29
DAO Design Pattern for Multi-version Schema of XML Database
Toshifumi Enomoto, Gengo Suzuki, Nobuyuki Kobayashi, Masashi Yamamuro (NTT)
pp. 13 - 18
SS2011-30
Towards Efficient Faceted Navigation for Software Component Search
Takahiro Komamizu, Yasuhiro Hayase, Hiroyuki Kitagawa (Univ. of Tsukuba)
pp. 19 - 24
SS2011-31
Development and Implementation of an Efficient Algorithm for Delta Mining
Keishi Yamane, Naoya Nitta (Konan Univ.)
pp. 25 - 30
SS2011-32
[Invited Talk]
Driving Forces of Research on Software Engineering
Koichiro Ochimizu (JAIST)
pp. 31 - 36
SS2011-33
Parametric Execution Time Analysis for Recursive Programs and its Experimental Evaluation
Kazuhiro Kabashima, Akio Nakata (Hiroshima City Univ.)
pp. 37 - 42
SS2011-34
A Time Budget Optimization Method for Multi-Task Behavioral Specifications with Resource Constraints
Kazuya Kurata, Taichi Dodo, Akio Nakata (Hiroshima City Univ.)
pp. 43 - 48
SS2011-35
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.)
pp. 49 - 54
SS2011-36
Iterative Construction of Finite Alloy Descriptions
Kei Kogai (Ibaraki National College of Technology), Shin Nakajima (NII), Yoshikazu Ueda (Ibaraki Univ.)
pp. 55 - 60
SS2011-37
Towards a formal verification of interrupts in TOPPERS/ASP by the separation logic
Takashi Nakashima, Shoji Yuen (Nagoya Univ.)
pp. 61 - 66
SS2011-38
Incorporating Elementary Symmetric Clauses into SAT Solvers with Two-Watched-Literal Scheme
Yoshizane Hino, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
pp. 67 - 72
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.