BZPEERReading, trust and collaboration for researchResearcher profile
Sok-Min Han contributes to research discovery and scholarly infrastructure.
Trust snapshot
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this paper we propose a method that imitates a translation expert using the Korean translation information and analyse the performance. Korean is good at tagging than Chinese, so we can use this property in Chinese POS tagging.
There are lots of research works on web service, composition, modeling, verification and other problems. Theses research works are done on the basis of formal methods, such as petri-net, pi-calculus, automata theory, and so on. Pi-calculus is a natural vehicle to model mobility aspect in dynamic web services composition (DWSC). However, it has recently been shown that pi-calculus needs to be extended suitably to specify and verify DWSC. In this paper, we considers the authority model for DWSC, extends pi-calculus in order to model dynamic attributes of system, and proposes a automatic method for modeling DWSC based on extended pi-calculus.