Author of the publication

Describing and Verifying Integrated Services of Home Network Systems.

, , , , and . APSEC, page 549-560. IEEE Computer Society, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An analysis of developer metrics for fault prediction., , , , and . PROMISE, page 18. ACM, (2010)Using formal methods to increase confidence in a home network system implementation: a case study., , , and . Innov. Syst. Softw. Eng., 5 (3): 181-196 (2009)Capturing User-defined Facial Features for Scientific Evidence of Elderly Care., , , and . PerCom Workshops, page 1-6. IEEE, (2020)PRISM: Visualizing Personalized Real-Time Incident on Security Map., , and . Int. J. Softw. Innov., 6 (4): 46-58 (2018)Constructing Home Network Systems and Integrated Services Using Legacy Home Appliances and Web Services., , , , and . Int. J. Web Serv. Res., 5 (1): 82-98 (2008)A dynamic analysis technique to extract symptoms that suggest side effects in framework applications., , , and . SAC, page 1176-1178. ACM, (2014)Design and Evaluation of Lifelog Mashup Platform with NoSQL Database., , , and . iiWAS, page 133. ACM, (2013)Considering Common Data Model for Indoor Location-aware Services., , , and . LocWeb, page 25-32. ACM, (2014)Dialogue-Based User Needs Extraction for Effective Service Personalization., , , and . HCI (6), volume 14016 of Lecture Notes in Computer Science, page 139-153. Springer, (2023)Integration Analysis of Heterogeneous Data on Mind Externalization of Elderly People at Home., , and . HCI (30), volume 13331 of Lecture Notes in Computer Science, page 197-209. Springer, (2022)