Web services are becoming progressively popular in the building of both inter-and intra-enterprise business processes. These processes are composed from existing Web services based on defined requirements. In collecting together the services for such a composition, developers can employ languages and standards for the Web that facilitate the automation of… (More)
Formal methods can be used to verify different perspective of a Web service. An ensemble of specific techniques is not supported by a general approach to the problem. To understand which formal method should be combined and used is a challenge. This paper outlines our approach to address this problem.
Developing a theory of energy as a computational resource. Algorithmic resource management of energy/power/temperature. Algorithmic resource management and scheduling for computer systems and networks. Online Algorithms. Algorithms for fair distribution of resources.