BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
1 × USA
Collaborated with:
E.Song W.Sun A.Shahzad H.Ji P.Kim B.Ko J.Hong
Talks about:
properti (1) approach (1) orient (1) execut (1) comput (1) aspect (1) applic (1) verif (1) model (1) mobil (1)

Person: Hanil Kim

DBLP DBLP: Kim:Hanil

Contributed to:

SAC 20152015
SAC 20092009

Wrote 2 papers:

SAC-2015-ShahzadJKKKH #execution #in the cloud #mobile
Application-level task execution issues in mobile cloud computing (AS, HJ, PK, HK, BKK, JH), pp. 2285–2287.
SAC-2009-SongKS #approach #aspect-oriented #modelling #verification
A property-based verification approach in aspect-oriented modeling (ES, HK, WS), pp. 545–546.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.