Information and Systems-Software Science(Date:1997/07/16)

Presentation
表紙

,  

[Date]1997/7/16
[Paper #]
目次

,  

[Date]1997/7/16
[Paper #]
Comparison among methods for automatic scrolling by eye tracking

Masatake YAMATO,  Yoshihiro TAKADA,  Koji TORII,  

[Date]1997/7/16
[Paper #]SS97-16
Formal Verification of Fairness for non-Zeno Real-Time Systems by Abstract Interpretation

Satoshi Yamane,  

[Date]1997/7/16
[Paper #]SS97-17
A Decentralized Protocol for Channel-Based Communication with Choice

Eiichi Horita,  Ken Mano,  

[Date]1997/7/16
[Paper #]SS97-18
Report on the 19th International Conference on Software Engineering (ICSE97)

Shingo Takada,  Katsuro Inoue,  

[Date]1997/7/16
[Paper #]SS97-19
[OTHERS]

,  

[Date]1997/7/16
[Paper #]