This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
Abstract. Economic modeling provides a formal mechanism to understand user incentives and behavior in online systems. In this paper we describe the process of building a parameteri...
F. Maxwell Harper, Sherry Xin Li, Yan Chen, Joseph...
Mixed Interactive Systems (MIS) is a generic term encompassing mixed and augmented reality, augmented virtuality, and tangible interfaces systems. The work we present in this paper...
With rapid development of the Internet, e-learning system has become more and more popular. Currently, to solve the issue of sharing and reusing of teaching materials in different...
Jun-Ming Su, Shian-Shyong Tseng, Chia-Yu Chen, Jui...