Computer Software

Paper

01 Dec 2000

A security model for mobile agent framework aglets

Conference paper

Verifying the consistency of security policies by abstracting into security types

Kouichi Ono, Yuichi Nakamura, et al.

ICWS 2007

Paper

Annotation-based web content transcoding

Masahiro Hori, Goh Kondoh, et al.

Computer Networks

Paper

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

Kouichi Ono, Hiroaki Nakamura, et al.

Computer Software

Conference paper

Coarse-grained simulation method for performance evaluation a of shared memory system

Ryo Kawahara, Kenta Nakamura, et al.

ASP-DAC 2011

View all publications