Sage Journals: Discover world-class research

Retricted access

Research article

First published 2020-02-06

Formal verification of a task scheduler for embedded operating systems

Haiyong Sun, Hang Lei

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

Open access

Research article

First published 2021-12

Do production and verification tasks in arithmetic rely on the same cognitive mechanisms? A test using alphabet arithmetic

Jasinta DM Dewi, Jeanne Bagnoud, Catherine Thevenot

Quarterly Journal of Experimental Psychology

Retricted access

Review article

First published 1998-10

Adaptivity and Judgment in Rule Verification Tasks: An Empirical Investigation

Ann M. Bisantz, Alex Kirlik

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 1987-10

Development of Problem-Solving Strategies in Repeated Sentence-Verification Tasks

John G. E. Harpur, Heather M. A. Macleod, Joy V. Decker

Perceptual and Motor Skills

Retricted access

Research article

First published 1991-6

Sentence Evaluation and Response Strategies in Repeated Verification Tasks

John G. E. Harpur, Joy V. Decker

Perceptual and Motor Skills

Retricted access

Research article

First published 2003-8

Automatic-Controlled Information Processing and Error Detection in a Simulated Pharmacy-Verification Task

Sean Reilley, Anthony F. Grasha, Gerald Matthews [...]

Perceptual and Motor Skills

Retricted access

Research article

First published 2013-9

A Cognitive Task Analysis to Elicit Preliminary Requirements for an Automated UAV Verification & Planning System

Terry Stanard, George Bearden, Clayton Rothwell

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 2009-8

Name–picture verification as a control measure for object naming: A task analysis and norms for a large set of pictures

Hans Stadthagen-Gonzalez, Markus F. Damian, Miguel A. Pérez [...]

Quarterly Journal of Experimental Psychology

Free access

Research article

First published 2024-9

Verification and Validation of Cognitive Workload Models for Adaptive Automation Tasks

Charles P. Rowan

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 2004-04

A teacher-verification study of speaking and writing prototype tasks for a new TOEFL

Alister Cumming, Leslie Grant, Patricia Mulcahy-Ernt [...]

Language Testing

Search results