Distributed computation systems have become an important tool for scientific simulation, and a similarly distributed replica management system may be employed to increase the loc...
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Isomap is an exemplar of a set of data driven nonlinear dimensionality reduction techniques that have shown promise for the analysis of images and video. These methods parameteriz...
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...
Accurate and robust estimation of the three-dimensional left ventricular geometry and deformation has important clinical implications for better diagnosis and understanding of isch...