IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 9 of 9  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
MSS 2016-03-04
09:35
Yamaguchi KAIKYO MESSE SHIMONOSEKI Controller Tuning with Falsification of Temporal Logic Formulae
Taiyo Mineo (Tokyo Tech.), Daisuke Ishii (Univ. of Fukui), Takuo Watanabe (Tokyo Tech.) MSS2015-79
 [more] MSS2015-79
pp.61-66
SS 2015-05-11
13:00
Kumamoto Kumamoto University Towards Applications of FRP in Small-Scale Embedded Systems
Kensuke Sawada, Kouhei Suzuki, Takuo Watanabe (Tokyo Tech.) SS2015-1
In this paper, we show using examples that functional reactive programming (FRP) is beneficial for small-scale embedded ... [more] SS2015-1
pp.1-5
KBSE 2013-05-31
14:45
Kanagawa Keio University Robustness Anlysis on Human-made Fault in Procedural Manuals
Naoyuki Nagatou (PRESYSTEMS), Takuo Watanabe (Tokyo Inst. of Tech.) KBSE2013-11
We adapt a formal approach for an investigation into robustness analysis on human-made faults in procedural manuals.Dete... [more] KBSE2013-11
pp.61-66
KBSE, SS 2012-07-28
15:50
Hokkaido Future University Hakodate An Implementation Method of Context-Oriented Programming in Objective-C
Masaya Suzuki, Takuo Watanabe (Tokyo Tech) SS2012-32 KBSE2012-34
Context-oriented programming(COP) is a programming method that enables us to define behaviors that depend on the program... [more] SS2012-32 KBSE2012-34
pp.133-138
KBSE, SS 2011-07-30
11:15
Hokkaido Hokkaido Information University On Generating Realtime Programs with Runtime Checking -- From Timed Automata to Realtime Programs on Non-Realtime Environments --
Ilankaikone Senthooran, Julian Prokay, Takuo Watanabe (Tokyo Inst. of Tech.) SS2011-25 KBSE2011-22
We propose a method of generating realtime programs from verified models. The primary goal of this work is to provide an... [more] SS2011-25 KBSE2011-22
pp.75-80
SS 2011-03-08
09:25
Okinawa Okinawa-ken Seinen Kaikan Towards Verifying Pointer-Manipulating Program using Program Transformation -- A Case Study with Morris' Binary Tree Traversal Algorithm --
Takuo Watanabe, Sosuke Moriguchi, Kazuhiro Yamada, Shin-ya Nishizaki (Tokyo Tech) SS2010-69
We proved the correctness of a C implementation of Morris's tree traversal algorithm.
The algorithm is known as a recur... [more]
SS2010-69
pp.97-102
SS 2009-08-06
15:45
Hokkaido Kitami Institute of Technology On Formalizing Behavioral Aspects of Reflective Computation
Takuo Watanabe (Tokyo Inst. of Tech.) SS2009-20
Computational reflection is essential to construct highly flexible and/or adaptable systems in the sense that it provide... [more] SS2009-20
pp.49-52
SS 2008-07-31
17:00
Hokkaido Future University-Hakodate LMC:A Calculus of Pointcut-Advice model
Sosuke Moriguchi, Takuo Watanabe (Tokyo Tech.) SS2008-19
Aspect-oriented programming (AOP) has gained wide popularity in software development. Understanding the formal nature of... [more] SS2008-19
pp.37-42
ISEC, SITE, IPSJ-CSEC 2006-07-20
16:35
Okayama Okayama Univ. On Enforcement of Noninterference
Naoyuki Nagatou, Takuo Watanabe (Tokyo Tech)
We discuss a characterization of security policies to be enforced with a monitor. The monitor is a enforcement mechanism... [more] ISEC2006-37 SITE2006-34
pp.207-214
 Results 1 - 9 of 9  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan