En este artículo presentamos un análisis comparativo de algunos cálculos de computación móvil propuestos recientemente. Al tiempo que se describen el cálculo propuesto por Milner en [RMW92], un cálculo de ambientes propuesto por Cardelli y Gordon en [CG98] y PiCO; un cálculo de objetos y restricciones propuesto por el grupo AVISPA 1 en [ADQ00], se comparan entre ellos y se comentan sus principa...

Abstract. In May 2019, remarks by the then Deputy Foreign Minister Abbas Araghchi implying Iran might ask Afghans to leave country as U.S. sanctions tightened sparked widespread criticism from various segments of Iranian society. Critics civil society and political factions accused using leverage extract concessions Europe, ignoring revolutionary ideals. Drawing on literature emphasising role m...

in this paper, the output power behavior of the wave-guide cw-co2 laser versus efficient parameters of laser performance was investigated. the output power variation versus the discharge current, the pressure and the gas mixture ratio was studied and optimized. the maximum output powers of 6 and 14.5 w were respectively obtained at operating pressures 78 and 50 mbar in two tubes of 3 mm same di...

Resumen. Uno de los objetivos de la fase de pruebas del sistema es verificar que el comportamiento externo del sistema software satisface los requisitos establecidos por los clientes y futuros usuarios del mismo. A medida que aumenta la complejidad de los sistemas software y aumenta la demanda de calidad, se hacen necesarios procesos y métodos que permitan obtener buenos conjuntos de pruebas de...

Este artigo propõe uma metodologia para dar maior suporte ao re-projeto de interfaces dos sistemas de software, contendo atividades integradas à disciplina de Requisitos do Processo Unificado (RUP). Estas atividades são baseadas nos princípios de projeto participativo, através dos quais os usuários podem participar ativamente do processo de tomada de decisão sobre alterações de interface, tendo...

La Computación Ef́ımera (Eph-C , por sus siglas en inglés, Ephemerical Computing) es un nuevo paradigma de computación de reciente creación que pretende sacar provecho de la naturaleza pasajera (o sea, asociada a un tiempo de vida limitado) de los recursos computacionales. En este trabajo se introducirá este nuevo paradigma Eph-C de forma general, y se irá poco a poco enfocando espećıficamente d...

§ Título del Proyecto: Desarrollo de un sistema de recuperación para entornos de información dinámic a: Tesauros de verbos, implementación del estándar ISO/IEC 13250:2000 § Entidad Financiera: Proyecto financiado por la CICYT (Comisión Inter.ministerial de Ciencia y Tecnología) del Plan General para el Conocimiento. TIC 2000-2003. § Grupos participantes: Departamento de Biblioteconomía y Docume...

Este artigo descreve os tópicos usados no Págico, a primeira avaliação conjunta em recolha de informação centrada em tópicos relacionados com a lusofonia, usando o material da Wikipédia em português. Depois de uma explicação sobre como os tópicos foram escolhidos e de questões associadas à sua escolha e à sua categorização posterior, os tópicos são apresentados por categoria. Comentamos também ...

Resumen. En este artículo intentamos clarificar las confusiones que encontramos en torno a los términos “modelo de análisis” y “modelo de diseño”, ampliamente usados en ingeniería del software. En nuestra experiencia, estas confusiones son la raíz de algunas dificultades que los profesionales encuentran al modelar, y que en ocasiones conducen a malas prácticas de ingeniería. Nuestro enfoque con...