Search Results - Barbosa, P.E.S.

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Modeling complex Petri nets operations in the Model-Driven Architecture

    Modeling complex Petri nets operations in the Model-Driven Architecture by Barbosa, P.E.S., Costa, A., de Figueiredo, J.C.A., Ramalho, F., Gomes, L., dos S. Junior, A.D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Distributed Verification of Occurrence Graphs: Investigating the Use of Computational Grids

    Distributed Verification of Occurrence Graphs: Investigating the Use of Computational Grids by Barbosa, P.E.S., Rodrigues, C.L., Figueiredo, J.C.A., Guerrero, D.D.S.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations

    An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations by Barbosa, P.E.S., Ramalho, F., de Figueiredo, J.C.A., dos S. Junior, A.D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids

    A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids by Rodrigues, C.L., Barbosa, P.E.S., Cabral, J.M., de Figueiredo, J.C.A., Guerrero, D.D.S.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: