For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennet...
: Service-Oriented Architectures (SOAs) have been established as an IT strategy to support the on demand goal of business agility. Web services standards and their implementations ...
The aim of Grid Computing Pool (GCP) is to integrate heterogeneous large-scale computing devices and famous computing tools into a virtual supercomputer by using grid technology. ...
This paper describes how Quality of Service (QoS) enabled Overlay Multicast architectures using Peer-to-Peer (P2P) networks can enhance the experience of end-users in Networked Vi...
In the Intelligent Robotics Laboratory (IRL) at Vanderbilt University we seek to develop service robots with a high level of social intelligence and interactivity. In order to ach...
Mitchell Wilkes, W. Anthony Alford, Robert T. Pack...