Sage Journals: Discover world-class research

Retricted access

Research article

First published 2007-4

RAM Simulation of BGS Model of Abstract-state Machines

Comandur Seshadhri, Anil Seth, Somenath Biswas

Fundamenta Informaticae

Retricted access

Research article

First published 2007-4

Model Checking Abstract State Machines with Answer Set Programming

Calvin Kai Fan Tang, Eugenia Ternovska

Fundamenta Informaticae

Retricted access

Research article

First published 2007-4

Time in State Machines

Susanne Graf, Andreas Prinz

Fundamenta Informaticae

Retricted access

Research article

First published 2009-4

Skolem Machines

John Fisher, Marc Bezem

Fundamenta Informaticae

Retricted access

Other

First published 1980-10

Task Taxonomies and Modeling for System Performance Prediction

Gayle Lynn Berry

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 1998-6

Application of periodic time-varying autoregressive models to the detection of bearing faults

A C McCormick, A K Nandi, L B Jack

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Research article

First published 2016-12-1

A verified information-flow architecture

Arthur Azevedo de Amorim, Nathan Collins, André DeHon [...]

Journal of Computer Security

Free access

Research article

First published 2003-5

Simulation of abrasive waterjet machining based on unit event features

A Lebar, M Junkar

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Free access

Research article

First published 2002-5

Static and dynamic models for predicting the effects of supports on machining flatness and roughness

M R Behzadi, B Arezoo

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Free access

Research article

First published 2001-1

Multi-pass turning operations optimization based on genetic algorithms

G C Onwubolu, T Kumalo

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Search results