A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
Abstract. AMFIBIA is a meta-model that formalizes the essential aspects and concepts of business process modelling. Though AMFIBIA is not the first approach to formalizing the aspe...
The evolution of service-oriented architectures toward market places for business services in the Internet, raises the need for rich service descriptions with respect to service p...
This paper describes the basic processing model and architecture of Aurora, a new system to manage data streams for monitoring applications. Monitoring applications differ substant...
Daniel J. Abadi, Donald Carney, Ugur Çetintemel, ...
This paper considers the theory of social capital and volunteerism in an online gaming community, the Internet Chess Club (ICC). We discuss how increased social capital provides b...