Sage Journals: Discover world-class research

Retricted access

Research article

First published 2018-9

Configuration space–based discrete event system specification formalism for a smart factory with real-time flexibility

Dae S Chang, Sang C Park

Concurrent Engineering

Retricted access

Research article

First published 2010-10

A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation

Rodrigo Castro, Ernesto Kofman, Gabriel Wainer

SIMULATION

Retricted access

Research article

First published 2014-3

An introduction to Timed Sequential Machines

Norbert Giambiasi

SIMULATION

Retricted access

Research article

First published 2015-3

Transforming classic Discrete Event System Specification models to Specification and Description Language

Pau Fonseca i Casas

SIMULATION

Retricted access

Research article

First published 2012-7

Multicore acceleration of Discrete Event System Specification systems

Qi Liu, Gabriel Wainer

SIMULATION

Retricted access

Research article

First published 2013-1

Graphical modeling and simulation of discrete-event systems with CD++Builder

Matías Bonaventura, Gabriel A Wainer, Rodrigo Castro

SIMULATION

Open access

Research article

First published 2021-7

Computational challenges to test and revitalize Claude Lévi-Strauss transformational methodology

Albert Doja, Laurent Capocchi, Jean-François Santucci

Big Data & Society

Retricted access

Research article

First published 2019-5

Discrete Event System Specification-based framework for modeling and simulation of propagation phenomena in social networks: application to the information spreading in a multi-layer social network

Youssef Bouanan, Gregory Zacharewicz, Judicael Ribault [...]

SIMULATION

Retricted access

Research article

First published 2017-6

Reconsidering the performance of DEVS modeling and simulation environments using the DEVStone benchmark

José L. Risco-Martín, Saurabh Mittal, Juan Carlos Fabero Jiménez [...]

SIMULATION

Retricted access

Research article

First published 2020-12

A DEVS-based pivotal modeling formalism and its verification and validation framework

Kehinde G Samuel, Nourou-Dine M Bouare, Oumar Maïga [...]

SIMULATION

Search results