There is an increasing trend in global software development, where different parts of a software product are being developed in different organisations. The process aspect of such...
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
Rocco De Nicola, Diego Latella, Michele Loreti, Mi...
The process of collaborative engineering design is relatively complex, and often results in various conflicts due to multi-actors interactions. Therefore, a critical element of co...
The synthesis of clock network in the presence of process variation is becoming a vital design issue towards the performance of digital circuits. In this paper, we propose a clock ...
When web services are used to coalesce around the distributed applications, one prominent solution to manage and coordinate web services is the use of process management. Many res...