Author of the publication

Automated Verification of Proper Choreography Implementation.

, , and . SAINT, page 180-189. IEEE Computer Society, (2006)

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

Reasoning about Human Intention Change for Individualized Runtime Software Service Evolution., , , and . COMPSAC, page 289-296. IEEE Computer Society, (2010)Automatic Data Clustering Analysis of Arbitrary Shape with K-Means and Enhanced Ant-Based Template Mechanism., , , and . COMPSAC, page 452-460. IEEE Computer Society, (2012)A novel interdisciplinary course in gerontechnology for disseminating computational thinking., , , , , , and . FIE, page 3. IEEE, (2011)Experience of Enhancing the Space Sensing of Networked Robots Using Atlas Service-Oriented Architecture., , , , , and . APCHI, volume 5068 of Lecture Notes in Computer Science, page 1-10. Springer, (2008)Wrenching: Transient Migration from Commonality to Variability in Product Line Engineering of Smart Homes., , , and . ICOST, volume 6719 of Lecture Notes in Computer Science, page 230-235. Springer, (2011)Medbuddy: A Mobile Medicinal Management System for Children with ADD/ADHD., , , , , , and . ICOST, volume 7251 of Lecture Notes in Computer Science, page 286-290. Springer, (2012)Automated Verification of Proper Choreography Implementation., , and . SAINT, page 180-189. IEEE Computer Society, (2006)The case for cyber foraging., , , , and . ACM SIGOPS European Workshop, page 87-92. ACM, (2002)Support for Medication Safety and Compliance in Smart Home Environments., , , and . IJAPUC, 1 (3): 42-60 (2009)Framework Design of Pervasive Computing System for Inter Space Interactions between Private and Public Smart Spaces., , , and . Int. J. Fuzzy Logic and Intelligent Systems, 9 (3): 198-205 (2009)