Kaoru Takahashi
According to our database1,
Kaoru Takahashi
authored at least 33 papers
between 1986 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
0
1
2
3
4
5
6
1
1
1
2
1
1
1
2
1
1
5
1
2
1
2
2
1
1
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
IEICE Trans. Inf. Syst., 2011
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011
2010
Proceedings of the Tenth Annual International Symposium on Applications and the Internet, 2010
Proceedings of the Fifth International Conference on Broadband and Wireless Computing, 2010
2006
Lit. Linguistic Comput., 2006
An ontology-based advice system for health and exercise.
Proceedings of the Tenth IASTED International Conference on Internet and Multimedia Systems and Applications (IMSA 2006), 2006
2005
Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005
Incremental Design of a State Machine Specification for Mobile and Real-Time Systems .
Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005
2004
Composition of Service and Protocol Specifications in Asynchronous Communication System.
IEICE Trans. Inf. Syst., 2004
2002
Specification and Analysis of the Contract Net Protocol Based on State Machine Model.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002
On Constructing n-Entities Communication Protocol and Service with Alternative and Concurrent Functions.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002
2001
Composition method of communication system specifications in asynchronous model and its support system.
Proceedings of the Proceedings 9th IEEE International Conference on Networks, 2001
Proceedings of the 15th International Conference on Information Networking, 2001
2000
Comput. Networks, 2000
Support System for Constructing Communication Services and Protocols Based on Compositional Approach.
Proceedings of the 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 2000
1999
Proceedings of the International Conference on Parallel Processing 1999, 1999
1997
On a Concurrency Calculus for Design of Mobile Telecommunication Systems.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997
1996
Automatic modification of a protocol specification based on changes of a service specification.
Proceedings of the 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), 1996
Proceedings of the 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), 1996
1994
1993
An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical Representation.
Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993
1992
1991
IEEE Trans. Computers, 1991
1990
Syst. Comput. Jpn., 1990
1989
Syst. Comput. Jpn., 1989
A Verification Method for LOTOS Specifications and its Application.
Proceedings of the Protocol Specification, 1989
1988
IEEE Trans. Software Eng., 1988
Syst. Comput. Jpn., 1988
IEEE J. Sel. Areas Commun., 1988
IEEE J. Sel. Areas Commun., 1988
A Software Design Method and Its Application to Protocol and Communication Software Development.
Comput. Networks, 1988
1986
IDESS/85: Intelligent Support System for Protocols and Communication Software Development.
Proceedings of the New Communication Services: A Challenge to Computer Technology, 1986