Computer Software

Paper

01 Dec 2000

A security model for mobile agent framework aglets

Paper

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

Kouichi Ono, Hiroaki Nakamura, et al.

Computer Software

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

Generating transformational annotation for web document adaptation: Tool support and empirical evaluation

Masahiro Hori, Kouichi Ono, et al.

Web Semantics

View all publications