| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| CQ | 2019-08-27 15:45 |
Hokkaido | Hakodate arena | [Invited Talk]
Research and development of wide-area sensor network system utilizing LoRa Hiroshi Yamamoto (Ritsumeikan Univ.)  CQ2019-71 |
Recently, an LPWA (Low-Power Wide-Area) becomes to be used for constructing a wide-area sensor network because the commu... [more] | CQ2019-71 pp.73-78 |
| HCS, HIP, HI-SIGCOASTER [detail] | 2014-05-29 15:20 |
Okinawa | Okinawa Industry Support Center | PEACS:Partial Expanding And Contracting information-Space Eri Yokokawa, Shunichi Yonemura (Shibaura Inst. of Tech.), Masahiro Watanabe (NTT) HCS2014-11 HIP2014-11 |
This paper proposes an un-uniform expansion reduction interaction. A senior user is confused in accessing Web sites of I... [more] | HCS2014-11 HIP2014-11 pp.95-100 |
| SS, KBSE | 2013-07-25 13:30 |
Hokkaido | Fuzzy Constraint Satisfaction Applied to Class Responsibility Assignment Problems Takuto Yanagida (Shizuoka Univ.), Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.), Hidenori Mimura (Shizuoka Univ.) SS2013-15 KBSE2013-15 |
The authors formulate the class responsibility assignment (CRA) problem as the fuzzy constraint satisfaction problem (FC... [more] | SS2013-15 KBSE2013-15 pp.13-18 |
|
| SS | 2007-08-02 17:00 |
Hokkaido | Hokkaido Univ. | A Case study - Design of Warehouse Management Program in JML and Verification with ESC/Java2 - Masayuki Owashi, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2007-22 |
In the software development, the notion ``Design by Contract(DbC)'' has been recently obtained a lot of attentions. In ... [more] |
SS2007-22 pp.37-42 |
| NS, IN (Joint) |
2007-03-08 08:20 |
Okinawa | Okinawa Convention Center | Describing and Verifying Safety in Integrated Services of Home Network System by JML Ben Yan, Masahide Nakamura (NAIST), Lydie du Bousquet (Joseph Fourier Univ.), Ken-ichi Matsumoto (NAIST) NS2006-159 |
The recent ubiquitous technologies allow home electric appliances and sensors to be connected with local area network at... [more] | NS2006-159 pp.7-12 |
| IN, MoNA (Joint) |
2006-11-16 14:20 |
Kumamoto | Considering Safety in Integrated Services in Home Network System Ben Yan, Masahide Nakamura (NAIST), Lydie du Bousquet (IMAG), Ken-ichi Matsumoto (NAIST) IN2006-97 |
The HNS (Home Network System) integrated service is to orchestrate multiple networked appliances to add value of user’s ... [more] | IN2006-97 pp.49-54 |
|
| SS | 2005-10-14 09:30 |
Saitama | Jumonji University | Automatic generation of post-conditions for Java methods by limited utilization of Daikon Yasunobu Kajita, Kozo Okano, Shinji Kusumoto (Osaka Univ.) |
Recently, the application of Design by Contract(DbC) to Java is concerned.The contracts can be made by describing pre-co... [more] | SS2005-49 pp.7-12 |
[Return to Top Page]