Search results: Sage Journals

Restricted accessResearch articleFirst published September, 2018

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

Dae S Chang, Sang C Park

Concurrent Engineering

Restricted accessResearch articleFirst published October, 2010

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

Rodrigo Castro, Ernesto Kofman, Gabriel Wainer

SIMULATION

Restricted accessResearch articleFirst published March, 2014

An introduction to Timed Sequential Machines

Norbert Giambiasi

SIMULATION

Restricted accessResearch articleFirst published March, 2015

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

Pau Fonseca i Casas

SIMULATION

Restricted accessResearch articleFirst published 2026

FPDEVSML: A platform-independent parallel-DEVS specification language

Gaston Batchoudi, Eric Ramat, Clément Foucher

SIMULATION

Restricted accessResearch articleFirst published July, 2012

Multicore acceleration of Discrete Event System Specification systems

Qi Liu, Gabriel Wainer

SIMULATION

Restricted accessResearch articleFirst published January, 2013

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

Matías Bonaventura, Gabriel A Wainer, Rodrigo Castro

SIMULATION

Open accessResearch articleFirst published July, 2021

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

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

Big Data & Society

Restricted accessResearch articleFirst published May, 2019

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

Restricted accessResearch articleFirst published December, 2020

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

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

SIMULATION

Restricted accessResearch articleFirst published September, 2018

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

Dae S Chang, Sang C Park

Concurrent Engineering

Restricted accessResearch articleFirst published October, 2010

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

Rodrigo Castro, Ernesto Kofman, Gabriel Wainer

SIMULATION

Restricted accessResearch articleFirst published March, 2014

An introduction to Timed Sequential Machines

Norbert Giambiasi

SIMULATION

Restricted accessResearch articleFirst published March, 2015

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

Pau Fonseca i Casas

SIMULATION

Restricted accessResearch articleFirst published 2026

FPDEVSML: A platform-independent parallel-DEVS specification language

Gaston Batchoudi, Eric Ramat, Clément Foucher

SIMULATION

Restricted accessResearch articleFirst published July, 2012

Multicore acceleration of Discrete Event System Specification systems

Qi Liu, Gabriel Wainer

SIMULATION

Restricted accessResearch articleFirst published January, 2013

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

Matías Bonaventura, Gabriel A Wainer, Rodrigo Castro

SIMULATION

Open accessResearch articleFirst published July, 2021

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

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

Big Data & Society

Restricted accessResearch articleFirst published May, 2019

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

Restricted accessResearch articleFirst published December, 2020

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

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

SIMULATION