<?xml version="1.0" encoding="UTF-8"?>
<rss xmlns:dc="http://purl.org/dc/elements/1.1/" version="2.0">
<channel>
<title>CACIC 2011</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18569</link>
<description>XVII Congreso Argentino de Ciencias de la Computación</description>
<pubDate>Sat, 14 Nov 2026 04:03:14 GMT</pubDate>
<dc:date>2026-11-14T04:03:14Z</dc:date>
<item>
<title>The right to forget/be forgotten: a nearly fundamental human right in the age of total recall technology</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18802</link>
<description>Objeto de conferencia
XVII Congreso Argentino de Ciencias de la Computación
This study attempts to conceptualise the right to forget/be forgotten along with building a theoretical foundation of this individual’s right and validating the social importance of establishing the right, which is characterised as a nearly fundamental human right to protect intellectual freedom and to ensure a spiritually affluent human life and human dignity. Here, forgetting is defined as an intellectual/mental state of a person where he/she doesn’t recall a fact that (has) happened in the past or information that he/she knew in the past and/or images, feelings and sensation related to the fact or the knowledge, or as cognitive function which causes such an intellectual state.&#13;
Glorifying a past event or having erroneous human memory is a kind of forgetting.
Presentado en el I ETHICOMP Latinoamérica
</description>
<pubDate>Sat, 01 Jan 2011 00:00:00 GMT</pubDate>
<guid isPermaLink="false">http://sedici.unlp.edu.ar:80/handle/10915/18802</guid>
<dc:date>2011-01-01T00:00:00Z</dc:date>
<dc:description>This study attempts to conceptualise the right to forget/be forgotten along with building a theoretical foundation of this individual’s right and validating the social importance of establishing the right, which is characterised as a nearly fundamental human right to protect intellectual freedom and to ensure a spiritually affluent human life and human dignity. Here, forgetting is defined as an intellectual/mental state of a person where he/she doesn’t recall a fact that (has) happened in the past or information that he/she knew in the past and/or images, feelings and sensation related to the fact or the knowledge, or as cognitive function which causes such an intellectual state.&#13;
Glorifying a past event or having erroneous human memory is a kind of forgetting.</dc:description>
</item>
<item>
<title>Teleworking: myths and realities</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18801</link>
<description>Objeto de conferencia
XVII Congreso Argentino de Ciencias de la Computación
In the next few years we will find enormous differences in many aspects of our lives. Old concepts will need to be revised and new ones will need to be defined. We need to find a new concept of work, a new definition of what work is in the information society, and what it should be. We must determine the full implications of this new concept of working and analyze its impact on society, organizations and individuals. In this new conception of work, teleworking is becoming increasingly more important. It is having important effects on society, individuals and organizations. New forms of working are emerging, and these have the logical consequences on individuals, organizations and society. Teleworking will bring many positive aspects, create new opportunities and offer new advantages to workers, firms and communities. But it could also bring many negative aspects and create new problems.
Presentado en el I ETHICOMP Latinoamérica
</description>
<pubDate>Sat, 01 Jan 2011 00:00:00 GMT</pubDate>
<guid isPermaLink="false">http://sedici.unlp.edu.ar:80/handle/10915/18801</guid>
<dc:date>2011-01-01T00:00:00Z</dc:date>
<dc:description>In the next few years we will find enormous differences in many aspects of our lives. Old concepts will need to be revised and new ones will need to be defined. We need to find a new concept of work, a new definition of what work is in the information society, and what it should be. We must determine the full implications of this new concept of working and analyze its impact on society, organizations and individuals. In this new conception of work, teleworking is becoming increasingly more important. It is having important effects on society, individuals and organizations. New forms of working are emerging, and these have the logical consequences on individuals, organizations and society. Teleworking will bring many positive aspects, create new opportunities and offer new advantages to workers, firms and communities. But it could also bring many negative aspects and create new problems.</dc:description>
</item>
<item>
<title>Some ethical reflections on relations between human beings and social robots</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18800</link>
<description>Objeto de conferencia
XVII Congreso Argentino de Ciencias de la Computación
The purpose of this paper is to reflect upon ethical implications of human-robot interaction. Issues are discussed within two scenarios: (1) In focusing on robots with intelligent behavior, but without consciousness, attention is paid to obstacles for forming trustful relations. Here, it is concluded that human-robot interaction will lack the kind of commitment, which stems from the fact that life is interpersonal, implying that trust is a fundamental human condition. (2) In focusing on the possibility of developing intelligent robots with a mental life of their own, issues of our responsibility as creators of robots are discussed, as well as issues dealing with the kind of relationships we might have with such robots. Here, we are faced with a Good-like responsibility and ethical obligations towards a creature, who possible will develop a mind of its own, which might turn out to be radically different from the human mind
Presentado en el I ETHICOMP Latinoamérica
</description>
<pubDate>Sat, 01 Jan 2011 00:00:00 GMT</pubDate>
<guid isPermaLink="false">http://sedici.unlp.edu.ar:80/handle/10915/18800</guid>
<dc:date>2011-01-01T00:00:00Z</dc:date>
<dc:description>The purpose of this paper is to reflect upon ethical implications of human-robot interaction. Issues are discussed within two scenarios: (1) In focusing on robots with intelligent behavior, but without consciousness, attention is paid to obstacles for forming trustful relations. Here, it is concluded that human-robot interaction will lack the kind of commitment, which stems from the fact that life is interpersonal, implying that trust is a fundamental human condition. (2) In focusing on the possibility of developing intelligent robots with a mental life of their own, issues of our responsibility as creators of robots are discussed, as well as issues dealing with the kind of relationships we might have with such robots. Here, we are faced with a Good-like responsibility and ethical obligations towards a creature, who possible will develop a mind of its own, which might turn out to be radically different from the human mind</dc:description>
</item>
<item>
<title>Ethics, technology and governance: condition for efficiency of ethical reflexivity in technological project: Investigating contextual proceduralism - from european lessons to South American application</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18799</link>
<description>Objeto de conferencia
XVII Congreso Argentino de Ciencias de la Computación
Information and Communication Technologies (ICT) have a growing impact, including ethical and social impact, on all aspects of life today. The potential for ethical impacts increase as ICT becomes more complex and invisible to the user, as envisioned in the concepts of ubiquitous and ambient intelligence, and converge with other new and emerging technologies. It appears important to consider potential ethical issues before and during information technology development, even if the ability to anticipate these effects by the proposers of the technology projects can be more difficult due to the complexity and convergence issues.
Presentado en el I ETHICOMP Latinoamérica
</description>
<pubDate>Sat, 01 Jan 2011 00:00:00 GMT</pubDate>
<guid isPermaLink="false">http://sedici.unlp.edu.ar:80/handle/10915/18799</guid>
<dc:date>2011-01-01T00:00:00Z</dc:date>
<dc:description>Information and Communication Technologies (ICT) have a growing impact, including ethical and social impact, on all aspects of life today. The potential for ethical impacts increase as ICT becomes more complex and invisible to the user, as envisioned in the concepts of ubiquitous and ambient intelligence, and converge with other new and emerging technologies. It appears important to consider potential ethical issues before and during information technology development, even if the ability to anticipate these effects by the proposers of the technology projects can be more difficult due to the complexity and convergence issues.</dc:description>
</item>
<item>
<title>Advantages and trade-offs of introducing ethical issues in computing through a dedicated course or through modules in relevant content courses in the curriculum</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18798</link>
<description>Objeto de conferencia
XVII Congreso Argentino de Ciencias de la Computación
We discuss two alternatives for introducing consideration of ethical questions in the computer science curriculum. These alternatives are 1) a selfcontained course on ethical issues in computing, and 2) introduction of modules devoted to ethical questions throughout the curriculum in content courses such as software engineering, databases, data mining, artificial intelligence, and systems. We discuss the advantages and the potential “hidden messages” involved in each of these approaches. By way of illustration, we list some of the pertinent points raised by two important case studies that are appropriate for inclusion in either a self-contained course or a course on software engineering
Presentado en el I ETHICOMP Latinoamérica
</description>
<pubDate>Sat, 01 Jan 2011 00:00:00 GMT</pubDate>
<guid isPermaLink="false">http://sedici.unlp.edu.ar:80/handle/10915/18798</guid>
<dc:date>2011-01-01T00:00:00Z</dc:date>
<dc:description>We discuss two alternatives for introducing consideration of ethical questions in the computer science curriculum. These alternatives are 1) a selfcontained course on ethical issues in computing, and 2) introduction of modules devoted to ethical questions throughout the curriculum in content courses such as software engineering, databases, data mining, artificial intelligence, and systems. We discuss the advantages and the potential “hidden messages” involved in each of these approaches. By way of illustration, we list some of the pertinent points raised by two important case studies that are appropriate for inclusion in either a self-contained course or a course on software engineering</dc:description>
</item>
<item>
<title>Un modelo de eventos discretos para la simulación de sistemas de tiempo real</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18797</link>
<description>Objeto de conferencia
XVII Congreso Argentino de Ciencias de la Computación
En este trabajo se presenta un modelo de eventos discretos para el diseño de simuladores de Sistemas de Tiempo Real. Los simuladores sirven para realizar comprobaciones de algoritmos, modelos, técnicas y para evaluar métricas de rendimiento. El modelo de eventos discretos se ajusta perfectamente a los sistemas dinámicos discretos como lo son los Sistemas de Tiempo Real. El modelo se desarrolla empleando la técnica de grafo de eventos, debido a su sencillez y facilidad de implementación.
Presentado en el I ETHICOMP Latinoamérica
</description>
<pubDate>Sat, 01 Jan 2011 00:00:00 GMT</pubDate>
<guid isPermaLink="false">http://sedici.unlp.edu.ar:80/handle/10915/18797</guid>
<dc:date>2011-01-01T00:00:00Z</dc:date>
<dc:description>En este trabajo se presenta un modelo de eventos discretos para el diseño de simuladores de Sistemas de Tiempo Real. Los simuladores sirven para realizar comprobaciones de algoritmos, modelos, técnicas y para evaluar métricas de rendimiento. El modelo de eventos discretos se ajusta perfectamente a los sistemas dinámicos discretos como lo son los Sistemas de Tiempo Real. El modelo se desarrolla empleando la técnica de grafo de eventos, debido a su sencillez y facilidad de implementación.</dc:description>
</item>
<item>
<title>Tipo de dato abstracto para sistemas de bases de datos de tiempo real</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18796</link>
<description>Objeto de conferencia
XVII Congreso Argentino de Ciencias de la Computación
En la actualidad, los Sistemas de Tiempo Real incorporan aplicaciones con uso intensivo de datos dentro del extenso espectro de soluciones en los cuales son aplicados. Un problema común a abordar por los desarrolladores, es el diseño orientado a datos con constricciones temporales, debido a que requiere considerar propiedades y reglas específicas para garantizar la validez de objetos respecto a instantes particulares de tiempo. Este trabajo propone un modelo para facilitar dicha tarea. Se presenta el concepto de dato de tiempo real con garantía de consistencia temporal y un conjunto de definiciones y clasificaciones asociadas. En base a esto, se modela un tipo de dato abstracto parametrizable que encapsula atributos y validaciones de constricciones temporales, de manera que el desarrollador de aplicaciones pueda abstraer y desligarse de esas responsabilidades. El resultado se verifica con la aplicación del modelo sobre un caso concreto de diseño, en un problema de informática industrial.
Presentado en el II Workshop Procesamiento de Señales y Sistemas de Tiempo Real (WPSTR).
</description>
<pubDate>Sat, 01 Jan 2011 00:00:00 GMT</pubDate>
<guid isPermaLink="false">http://sedici.unlp.edu.ar:80/handle/10915/18796</guid>
<dc:date>2011-01-01T00:00:00Z</dc:date>
<dc:description>En la actualidad, los Sistemas de Tiempo Real incorporan aplicaciones con uso intensivo de datos dentro del extenso espectro de soluciones en los cuales son aplicados. Un problema común a abordar por los desarrolladores, es el diseño orientado a datos con constricciones temporales, debido a que requiere considerar propiedades y reglas específicas para garantizar la validez de objetos respecto a instantes particulares de tiempo. Este trabajo propone un modelo para facilitar dicha tarea. Se presenta el concepto de dato de tiempo real con garantía de consistencia temporal y un conjunto de definiciones y clasificaciones asociadas. En base a esto, se modela un tipo de dato abstracto parametrizable que encapsula atributos y validaciones de constricciones temporales, de manera que el desarrollador de aplicaciones pueda abstraer y desligarse de esas responsabilidades. El resultado se verifica con la aplicación del modelo sobre un caso concreto de diseño, en un problema de informática industrial.</dc:description>
</item>
<item>
<title>Experimentación y evaluación de sistemas operativos de tiempo real</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18795</link>
<description>Objeto de conferencia
XVII Congreso Argentino de Ciencias de la Computación
El presente trabajo presenta experimentos con diferentes sistemas operativos que soportan las características de tiempo real. Dichos experimentos están destinados a medir y comparar el tiempo que dichos sistemas operativos demoran para responder a un evento externo con una respuesta. Este tiempo de demora se llama latencia. No solo se evalúa este tiempo, sino la variabilidad del mismo. Si bien no es la única condición que debe cumplir un sistema operativo para ser considerado de tiempo real, es una condición necesaria. Los tiempos de latencia y su variabilidad darán los límites de requerimientos de restricciones temporales que podrán soportar.
Presentado en el II Workshop Procesamiento de Señales y Sistemas de Tiempo Real (WPSTR)
</description>
<pubDate>Sat, 01 Jan 2011 00:00:00 GMT</pubDate>
<guid isPermaLink="false">http://sedici.unlp.edu.ar:80/handle/10915/18795</guid>
<dc:date>2011-01-01T00:00:00Z</dc:date>
<dc:description>El presente trabajo presenta experimentos con diferentes sistemas operativos que soportan las características de tiempo real. Dichos experimentos están destinados a medir y comparar el tiempo que dichos sistemas operativos demoran para responder a un evento externo con una respuesta. Este tiempo de demora se llama latencia. No solo se evalúa este tiempo, sino la variabilidad del mismo. Si bien no es la única condición que debe cumplir un sistema operativo para ser considerado de tiempo real, es una condición necesaria. Los tiempos de latencia y su variabilidad darán los límites de requerimientos de restricciones temporales que podrán soportar.</dc:description>
</item>
<item>
<title>Control vía Internet de un robot ubicado en un sitio remoto aplicando una interfase cerebro-máquina</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18794</link>
<description>Objeto de conferencia
XVII Congreso Argentino de Ciencias de la Computación
En este artículo se describe el trabajo de investigación que en la actualidad se está desarrollando dentro del área de la comunicación de humanos a robots, sobre la base de bioseñales cerebrales y puntualmente en sitios remotos. Para esta investigación se aplican tecnologías, interfases disponibles y protocolos de comunicación estándar que facilitan la lectura de las señales del cerebro del usuario, su asociación a comandos explícitos y la comunicación entre los sitios remotos.
Presentado en el II Workshop Procesamiento de Señales y Sistemas de Tiempo Real (WPSTR)
</description>
<pubDate>Sat, 01 Jan 2011 00:00:00 GMT</pubDate>
<guid isPermaLink="false">http://sedici.unlp.edu.ar:80/handle/10915/18794</guid>
<dc:date>2011-01-01T00:00:00Z</dc:date>
<dc:description>En este artículo se describe el trabajo de investigación que en la actualidad se está desarrollando dentro del área de la comunicación de humanos a robots, sobre la base de bioseñales cerebrales y puntualmente en sitios remotos. Para esta investigación se aplican tecnologías, interfases disponibles y protocolos de comunicación estándar que facilitan la lectura de las señales del cerebro del usuario, su asociación a comandos explícitos y la comunicación entre los sitios remotos.</dc:description>
</item>
<item>
<title>Conceptos de tiempo real aplicados a la informática industrial</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18793</link>
<description>Objeto de conferencia
XVII Congreso Argentino de Ciencias de la Computación
Los procesos industriales están gobernados en su gran mayoría, por controladores lógicos programables. En este trabajo se presenta un análisis entre la arquitectura típica de procesamiento en los controladores industriales y las soluciones de control utilizando herramientas de tiempo real.&#13;
Posteriormente, tomando de referencia una plataforma basada en un PLC Siemens, se propone una solución para un problema real de control industrial.&#13;
Se demostrará que si en la primeras etapas de diseño, se aplican herramientas actuales de tiempo real se simplifican las soluciones y a su vez se aporta robustez y eficiencia al sistema.
Presentado en el II Workshop Procesamiento de Señales y Sistemas de Tiempo Real (WPSTR)
</description>
<pubDate>Sat, 01 Jan 2011 00:00:00 GMT</pubDate>
<guid isPermaLink="false">http://sedici.unlp.edu.ar:80/handle/10915/18793</guid>
<dc:date>2011-01-01T00:00:00Z</dc:date>
<dc:description>Los procesos industriales están gobernados en su gran mayoría, por controladores lógicos programables. En este trabajo se presenta un análisis entre la arquitectura típica de procesamiento en los controladores industriales y las soluciones de control utilizando herramientas de tiempo real.&#13;
Posteriormente, tomando de referencia una plataforma basada en un PLC Siemens, se propone una solución para un problema real de control industrial.&#13;
Se demostrará que si en la primeras etapas de diseño, se aplican herramientas actuales de tiempo real se simplifican las soluciones y a su vez se aporta robustez y eficiencia al sistema.</dc:description>
</item>
<item>
<title>Caracterización del comportamiento de una red de sensores basado en COTS bajo condiciones de temperatura hostil para sistemas aeroespaciales</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18792</link>
<description>Objeto de conferencia
XVII Congreso Argentino de Ciencias de la Computación
CAN (Controller Area Network) es un protocolo abierto para redes de comunicaciones y de alta confiabilidad ampliamente utilizado en la industria automotriz. Por sus características también resulta apropiado para aplicaciones de tiempo real distribuidas como una red de dispositivos de vuelo y en particular sistemas aeroespaciales como satélites artificiales y vehículos de inyección satelital. En este caso para caracterizar el comportamiento dinámico de estos sistemas se utiliza una red de sensores inerciales del tipo IFOG (Interferometric Fiber-Optic Gyroscope) que se comunican utilizando el protocolo CAN. En este trabajo se realiza una evaluación del sistema de medición de velocidad angular (girómetro) ante posibles fallas debido a la variación de la temperatura de trabajo.
Presentado en el II Workshop Procesamiento de Señales y Sistemas de Tiempo Real (WPSTR)
</description>
<pubDate>Sat, 01 Jan 2011 00:00:00 GMT</pubDate>
<guid isPermaLink="false">http://sedici.unlp.edu.ar:80/handle/10915/18792</guid>
<dc:date>2011-01-01T00:00:00Z</dc:date>
<dc:description>CAN (Controller Area Network) es un protocolo abierto para redes de comunicaciones y de alta confiabilidad ampliamente utilizado en la industria automotriz. Por sus características también resulta apropiado para aplicaciones de tiempo real distribuidas como una red de dispositivos de vuelo y en particular sistemas aeroespaciales como satélites artificiales y vehículos de inyección satelital. En este caso para caracterizar el comportamiento dinámico de estos sistemas se utiliza una red de sensores inerciales del tipo IFOG (Interferometric Fiber-Optic Gyroscope) que se comunican utilizando el protocolo CAN. En este trabajo se realiza una evaluación del sistema de medición de velocidad angular (girómetro) ante posibles fallas debido a la variación de la temperatura de trabajo.</dc:description>
</item>
<item>
<title>Propositional Satisfiability (SAT) as a language problem</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18791</link>
<description>Objeto de conferencia
XVII Congreso Argentino de Ciencias de la Computación
We present an approach to propositional satisfiability as a Finite State Automata automata construction problem. From a theoretical point of view it has consequences for languages beyond context free power. There are no consequences on complexity issues due to Automata construction (using intersection) is PSPACE-complete. From a practical point of view it was shown that this approach is competitive with ALL-SAT approaches and even with state of the art SAT solvers on traditional hard problems. Here, we show that techniques used in DPLL can be used in an automata approach. This kind of approach opens a new path of research on propositional satisfiability.
Presentado en el II Workshop Aspectos Teóricos de Ciencia de la Computación (WATCC)
</description>
<pubDate>Sat, 01 Jan 2011 00:00:00 GMT</pubDate>
<guid isPermaLink="false">http://sedici.unlp.edu.ar:80/handle/10915/18791</guid>
<dc:date>2011-01-01T00:00:00Z</dc:date>
<dc:description>We present an approach to propositional satisfiability as a Finite State Automata automata construction problem. From a theoretical point of view it has consequences for languages beyond context free power. There are no consequences on complexity issues due to Automata construction (using intersection) is PSPACE-complete. From a practical point of view it was shown that this approach is competitive with ALL-SAT approaches and even with state of the art SAT solvers on traditional hard problems. Here, we show that techniques used in DPLL can be used in an automata approach. This kind of approach opens a new path of research on propositional satisfiability.</dc:description>
</item>
<item>
<title>El marcado de un árbol dialéctico en DeLP es pspace-completo</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18790</link>
<description>Objeto de conferencia
XVII Congreso Argentino de Ciencias de la Computación
La Programación en Lógica Rebatible (DeLP) es una extensión de la Programación en Lógica que permite representar conocimiento tentativo y razonar a través de argumentos a partir de él. Su semántica operacional está basada en un análisis dialéctico donde argumentos a favor y en contra de un literal interactúan, construyendo un árbol dialéctico.&#13;
En este trabajo, nos enfocamos al estudio de la complejidad del proceso de marcado del árbol dialéctico, con el cual se determina si su raíz fue derrotada. Este punto es de gran importancia en DeLP, ya que permite determinar si el literal soportado por el argumento raíz del árbol será considerado entre las creencias de un agente que razona. Hemos probado que el marcado del árbol dialéctico es pspace-completo.
Presentado en el II Workshop Aspectos Teóricos de Ciencia de la Computación (WATCC)
</description>
<pubDate>Sat, 01 Jan 2011 00:00:00 GMT</pubDate>
<guid isPermaLink="false">http://sedici.unlp.edu.ar:80/handle/10915/18790</guid>
<dc:date>2011-01-01T00:00:00Z</dc:date>
<dc:description>La Programación en Lógica Rebatible (DeLP) es una extensión de la Programación en Lógica que permite representar conocimiento tentativo y razonar a través de argumentos a partir de él. Su semántica operacional está basada en un análisis dialéctico donde argumentos a favor y en contra de un literal interactúan, construyendo un árbol dialéctico.&#13;
En este trabajo, nos enfocamos al estudio de la complejidad del proceso de marcado del árbol dialéctico, con el cual se determina si su raíz fue derrotada. Este punto es de gran importancia en DeLP, ya que permite determinar si el literal soportado por el argumento raíz del árbol será considerado entre las creencias de un agente que razona. Hemos probado que el marcado del árbol dialéctico es pspace-completo.</dc:description>
</item>
<item>
<title>Análisis modular y recuperación de contraejemplos en TACO</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18789</link>
<description>Objeto de conferencia
XVII Congreso Argentino de Ciencias de la Computación
TACO es una herramienta para realizar verificación formal de programas, que permite detectar bugs en los mismos. Esta traduce un programa escrito en lenguaje Java y su especificación en JML a la notación DynAlloy, para luego analizar la especificación obtenida mediante SAT solving, vía una traducción adicional al lenguaje Alloy. En este trabajo presentamos dos mejoras significativas a esta herramienta y técnica de análisis. En primer lugar, proveemos un mecanismo de análisis modular de código en presencia de invocación de rutinas. En segundo lugar, automatizamos la construcción de unit tests en Java, que reproducen los bugs detectados por el análisis.&#13;
Las mejoras presentadas contribuyen al análisis en dos dimensiones: el análisis modular contribuye a la escabilidad de la técnica de análisis subyacente a TACO, mientras que la recuperación de contraejemplos facilita el uso de la herramienta, ocultando adecuadamente los detalles del método formal subyacente en su aplicación.
Presentado en el II Workshop Aspectos Teóricos de Ciencia de la Computación (WATCC)
</description>
<pubDate>Sat, 01 Jan 2011 00:00:00 GMT</pubDate>
<guid isPermaLink="false">http://sedici.unlp.edu.ar:80/handle/10915/18789</guid>
<dc:date>2011-01-01T00:00:00Z</dc:date>
<dc:description>TACO es una herramienta para realizar verificación formal de programas, que permite detectar bugs en los mismos. Esta traduce un programa escrito en lenguaje Java y su especificación en JML a la notación DynAlloy, para luego analizar la especificación obtenida mediante SAT solving, vía una traducción adicional al lenguaje Alloy. En este trabajo presentamos dos mejoras significativas a esta herramienta y técnica de análisis. En primer lugar, proveemos un mecanismo de análisis modular de código en presencia de invocación de rutinas. En segundo lugar, automatizamos la construcción de unit tests en Java, que reproducen los bugs detectados por el análisis.&#13;
Las mejoras presentadas contribuyen al análisis en dos dimensiones: el análisis modular contribuye a la escabilidad de la técnica de análisis subyacente a TACO, mientras que la recuperación de contraejemplos facilita el uso de la herramienta, ocultando adecuadamente los detalles del método formal subyacente en su aplicación.</dc:description>
</item>
<item>
<title>Gobernabilidad Electrónica: Desarrollo de un Gestor de Contenidos para Dispositivos Móviles (GECODIMO)</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18788</link>
<description>Objeto de conferencia
XVII Congreso Argentino de Ciencias de la Computación
En el presente paper se muestran las características de GECODIMO, un software que permitirá a los municipios poder contar con un gestor de contenidos para dispositivos móviles, que puede ser implementado sin costo alguno por los gobiernos municipales ya que fue desarrollado con herramientas open-source. Dicho sistema ofrecerá una vía adicional de comunicación en el entorno G2C (Gobierno-Ciudadanos) y G2V (Gobierno-Visitantes) permitiendo, a través de los dispositivos móviles, contar con información del municipio.
Presentado en el VI Workshop Arquitectura, Redes y Sistemas Operativos (WARSO)
</description>
<pubDate>Sat, 01 Jan 2011 00:00:00 GMT</pubDate>
<guid isPermaLink="false">http://sedici.unlp.edu.ar:80/handle/10915/18788</guid>
<dc:date>2011-01-01T00:00:00Z</dc:date>
<dc:description>En el presente paper se muestran las características de GECODIMO, un software que permitirá a los municipios poder contar con un gestor de contenidos para dispositivos móviles, que puede ser implementado sin costo alguno por los gobiernos municipales ya que fue desarrollado con herramientas open-source. Dicho sistema ofrecerá una vía adicional de comunicación en el entorno G2C (Gobierno-Ciudadanos) y G2V (Gobierno-Visitantes) permitiendo, a través de los dispositivos móviles, contar con información del municipio.</dc:description>
</item>
<item>
<title>Desarrollo de entornos interactivos para usuarios sordos</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18787</link>
<description>Objeto de conferencia
XVII Congreso Argentino de Ciencias de la Computación
Este trabajo expone los resultados de la experiencia alcanzada en el desarrollo de aplicaciones para personas sordas a través del uso de la tecnología de Servicios Web. Construido el servicio Web Lengua_de_Señas_Argentina (LSA), se desarrollaron dos sistemas interactivos que consumen el mismo; uno corresponde a una aplicación de escritorio que tiene como propósito realizar una primera experiencia en el desarrollo de entornos interactivos para usuarios sordos y el otro propone una aplicación para un dispositivo móvil, con el fin de probar la interoperabilidad del servicio. La propuesta expone las derivaciones del proceso de construcción de sistemas interactivos para usuarios sordos y resalta la importancia del uso de la tecnología de Servicios Web a través de la cual es posible construir aplicaciones que reutilicen las funcionalidades del servicio sin tener que realizar algo que ya alguien se encargó de hacer.
Presentado en el VI Workshop Arquitectura, Redes y Sistemas Operativos (WARSO)
</description>
<pubDate>Sat, 01 Jan 2011 00:00:00 GMT</pubDate>
<guid isPermaLink="false">http://sedici.unlp.edu.ar:80/handle/10915/18787</guid>
<dc:date>2011-01-01T00:00:00Z</dc:date>
<dc:description>Este trabajo expone los resultados de la experiencia alcanzada en el desarrollo de aplicaciones para personas sordas a través del uso de la tecnología de Servicios Web. Construido el servicio Web Lengua_de_Señas_Argentina (LSA), se desarrollaron dos sistemas interactivos que consumen el mismo; uno corresponde a una aplicación de escritorio que tiene como propósito realizar una primera experiencia en el desarrollo de entornos interactivos para usuarios sordos y el otro propone una aplicación para un dispositivo móvil, con el fin de probar la interoperabilidad del servicio. La propuesta expone las derivaciones del proceso de construcción de sistemas interactivos para usuarios sordos y resalta la importancia del uso de la tecnología de Servicios Web a través de la cual es posible construir aplicaciones que reutilicen las funcionalidades del servicio sin tener que realizar algo que ya alguien se encargó de hacer.</dc:description>
</item>
<item>
<title>Compartir información de gobierno: Beneficios</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18786</link>
<description>Objeto de conferencia
XVII Congreso Argentino de Ciencias de la Computación
Compartir Información (CI) permite el intercambio e integración de información entre distintas dependencias de una organización, entre empresas o agencias de gobierno. El compartir información permite aumentar la eficiencia –evitando la duplicación de procesos que actualizan los mismos datos; la calidad de los procesos y servicios –eliminando errores por datos inconsistentes, y la transparencia– facilitando el acceso a la información. Debido a los cambios tecnológicos, organizacionales, institucionales y de entorno que se requieren para implementar iniciativas de CI en gobierno, tales iniciativas requieren la definición de casos de negocios convincentes al momento de estudiar la factibilidad de las mismas. En este trabajo se presentan los resultados de las tareas de investigación realizadas para estudiar los beneficios de CI en gobierno. La investigación basada en recolección de datos secundarios, relevó iniciativas de CI implementadas en varios países. En base a los datos recolectados, se presenta un estudio exhaustivo de los beneficios de CI en gobierno, con una propuesta para clasificación de beneficios. La mayor contribución de este trabajo, es proveer una lista detallada de beneficios factibles al CI y una clasificación de los mismos. Estos resultados sirven de referencia para justificar la implementación de iniciativas de CI.
Presentado en el VI Workshop Arquitectura, Redes y Sistemas Operativos (WARSO)
</description>
<pubDate>Sat, 01 Jan 2011 00:00:00 GMT</pubDate>
<guid isPermaLink="false">http://sedici.unlp.edu.ar:80/handle/10915/18786</guid>
<dc:date>2011-01-01T00:00:00Z</dc:date>
<dc:description>Compartir Información (CI) permite el intercambio e integración de información entre distintas dependencias de una organización, entre empresas o agencias de gobierno. El compartir información permite aumentar la eficiencia –evitando la duplicación de procesos que actualizan los mismos datos; la calidad de los procesos y servicios –eliminando errores por datos inconsistentes, y la transparencia– facilitando el acceso a la información. Debido a los cambios tecnológicos, organizacionales, institucionales y de entorno que se requieren para implementar iniciativas de CI en gobierno, tales iniciativas requieren la definición de casos de negocios convincentes al momento de estudiar la factibilidad de las mismas. En este trabajo se presentan los resultados de las tareas de investigación realizadas para estudiar los beneficios de CI en gobierno. La investigación basada en recolección de datos secundarios, relevó iniciativas de CI implementadas en varios países. En base a los datos recolectados, se presenta un estudio exhaustivo de los beneficios de CI en gobierno, con una propuesta para clasificación de beneficios. La mayor contribución de este trabajo, es proveer una lista detallada de beneficios factibles al CI y una clasificación de los mismos. Estos resultados sirven de referencia para justificar la implementación de iniciativas de CI.</dc:description>
</item>
<item>
<title>Cohesión entre Ontologías: una técnica para medir integración semántica</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18785</link>
<description>Objeto de conferencia
XVII Congreso Argentino de Ciencias de la Computación
Multiple SIG ontologies are accessible on the Web. Beside, each application has its own data model or application ontology. Ontology mapping could provide a common layer from which several ontologies could exchange information in a semantically manners. In this article we present a new technique that could collaborate with measuring cohesion among ontologies and could anticipate the integration result of these.
Presentado en el VI Workshop Arquitectura, Redes y Sistemas Operativos (WARSO)
</description>
<pubDate>Sat, 01 Jan 2011 00:00:00 GMT</pubDate>
<guid isPermaLink="false">http://sedici.unlp.edu.ar:80/handle/10915/18785</guid>
<dc:date>2011-01-01T00:00:00Z</dc:date>
<dc:description>Multiple SIG ontologies are accessible on the Web. Beside, each application has its own data model or application ontology. Ontology mapping could provide a common layer from which several ontologies could exchange information in a semantically manners. In this article we present a new technique that could collaborate with measuring cohesion among ontologies and could anticipate the integration result of these.</dc:description>
</item>
<item>
<title>Arquitectura multicapa de búsqueda por imagen aplicado a bases de conocimiento colaborativas para uso en dispositivos móviles</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18784</link>
<description>Objeto de conferencia
XVII Congreso Argentino de Ciencias de la Computación
En la actualidad, existe un considerable número de aplicaciones que permiten realizar búsquedas en bases de datos cuyo criterio es especificado mediante una imagen, en lugar de la tradicional utilización de palabras clave. El presente trabajo expone los avances realizados en el desarrollo de una arquitectura de código abierto multicapa para realizar este tipo de búsquedas y la posterior visualización de resultados; con la ventaja de brindar la versatilidad suficiente para lograr la escalabilidad y adaptación según las necesidades específicas de cada escenario de utilización. A su vez se detallan las mejoras realizadas en la lógica de correspondencia entre imágenes a fin de lograr una mayor robustez en los resultados.
Presentado en el VI Workshop Arquitectura, Redes y Sistemas Operativos (WARSO)
</description>
<pubDate>Sat, 01 Jan 2011 00:00:00 GMT</pubDate>
<guid isPermaLink="false">http://sedici.unlp.edu.ar:80/handle/10915/18784</guid>
<dc:date>2011-01-01T00:00:00Z</dc:date>
<dc:description>En la actualidad, existe un considerable número de aplicaciones que permiten realizar búsquedas en bases de datos cuyo criterio es especificado mediante una imagen, en lugar de la tradicional utilización de palabras clave. El presente trabajo expone los avances realizados en el desarrollo de una arquitectura de código abierto multicapa para realizar este tipo de búsquedas y la posterior visualización de resultados; con la ventaja de brindar la versatilidad suficiente para lograr la escalabilidad y adaptación según las necesidades específicas de cada escenario de utilización. A su vez se detallan las mejoras realizadas en la lógica de correspondencia entre imágenes a fin de lograr una mayor robustez en los resultados.</dc:description>
</item>
<item>
<title>Applying software engineering techniques to the development of robotic systems</title>
<link>http://sedici.unlp.edu.ar:80/handle/10915/18783</link>
<description>Objeto de conferencia
XVII Congreso Argentino de Ciencias de la Computación
In these days most robotic systems tend to be complex to maintain and reuse because existing frameworks are based mainly on code-driven approaches. This means the software development process is reduced to the implementation of systems using specific programming languages. During the constant evolution, the systems grow in size and in complexity. Even when these approaches address the needs of roboticfocused markets, currently used methodologies and toolsets fail to cope with the needs of such complex software development process. The general objective of our project is the definition of a methodological framework supported by a set of tools to deal with the requirements of the robotic software development process. A major challenge is to make the step from code-driven to model-driven in the development of robotic software systems. Separating robotics knowledge from short-cycled implementation technologies is essential to foster reuse and maintenance.&#13;
In this paper we report our initial results
Presentado en el VI Workshop Arquitectura, Redes y Sistemas Operativos (WARSO)
</description>
<pubDate>Sat, 01 Jan 2011 00:00:00 GMT</pubDate>
<guid isPermaLink="false">http://sedici.unlp.edu.ar:80/handle/10915/18783</guid>
<dc:date>2011-01-01T00:00:00Z</dc:date>
<dc:description>In these days most robotic systems tend to be complex to maintain and reuse because existing frameworks are based mainly on code-driven approaches. This means the software development process is reduced to the implementation of systems using specific programming languages. During the constant evolution, the systems grow in size and in complexity. Even when these approaches address the needs of roboticfocused markets, currently used methodologies and toolsets fail to cope with the needs of such complex software development process. The general objective of our project is the definition of a methodological framework supported by a set of tools to deal with the requirements of the robotic software development process. A major challenge is to make the step from code-driven to model-driven in the development of robotic software systems. Separating robotics knowledge from short-cycled implementation technologies is essential to foster reuse and maintenance.&#13;
In this paper we report our initial results</dc:description>
</item>
</channel>
</rss>
