Formal Verification
Mostrando 1-12 de 53 artigos, teses e dissertações.
-
1. Wi-Bio: management policy aimed at the establishment of networks for patient monitoring using IEEE 802.11
INTRODUCTION: Patient monitoring will tend to decline in the coming years due to a shortage of physical and human resources in hospitals. Therefore, several studies define alternatives to improve patient monitoring using wireless networks. In these studies, a wireless network is used to transfer data generated by medical sensors without interacting with the
Rev. Bras. Eng. Bioméd.. Publicado em: 2014-06
-
2. Contratos formais para derivaÃÃo e verificaÃÃo de componentes paralelos. / Formal Contracts for Derivation and Verification of Parallel Componentes
A aplicaÃÃo de nuvens computacionais para oferecer serviÃos de ComputaÃÃo de Alto Desempenho (CAD) à um assunto bastante discutido no meio acadÃmico e industrial. Esta dissertaÃÃo està inserida no contexto do projeto de uma nuvem computacional para o desenvolvimento e execuÃÃo de aplicaÃÃes de CAD baseadas em componentes paralelos, doravante de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/09/2012
-
3. PRECISE - Um processo de verificaÃÃo formal para modelos de caracterÃsticas de aplicaÃÃes mÃveis e sensÃveis ao contexto / PRECISE - A Formal Verification Process for Feature Models for Mobile and Context-Aware Applications
As LPSs, alÃm do seu uso em aplicaÃÃes tradicionais, tÃm sido utilizadas no desenvolvimento de aplicaÃÃes que executam em dispositivos mÃveis e sÃo capazes de se adaptarem sempre que mudarem os elementos do contexto em que estÃo inseridas. Essas aplicaÃÃes, ao sofrerem alteraÃÃes devido a mudanÃas no seu ambiente de execuÃÃo, podem sofrer ada
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/08/2012
-
4. Consulta a base de dados cifrada em computação nas nuvens
With the dissemination and popularization of the Internet, more and more people and businesses are using cloud computing services. Among these services, there is a storage and hosting of databases in the clouds. In this context a problem arises, how to ensure the privacy and integrity of databases that are exposed to attacks. The goal of this dissertation is
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/08/2011
-
5. Monitoração dinâmica de asserções para depuração em silício
The increasing demand for shorter time-to-market, combined with increased complexity and performance requirements put a tremendous pressure on post-silicon debug, which is usually the last step prior to chip release. In contrast to pre-silicon techniques, postsilicon debug have two main limitations, controllability and observability, which cause the failure
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/08/2011
-
6. O argumento no trabalho de campo: abordando a sucessão ecológica na floresta da USP, campus de Ribeirão Preto / The argument in the fieldwork: approaching the ecological succession in the Forest of USP, Ribeirão Preto campus
In this research we investigate the discursive interactions that may lead to the promotion of scientific literacy during a field work activity related to Ecology in a reforested area. Many perspectives in the field of language and science teaching guided this study, among them the researches that consider that the practice of argumentation in the classroom a
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/08/2011
-
7. Representações Sociais da Violência e as Incivilidades no Contexto da Violência no Município e Escolas de Goiânia
One of psychosocial factors determining the sense of insecurity are called the incivility that is a central theme in understanding the phenomenon of urban violence, once that occurs by living in harmony breaks that signal a break with social norms and values. Formed as the "enemy" of citizenship, especially with regard to community ties housing, incivilities
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/05/2010
-
8. A model-based graphical editor for supporting the creation, verification and validation of OntoUML conceptual models
Esta dissertação de mestrado apresenta um editor gráfico baseado em modelos para o suporte à criação, verificação e validação de modelos conceituais e ontologias de domínio em uma linguagem de modelagem filosoficamente e cognitivamente bem-fundada chamada OntoUML. O editor é projetado para proteger o usuário da complexidade dos princípios ontol
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/02/2010
-
9. Verificação de propriedades do cálculo גex em Coq
O cálculo גex representa uma solução importante dentro da classe de cálculos de substituições explícitas que lidam com nomes, em oposição aqueles que codificam suas variáveis por índices. Delia Kesner obteve, através de um conjunto de provas construtivas, demonstrações das importantes propriedades do גex. Dentre elas, destacamos a P
Publicado em: 2010
-
10. Verificação formal de workflows com spin / Formal workflow verification with spin
O gerenciamento de workflows é uma realidade atualmente, mas os sistemas atuais carecem de suporte à verificação de correção em modelos de workflow. Este trabalho visa a realização de verificações em processos, objetivando a detecção de erros sintáticos, como a existência de atividades mal modeladas, ou seja, sem condições de entrada ou de sa
Publicado em: 2010
-
11. Relational approach of graph grammars / Abordagem relacional de gramática de grafos
Gramática de grafos é uma linguagem formal bastante adequada para sistemas cujos estados possuem uma topologia complexa (que envolvem vários tipos de elementos e diferentes tipos de relações entre eles) e cujo comportamento é essencialmente orientado pelos dados, isto é, eventos são disparados por configurações particulares do estado. Vários siste
Publicado em: 2010
-
12. Muse : um ambiente para modelagem de aplicações multimidia interativas com tradutor para e-lotos / MUSE: an interactive multimedia applications specification environment with translator to e-LOTOS
É notável o avanço da utilização de aplicações multimídia nos diversos setores da atividade humana. Independente da área, seja ela educação ou entretenimento, a possibilidade de agregar recursos dinâmicos como áudio e vídeo aos já largamente utilizados como texto e imagem acarreta em benefícios aos usuários destas aplicações. Além disso,
Publicado em: 2010