Listar por tema "Java"

Mostrando ítems 1-2 de 2

    • A Graphical Environment for the Semantic Validation of a Plan Execution Language 

      Rocha, Camilo; Muñoz, Cesar; Cadavid, Hector (© Copyright 2021 IEEEUSA., 2009)
      This paper presents PLEXIL5, PLEXIL's formal interacting visual environment, a graphical environment providing an user-friendly interface to the formal operational semantics of PLEXIL. PLEXIL is a synchronous plan execution ...

    • M-health system backend supported by an actors model 

      Corredor Acosta, Manuel Alejandro; Cadavid Rengifo, Hector Fabio (IEEE XploreNew Jersey, USA., 2015)
      Given the serious impact that cardiovascular diseases are having in Colombia's deaths, the Colombian School of Engineering has been developing a platform for remote, real time, cardiac signals processing. One of the main ...