Mostrando 4 resultados de: 4
Filtros aplicados
Publisher
Iberian Conference on Information Systems and Technologies, CISTI(1)
International Journal of Circuits, Systems and Signal Processing(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
CACIED 2015: Segunda Edición del Congreso Andino de Computación, Informática y Educación
OtherAbstract: El presente trabajo reporta un grupo selecto de artículos de investigación que fueron presentados duPalabras claves:Autores:Carlos Teodoro Monsalve ArtegaFuentes:googleApplication of formal methods to verify business processes
Conference ObjectAbstract: Formal specifications and modeling languages can be used to provide support for Business Process (BPPalabras claves:BUSINESS PROCESS, Model checking, qualitative analysis, Task model, Timed AutomataAutores:Carlos Monsalve, Carlos Teodoro Monsalve Artega, Luis Eduardo Mendoza Morales, Monica VillavicencioFuentes:googlescopusFormal verification of business processes as timed automata
Conference ObjectAbstract: Despite the representation of a business process (BP) with Business Process Model and Notation (BPMNPalabras claves:BUSINESS PROCESS, Model checking, qualitative analysis, Task model, Timed AutomataAutores:Carlos Monsalve, Carlos Teodoro Monsalve Artega, Luis Eduardo Mendoza Morales, Monica VillavicencioFuentes:googlescopusModelling TCP/IP traffic of a convergent campus wireless network
ArticleAbstract: With the deployment of new devices, protocols and applications, network traffic is changing to adaptPalabras claves:Packet size, Sniffer, traffic classification, Traffic modelingAutores:Albert Espinal, Carlos Monsalve, Carlos Teodoro Monsalve Artega, Rebeca Leonor Estrada PicoFuentes:googlescopus