Temporal Dependency-Based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Scientific Workflow Systems

ACM Transactions on Software Engineering and Methodology - United States
doi 10.1145/2000791.2000793
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

A Minimum Proportional Time Redundancy Based Checkpoint Selection Strategy for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems

2005English

Periodicity-Based Temporal Constraints

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Probabilistic Strategy for Setting Temporal Constraints in Scientific Workflows

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Pruning Based Service Selection Approach Under QoS and Temporal Constraints

2014English

Convex Programs for Temporal Verification of Nonlinear Dynamical Systems

SIAM Journal on Control and Optimization
ControlApplied MathematicsOptimization
2007English

The VERIFICATION OF TEMPORAL KNOWLEDGE BASED SYSTEMS - A Case-Study on Power-Systems

2007English

Temporal Constraints in Non-Temporal Data Modelling Languages

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Temporal Patterns for Document Verification

English

Online Verification in Cyber-Physical Systems: Practical Bounds for Meaningful Temporal Costs

Journal of Software: Evolution and Process
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy