Buscar
Mostrando ítems 1-10 de 21
Deadlocks as runtime exceptions
(Universidades Federais de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2016)
Autonomous navigation with deadlock detection and avoidance
(Sociedad Iberoamericana de Inteligencia Artificial, 2014-02)
This paper studies alternatives to solve the problem of autonomous mobile robots navigation in unknown indoor environments. The navigation system uses fuzzy logic to combine the information obtained from range sensors and ...
Método de resolução de deadlocks no controle de produção de sistemas de manufatura automatizados utilizando redes de Petri coloridas
(Universidade Federal de São CarlosBRUFSCarPrograma de Pós-Graduação em Ciência da Computação - PPGCC, 2011-07-01)
Resources sharing is one of the main characteristics of Automated Manufacturing Systems (SMA), this characteristic can be a synonym of advantages but on the other hand it may lead to the problem of deadlock. Several papers ...
Detecção e correção de situações de deadlock em workflow nets interorganizacionais
(Universidade Federal de UberlândiaBRPrograma de Pós-graduação em Ciência da ComputaçãoCiências Exatas e da TerraUFU, 2016)
An extension of a tool for the formal support for component-based development
(BrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2017-08-18)
Using the component-based development approach, the system complexity is reduced and its
maintenance is facilitated, bringing more reliability and reuse of components. However, the
composition of components (and their ...
Verificação de requisitos funcionais e não funcionais em Arquiteturas Orientadas a ServiçosVerification of functional and non-functional requirements in Service Oriented Architectures
(Universidade Federal de UberlândiaBrasilPrograma de Pós-graduação em Ciência da Computação, 2020)
Detecção de propriedades estaveis em sistemas distribuidos
([s.n.], 1998)