Sage Journals: Discover world-class research

Retricted access

Research article

First published 2010-8

Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes

Marco Montali, Paolo Torroni, Federico Chesani [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2004-4

Slicing Timed Systems

Agata Janowska, Paweł Janowski

Fundamenta Informaticae

Retricted access

Research article

First published 2017-1-30

Verification of SUMO ontology

Bogumiła Hnatkowska

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

Retricted access

Research article

First published 2024-8

Modeling and experimental verification of static and dynamic characteristics of the linear rolling guideway

Yongchang Li, Guangpeng Zhang, Jiali Wang

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

Retricted access

Research article

First published 2013-4

Experimental verification and finite element modeling of radial truck tire under static loading

Wei Wang, Shan Yan, Shugao Zhao

Journal of Reinforced Plastics and Composites

Retricted access

Other

First published 1997-07

Development,Analysis,and Verification of a Parallel Hybrid Dataflow Computer Architectural Framework and Associated Load-Balancing Strategies and Algorithms via Parallel Simulation

J. Robert Heath, Balasubramanian Sivanesa

SIMULATION

Retricted access

Research article

First published 2018-2

Verification of a rapid mooring and foundation design tool

Sam D Weller, Jon Hardwick, Steven Gomez [...]

Proceedings of the Institution of Mechanical Engineers,Part M: Journal of Engineering for the Maritime Environment

Open access

Research article

First published 2023-03

A variable loading and automatic control test device for carpet resilience measurement

Halil İbrahim Çelik, Hatice Kübra Kaynak, Burak Şahin [...]

Journal of Industrial Textiles

Retricted access

Research article

First published 2023-9

Design and analysis of a Cross Car frame. Proposal of a three-level appraisal methodology

Pablo Luque, Alex Gutierrez, Eduardo Rodríguez [...]

Proceedings of the Institution of Mechanical Engineers,Part P: Journal of Sports Engineering and Technology

Retricted access

Research article

First published 2019-1-11

Verifying constant-time implementations by abstract interpretation

Sandrine Blazy, David Pichardie, Alix Trieu

Journal of Computer Security

Search results