Invariants Of A Web
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. Web geometry / Geometria de teias
A geometria de teias dedica-se ao estudo de invariantes locais para uma determinada configuração de folheações. Uma d-teia é uma coleção de folheações que estão em posição geral. Desta forma, uma d-teia plana, definida em R POT.2ou C POT.2, nada mais é que uma família de d folheações por curvas. Apresentamos neste trabalho os principais conce
Publicado em: 2009
-
2. TECHNIQUES FOR THE USE OF HOARE LOGIC IN PCC / TÉCNICAS PARA O USO DO CÁLCULO DE HOARE EM PCC
Atualmente, a maioria dos programas para computadores é obtida através da WEB. Como muitas vezes a procedência são fontes desconhecidas, é preciso se certificar de que o código se comporta como o esperado. A solução ideal seria verificar o código contra uma especificação de políticas de segurança ,contudo, isso pode consumir muito tempo.Uma outr
Publicado em: 2003