Jungjae Lee

Learn More
SUMMARY The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. In analyzing ACSR models, the existing techniques such as bisimulation checking and Hennessy-Milner Logic (HML) model checking are very important in theory of ACSR, but they are difficult to use for(More)
Mustard (Brassica juncea) leaves are commonly consumed in different Asian and African countries. Cancer is a major burden of disease worldwide, and the colorectal and lung cancers are the leading cause of morbidity and mortality among cancers. In the current study, we aimed to investigate the effects of ethanol extract of mustard leaf (MLE) on the growth,(More)
The autonomous military robot system is a complex hybrid system which is difficult to represent by ordinary modeling frameworks due to its continuous behaviors. In this paper, we present a case study to formally model this system using CHARON that is a hierarchical modeling framework for hybrid systems. To precisely capture all the behaviors of the military(More)
The goal of the Web Service Composition (WSC) problem is to find an optimal composition of web services to satisfy a given request using their syntactic and/or semantic features. In this paper, in particular, we study the Quality of Services (QoS)-driven WSC problem to optimize service quality criteria, e.g., response time and/or throughput. We propose a(More)
  • 1