![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Proactive virtualized resource management for service workflows in the cloud
A Cloud platform offers on-demand provisioning of virtualized resources and pay-per-use charge model to its hosted services to satisfy their fluctuating resource needs. Resource scaling in cloud is often carri...
-
Chapter and Conference Paper
Static Detection of Implementation Errors Using Formal Code Specification
The software engineering community suggests that formal specification of source code facilitates the verification that can help to identify hidden functional errors. In this work, we investigate the impact of ...
-
Chapter and Conference Paper
Engineering Energy-Aware Web Services toward Dynamically-Green Computing
With the emergence of commodity computing environments (i.e. clouds), information technology (IT) infrastructure providers are creating data centers in distributed geographical regions. Since geographic region...
-
Chapter and Conference Paper
Object-Oriented Modeling Approaches to Agent-Based Workflow Services
With the increasing popularity of component-based services and semantic web services, the idea of specification-driven service composition is becoming a reality. With the distribution of these autonomous servi...
-
Chapter and Conference Paper
Using Agent Control and Communication in a Distributed Workflow Information System
Agent communication has developed widely over the past decade for various types of multiple agent environments. Originally, most of this research surrounded simulation systems and inference systems. Subsequent...