Sage Journals: Discover world-class research

Retricted access

Research article

First published 2008-08

Activity Completion Duration Based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Grid Workflow Systems

Jinjun Chen, Yun Yang

The International Journal of High Performance Computing Applications

Retricted access

Research article

First published 2011-2

Flexible Plan Verification: Feasibility Results

Amedeo Cesta, Simone Fratini, Andrea Orlandini [...]

Fundamenta Informaticae

Open access

Research article

First published 2014

A Formal Specification Framework for Designing and Verifying Reliable and Dependable Software for CNC Systems

Yunan Cao

Advances in Mechanical Engineering

Retricted access

Research article

First published 2025-3

Digital twin for the formal analysis of a depth of anesthesia controller

Mohamed AbdElSalam, Saddek Bensalem, Antoine Delacourt [...]

SIMULATION

Retricted access

Research article

First published 2026

The Generative AI Cognitive Exchange in Colombian International Relations Training

Heidy Rico, Tatiana Londoño, Mario Alberto De La Puente

Journal of Hispanic Higher Education

Retricted access

Research article

First published 2011-9

Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata

Francesco Belardinelli, Andrew V. Jones, Alessio Lomuscio

Fundamenta Informaticae

Retricted access

Research article

First published 2025

A technique for constructing a typical disaster knowledge graph based on spatiotemporal features

Pei Zhao, Longxing Zhang, Yonghu Xie

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 1993-09

Spatial and Temporal Characteristics of Rapid Cursor-Positioning Movements with Electromechanical Mice in Human-Computer Interaction

Neff Walker, David E. Meyer, JOhn B. Smelcer

Human Factors: The Journal of the Human Factors and Ergonomics Society

Retricted access

Research article

First published 1962-8

Proprioception Variables as Determiners of Anticipatory Timing Behavior

Jack A. Adams, Lyle R. Creamer

Human Factors: The Journal of the Human Factors and Ergonomics Society

Retricted access

Research article

First published 2020-02-06

Prediction method of cyanobacterial blooms spatial-temporal sequence based on deep belief network and fuzzy expert system

Li Wang, Yuxin Xie, Jiping Xu [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Search results