Pi Calculus
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Modelo de verificação de processos de negocios atraves de uma maquina virtual Pi-Calculos
Two important areas have been in development lately: Business Process Management and Web Service Orchestration. In both of them, the objective is to integrate applications with web services interface through business process paradigm. A number of languages have been proposed with consensus being formed around BPEL (Business Process Execution Language). This
Publicado em: 2006
-
2. Mapeamento UML-RT para p-calculus.
A UML (Unified Modeling Language) Ã uma linguagem de modelagem para especificar, construir e documentar artefatos de sistemas de software. A UML-RT, usada pela ferramenta Rational Rose RealTime (RoseRT), Ã uma extensÃo da UML que permite a modelagem de sistemas de tempo real distribuÃdos e guiados por evento. A UML-RT nÃo possui semÃntica formal, logo
Publicado em: 2006
-
3. PREVALENCE OF ORAL LESIONS, AND PLAQUE, GINGIVAL, MARGINAL LINE CALCULUS INDEX AND PROBING DEPTH IN PATIENTS UNDER DIALYSIS AND KIDNEY TRANSPLANTS / Prevalência das manifestações bucais e dos índices de placa, gengival, de ocupação marginal e profundidade de sondagem em pacientes sob diálise e transplantados renais
Chronic renal failure (CRF) is a renal structural alteration which implies in the reduction or limitation of the kidney ability glomerular filtration. The CRF treatment includes hemodialysis or peritoneal dialysis to substitute glomerular filtration while a renal transplant, which is a definitive treatment, can be done. Oral lesions and secondary periodontal
Publicado em: 2005
-
4. ANALYSIS AND SYNTHESIS OF LIMIT CYCLE FREE RECURSIVE DIGITAL FILTERS / ANÁLISE E SÍNTESE DE FILTROS DIGITAIS RECURSIVOS IMUNES A CICLO LIMITE
This thesis presents a method for analysis of zero-input limit cycles due to quantization, in digital filters realized with floating point arithmetic. Conditions for absence of limit cycles are easily derived by computational calculus. The method of analysis is applicable to generic structures of any order. Following this, a method is presented a method for
Publicado em: 1990