COE Seminar

2007/12/11	COE Seminar : Combining Fault Injection with Unit Testing
2007/12/11	COE Seminar : Model Checking Networked Applications
2007/12/11	COE Seminar : The Calculus of Congruent Inductive Constructions
2007/07/26	COE Seminar : Definition and Realization of Software Accountability
2007/07/26	COE Seminar : Precise Definition of Scientific Processes and the Provenance of Scientific Datasets
2006/06/12-15	The 21st Century COE Program Verifiable and Evolvable e-Society Open Seminar : Domain Engineering
2006/03/22,24	COE Seminar : Vega Grid: Research Problems and Technical Advances (3/22) Grid Research in China and Potential Cooperation with Japan (3/24)
2006/01/13	COE Seminar : Application of the process formalizing technique to the group decision problem and the process of the social evolution
2005/12/01	COE Seminar : The 28th Software Colloquium : Communciating Processes: overview of theory and applications
2005/09/29	COE Seminar : Higher-Order Rewriting: Examples, Framework, Confluence and Termination
2005/07/26	COE Seminar : Time synchronization in wireless sensor network : Slide (PDF file)
2005/07/26	COE Seminar : Hierarchical Mobile IPv6 and Dynamic Hierarchy : Slide (PDF file)
2005/07/20	COE Seminar : Trusted Computing and Trustworthy Networks in Tsinghua University : Slide (PDF file)
2005/07/04-05	COE Seminar : Domain Engineering
2005/05/02	COE Seminar : Incremental Software Construction
2005/04/28	COE Seminar : Abstract of ISO/IEC15408 Evaluation and Certification, and Formalization of HEAL Evidence Document
2005/04/27	COE Seminar : Introduction of Research Center for Verification and Semantics, AIST

Page Top