Distribuited Systems
Mostrando 1-7 de 7 artigos, teses e dissertações.
-
1. Verificação formal de sistemas discretos distribuídos. / Formal verification of distribuited discrete systems.
This work deals with the process of design and verification of complex systems, mainly real time, concurrent and distributed systems. An enumerative technique is proposed for model-checking which is capable of determining both quantitative and qualitative properties. The proposed technique detach the algorithm for labeling the formula being checked from the
Publicado em: 2009
-
2. Uma arquitetura multi-agente de balanceamento de carga para aplicação de objetos distribuídos / A multi-agent load balancing architecture for distribuited object applications
Considering the need for balancing distributed systems, we propose a load balancing service that operates on distributed object applications named MABal. MABal architecture analyses the load levels of nodes and, differently from other load balancing approaches, considers the network transfer during the communication of distributed objects at a use case execu
Publicado em: 2009
-
3. Uma arquitetura multi-agente de balanceamento de carga para aplicação de objetos distribuídos / A multi-agent load balancing architecture for distribuited object applications
Diante da necessidade de prover equilíbrio de carga aos sistemas distribuídos, este trabalho de pesquisa propõe um serviço de balanceamento de carga que atua em aplicações de objetos distribuídos denominado arquitetura MABal arquitetura Multi-Agente Distribuída de Balanceamento de Carga para Aplicações de Objetos Distribuídos. A arquitetura MABal
Publicado em: 2009
-
4. GridMultiPolicy: gerenciamento e efetivação de múltiplas políticas de controle de acesso em ambientes de grades computacionais. / GridMultiPolicy: management and enforcement of multiple policies of access control in computational grid environments.
The term computational grid refers to a class of distributed systems that allows for the association and integration of multiple independent domains in virtual organizations. A coherent access control services in such a system should be flexible to integrate multiple polices so as to permit administrators, sites, and users to determine roles and mechanisms t
Publicado em: 2007
-
5. Avaliação de ambientes servidores para agentes móveis. / Evaluation of mobile agents server environments.
Agentes móveis são programas que podem ser disparados de um computador (cliente) e transmitidos através de uma rede de comunicação para uma outra maquina (servidor) com o objetivo de executar tarefas a eles designadas. Esta dissertação apresenta uma avaliação de plataformas de desenvolvimento e servidores para agentes móveis. A tecnologia de agente
Publicado em: 2001
-
6. Sistema inteligente para aplicações de soluções ao bombeamento mecanico de petroleo
This work presents a proposal for a Sucker Rod Pumping Analysis Expert System, with the main characteristic of presentating diagnostics and solutions to sucker rod pumping problems. The system includes database treatment, syntoms identification, diagnosis and solutions proposals, performed by a group of agents specialized in sucker rod pumping problems solut
Publicado em: 1995
-
7. Nucleo multiprocessado para aplicações em tempo-real
This dissertation describes the real-time kernel for a Multiprocessor aimed at Control Systems Applications (MSC for short). The MSC multiprocessor was developed at Instituto de Automação, Centro Tecnológico para Informática. It has features that make it suitable for applications in industrial process control. These applications demand high throughput an
Publicado em: 1988