Metabuscador

Filtrado por:

Temas

Idiomas

Recursos

Año

Aproximadamente 10309 registro(s) hasta el momento: (datos)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Towards the verification of RAISE specifications through Model Checking
Perna, Juan Ignacio - George, Chris W.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal. In particular, the usage of Model Checking in formal languages…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Enfoque para la aplicación de Semantic Web Services en Sistemas Centrados en el Usuario
Sanabria, Fernando Daniel - Ierache, Jorge Salvador

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Los servicios basados en la Web ya se han convertido en una herramienta más en la vida de la mayoría de las personas. En la actualidad por ejemplo se utiliza la Web para pagar servicios, comprar artículos o escuchar programas…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Un modelo para el mapeo automático de tareas a procesadores en arquitecturas multicluster heterogéneas
De Giusti, Laura Cristina - Chichizola, Franco - Naiouf, Marcelo - Ripoll, Ana - De Giusti, Armando Eduardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En este trabajo se discuten técnicas de mapeo automático de tareas concurrentes a procesadores, mediante el análisis del grafo de relación entre tareas, en el que se incorporan los tiempos de procesamiento y comunicación. Partiendo de un primer análisis en…
Fecha:	2012-10-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Formato:	Thesis
Enlaces:	Se diseña e implementa una red de datos y sensores, que permite conocer a tiempo, el estado clínico del paciente a los responsables de su cuidado en la Clínica "Durán" de Ambato. Esto busca mejorar el mecanismo de atención al…
Fecha:	2012-11-05
Recurso:	Escuela Politécnica Nacional

Recurso libre

Desarrollo de aplicaciones Web utilizando herramientas FLOSS
Samec, Gustavo - Mazzanti, Renato

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El proyecto tiene como objetivo evaluar distintas herramientas FLOSS, definir una arquitectura de software para el desarrollo de aplicaciones Web y realizar un desarrollo aplicando las herramientas y arquitectura seleccionada. Actualmente existen varios proyectos de ley que fomentan la utilización…
Fecha:	2012-09-07
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Formato:	info:eu-repo/semantics/article
Enlaces:	Introducción: A pesar de la visibilidad de los casos de violencia del compañero íntimo contra las mujeres en parejas con problemas socioeconómicos, su relación con el hecho concreto de desarrollar una conducta violenta no está clara. Se plantea realizar una…
Fecha:	2008-05-15
Recurso:	RUA Docencia

Recurso libre

Sistema integrado de comunicación de noticias Via Bluetooth
Lolin Cabrera, David - Almeida Mejía, Fernando

Formato:	Thesis
Enlaces:	Bluetooth es la especificación que define un estándar global de comunicaciones inalámbricas para redes de área personal dicha especificación permite la transmisión de voz y datos entre diferentes equipos mediante un enlace por radiofrecuencia en entornos de comunicaciones móviles y…
Fecha:	2012-11-29
Recurso:	Universidad Politécnica Salesiana

Recurso libre

Formato:	Tesis, Tesis de grado
Enlaces:	Sumario: 1- Introducción a las bases de datos distribuidas 2- Replicación 3- Sincronización 4- Manejo de réplicas coordinadas 5- Presentación de un problema real 6- Implementación de una solución 7- Conclusiones
Fecha:	2008-05-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Indagación apreciativa: Impacto en el clima organizacional y actitud de compromiso
Macías Suárez, Juan Rodrigo

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	El presente estudio de investigación consiste en la medición del impacto generado por un proceso de Desarrollo Organizacional conocido como Indagación Apreciativa, en dos variables de relevancia organizacional que son Actitud de Compromiso en el Trabajo y Calidad de…
Fecha:	2008-04-28
Recurso:	CIRIA

Recurso libre

10.

Formato:	info:eu-repo/semantics/doctoralThesis, info:eu-repo/semantics/acceptedVersion
Enlaces:	El Niño-Oscilación del Sur (ENSO por sus siglas en inglés) ha sido ampliamente estudiado debido al gran impacto que tiene en las condiciones oceánicas y atmosféricas en la región tropical y sub-tropical del Océano Pacífico, ocasionando a su vez cambios…
Fecha:	2008-08-28
Recurso:	CIBNOR