Information and Systems-Software Science(Date:2011/02/28)

Presentation
表紙

,  

[Date]2011/2/28
[Paper #]
目次

,  

[Date]2011/2/28
[Paper #]
A Study of Detecting Chain Reaction between Sensor Driven Services

Takuya INADA,  Kosuke IKEGAMI,  Shinsuke MATSUMOTO,  Masahide NAKAMURA,  Hiroshi IGAKI,  

[Date]2011/2/28
[Paper #]SS2010-53
Application Framework for Developing Personal Remote Controllers in Home Network System

Keisuke TOKUDA,  Takuya INADA,  Shinsuke MATSUMOTO,  Masahide NAKAMURA,  

[Date]2011/2/28
[Paper #]SS2010-54
A Device Model for Devices with Various Network Protocols

Satoshi NOGUCHI,  Kenji SUZUKI,  

[Date]2011/2/28
[Paper #]SS2010-55
A Distributed Real-Time Operating System with Location-Transparent System Calls for Embedded Control Systems

Takahiro CHIBA,  Yuichi ITAMI,  Myungryun YOO,  Takanori YOKOYAMA,  

[Date]2011/2/28
[Paper #]SS2010-56
An Aspect-Oriented Customization Method for Embedded Operating Systems

Kazuki ABE,  Takanori YOKOYAMA,  Yoo MYUNGRYUN,  

[Date]2011/2/28
[Paper #]SS2010-57
Propose of Real-time Scheduling Algorithm based on Utilization

Akira OKAZAKI,  Myungryun YOO,  Takanori YOKOYAMA,  

[Date]2011/2/28
[Paper #]SS2010-58
A Real-Time Scheduling Algorithm with Decreasing Preemption for Multiprocessor Based on RM

Kouhei NISHIGAKI,  Myungryun YOO,  Takanori YOKOYAMA,  

[Date]2011/2/28
[Paper #]SS2010-59
A Simuling to UML Model Transformation Tool with a Function to Generate Behavioral Models

Masayoshi TAMURA,  Tatsuya KAMIYAMA,  Takahiro SOEDA,  Myungryun YOO,  Takanori YOKOYAMA,  

[Date]2011/2/28
[Paper #]SS2010-60
Resuability Evaluation of Past Bug Fixes in Open Source Repositories

Masaru SHIOZUKA,  Naoyasu UBAYASHI,  

[Date]2011/2/28
[Paper #]SS2010-61
Towards Objective Estimations of Software Implementation Progress

CRUZ ANA ERIKA CAMARGO,  KOICHIRO OCHIMIZU,  

[Date]2011/2/28
[Paper #]SS2010-62
Tree Automata with Constraints and their Closure-Properties

Katsuhisa KURAHASHI,  Masahiko SAKAI,  Naoki NISHIDA,  Futoshi NOMURA,  Toshiki SAKABE,  Keiichirou KUSAKARI,  

[Date]2011/2/28
[Paper #]SS2010-63
A supporting method of scenario retrieval using differential scenarios

Yusaku YOSHIDA,  Atsushi OHNISHI,  

[Date]2011/2/28
[Paper #]SS2010-64
Supporting Class Responsibility Assignment with Responsibility Description

Motohiro AKIYAMA,  Shinpei HAYASHI,  Takashi KOBAYASHI,  Motoshi SAEKI,  

[Date]2011/2/28
[Paper #]SS2010-65
Analysis and evaluation of open source project evolution based on the automatic classification of SCM data

Kago TAI,  Haruhiko KAIYA,  Kenji KAIJIRI,  

[Date]2011/2/28
[Paper #]SS2010-66
Feature analysis of development style based on noncompliance measurement of coding conventions

Hitoshi TERAOKA,  Kenji KAIJIRI,  Haruhiko KAIYA,  

[Date]2011/2/28
[Paper #]SS2010-67
Modular Verification using Bounded Model Checking technique with Test Case Generation

Yuusuke HASHIMOTO,  Shin NAKAJIMA,  

[Date]2011/2/28
[Paper #]SS2010-68
Towards Verifying Pointer-Manipulating Programs using Program Transformation : A Case Study with Morris' Binary Tree Traversal Algorithm

Takuo WATANABE,  Sosuke MORIGUCHI,  Kazuhiro YAMADA,  Shin-ya NISHIZAKI,  

[Date]2011/2/28
[Paper #]SS2010-69
A Process Algebra Compiler with Negative Premises

Jun BAN,  Shoji YUEN,  

[Date]2011/2/28
[Paper #]SS2010-70
12>> 1-20hit(32hit)