Computer Software

Paper

01 Dec 2000

A security model for mobile agent framework aglets

Review

A modeling method for performance evaluation of embedded software by eliminating execution traces

Kouichi Ono, Ryo Kawahara, et al.

Computer Software

Conference paper

Verifying the consistency of security policies by abstracting into security types

Kouichi Ono, Yuichi Nakamura, et al.

ICWS 2007

Paper

A dynamic verification method of executable UML/SysML models with timed-functional constraints

Kouichi Ono, Hiroaki Nakamura, et al.

Computer Software

Paper

Annotation-based web content transcoding

Masahiro Hori, Goh Kondoh, et al.

Computer Networks

View all publications