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)
RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao(1)
Application 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:googlescopusTraffic analysis of internet applications on mobile devices over lte and wireless networks
ArticleAbstract: Traffic analysis and classification is an important requirement to enhance network security and to oPalabras claves:Application modelling, Applications analysis, Mobile devices traffic, Traffic analysisAutores:Albert Espinal, Carlos Monsalve, Rebeca Leonor Estrada PicoFuentes:googlescopus