Performance Optimization of Temporal Reasoning for Grid Workflows Using Relaxed Region Analysis

With quick evolution of grid technologies and increasing complexity of e-science applications, reasoning temporal properties of grid workflows to ensure reliability and trustworthiness is becoming a critical issue. Relaxed region analysis (RRA) is proposed in this work for performance optimization o...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Ke Xu, Junwei Cao, Lianchen Liu, Cheng Wu
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	and Relaxed Region Analysis Calculus Computer integrated manufacturing Data analysis Formal verification Grid computing Information analysis Large-scale systems Optimization Performance analysis Web services Workflow Management
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!