Mostrando recursos 61 - 80 de 5.380

  1. $rec.titulo

    Dami, Ilham; Marché, Claude

  2. $rec.titulo

    Dami, Ilham; Marché, Claude

  3. Deductive Verification of a Hypervisor Model

    Rusu, Vlad; Grimaud, Gilles; Hauspie, Michaël; Serman, François
    We propose a deductive-verification approach for proving partial-correctness and invariance properties on arbitrary transition systems, and demonstrate it on a security hypervisor model for machine code. Regarding partial correctness, we generalise the recently-introduced formalism of Reachability Logic, currently used as a language-parametric program logic, to arbitrary transition systems. We propose a sound and relatively-complete proof system for the resulting logic. The soundness of the proof system is formally established in the Coq proof assistant, and the mechanised proof provides us with a generic Reachability-Logic prover within Coq for transition-system specifications. The relative completeness of the proof system, although theoretical in...

  4. Forensic Analysis of a Siemens Programmable Logic Controller

    Chan, Raymond; Chow, Kam-Pui
    Part 2: CONTROL SYSTEMS SECURITY

  5. Integración de Contratos de Mantenimiento y Órdenes de trabajo en el ERP Odoo mediante una App móvil

    CUESTA CONTRERAS, JUAN
    [ES] El presente trabajo recoge la integración de las órdenes de trabajo en un sistema ERP ya usado por la empresa cliente, en este caso el ERP será Odoo. Actualmente la empresa usa Odoo para gestionar la contabilidad, los contratos con clientes y los productos y servicios en venta, usando un software distinto para la gestión de las órdenes de trabajo. A lo largo de este proyecto se describirá el proceso para integrar dichas ordenes en Odoo, para esto se desarrollarán módulos para la creación de los modelos necesarios y su visualización. Además, se añadirá la funcionalidad de generar informes de estadísticas a partir de...

  6. Landscapes of transhumance in Norway and Spain: Farmers' practices, perceptions, and value orientations

    Daugstad, Karoline; Fernández Mier, Margarita; Peña-Chocarro, Leonor
    The mountain areas of Europe have been of vital importance in the system of summer farming whereby the movement of livestock between different altitudinal levels is a key element. However, summer farming has been downscaled considerably during the 20th century. The article describes two areas where summer farming is still practised: Forollhogna in Norway, and Asturias in Spain. The authors document the transhumance system in the two areas, and investigate how farmers view the summer farming system and landscape, how they relate to nature protection, and whether specific value orientations can be detected in their views. The findings show that...

  7. Landscapes of transhumance in Norway and Spain: Farmers' practices, perceptions, and value orientations

    Daugstad, Karoline; Fernández Mier, Margarita; Peña-Chocarro, Leonor
    The mountain areas of Europe have been of vital importance in the system of summer farming whereby the movement of livestock between different altitudinal levels is a key element. However, summer farming has been downscaled considerably during the 20th century. The article describes two areas where summer farming is still practised: Forollhogna in Norway, and Asturias in Spain. The authors document the transhumance system in the two areas, and investigate how farmers view the summer farming system and landscape, how they relate to nature protection, and whether specific value orientations can be detected in their views. The findings show that...

  8. Enabling the deployment of ubiquitous smart spaces : an architectural and methodological approach based on the web of things

    Corredor Pérez, Iván
    La visión de un mundo poblado de objetos inteligentes ha sido una constante desde los albores de la telefomunicación contemporanea a finales del siglo XIX. Sin embargo, fue Mark Weiser quien, a inicios de los años 90, estableció los fundamentos de la Computación Ubicua, esencial para la definición de un nuevo concepto de interconexión de objetos llamado el Internet de las Cosas. Este nuevo paradigma extendió la capilaridad del Internet original integrando dispositivos con capacidades sensoriales en estrecha relación con escenarios de la vida real. Normalmente, estos escenarios se contextualizan en aplicaciones verticales, por ejemplo, Smart Cities, Industria 4.0, Coche...

  9. La condición lógica del asociacionismo

    Martínez Caamaño, Jorge
    [Resumen] Este trabajo consiste en un acercamiento a la teoría DBO y al trabajo metodológico empleando simulación basada en agentes. En la búsqueda de una temática acorde a este acercamiento, se considera el análisis del fenómeno crowding-out por dos motivos. El primero es la falta de respuesta a una pregunta clave: ¿están las teorías del fallo del Estado bien encaminadas? El segundo motivo, el posible interés que este tipo de investigación puede tener para la gestión del asociacionismo por parte del organismo público.

  10. La condición lógica del asociacionismo

    Martínez Caamaño, Jorge
    [Resumen] Este trabajo consiste en un acercamiento a la teoría DBO y al trabajo metodológico empleando simulación basada en agentes. En la búsqueda de una temática acorde a este acercamiento, se considera el análisis del fenómeno crowding-out por dos motivos. El primero es la falta de respuesta a una pregunta clave: ¿están las teorías del fallo del Estado bien encaminadas? El segundo motivo, el posible interés que este tipo de investigación puede tener para la gestión del asociacionismo por parte del organismo público.

  11. Mis clases de Derecho Comparado y el Derecho Comparado en mis clases

    Ospina Garzón, Andrés Fernando
    La utilización del Derecho comparado como método de estudio del Derecho Administrativo, no es sólo la citación de autores o referencias bibliográficas foráneas sino que presta toda su utilidad para facilitar la evolución del derecho positivo, muestra las razones históricas y teóricas que soportan muchas instituciones administrativas, permite proveer soluciones novedosas a problemas antiguos o recién planteados y genera una comprensión de la lógica y principios de los diferentes sistemas jurídicos.

  12. Mis clases de Derecho Comparado y el Derecho Comparado en mis clases

    Ospina Garzón, Andrés Fernando
    La utilización del Derecho comparado como método de estudio del Derecho Administrativo, no es sólo la citación de autores o referencias bibliográficas foráneas sino que presta toda su utilidad para facilitar la evolución del derecho positivo, muestra las razones históricas y teóricas que soportan muchas instituciones administrativas, permite proveer soluciones novedosas a problemas antiguos o recién planteados y genera una comprensión de la lógica y principios de los diferentes sistemas jurídicos.

  13. Modelizaciones y análisis de sensibilidad en la evaluación integral del riesgo sísmico a escala urbana : aplicación a la ciudad de Lorca

    Quirós Hernández, Ligia Elena
    En esta tesis se presenta una propuesta metodológica para la evaluación integral del riesgo sísmico en un entorno urbano, con alto grado de resolución, identificando los métodos actuales y modelos óptimos para la caracterización de las cuatro fases principales en el cálculo del riesgo: peligrosidad, efecto local, vulnerabilidad y cuantificación del daño. Como contribución inédita se incorpora en la metodología un árbol lógico para considerar distintas distribuciones de vulnerabilidad que se simulan estocásticamente por un método de Montecarlo y diferentes métodos de cálculo del daño, con el fin de cuantificar las incertidumbres inherentes a estos dos aspectos. La metodología propuesta...

  14. Control climático de un invernadero mediante lógica borrosa

    Mazquiarán Andrade, César
    En la Escuela Técnica Superior en Ingeniería y Diseño Industrial se ha llevado a cabo la implantación de un sistema de control mediante Lógica Borrosa cuyo objetivo es el control climático de un invernadero inteligente. Con el presente proyecto, se pretende realizar un control óptimo de las variables de humedad relativa y temperatura ambiental mediante un controlador de tipo Mamdani. Para conseguir este objetivo, se hará uso del material necesario tanto para la medición de las variables ambientales, como de todo aquel dispositivo que sea relevante para alterar las condiciones internas para alcanzar las consignas deseadas. El objetivo final es disponer...

  15. An intensionally fully-abstract sheaf model for π (expanded version)

    Eberhart, Clovis; Hirschowitz, Tom; Seiller, Thomas
    Following previous work on CCS, we propose a compositional model for the π-calculus in which processes are interpreted as sheaves on certain simple sites. Such sheaves are a concurrent form of innocent strategies, in the sense of Hyland-Ong/Nickau game semantics. We define an analogue of fair testing equivalence in the model and show that our interpretation is intensionally fully abstract for it. That is, the interpretation preserves and reflects fair testing equivalence; and furthermore, any innocent strategy is fair testing equivalent to the interpretation of some process. The central part of our work is the construction of our sites, relying...

  16. An intensionally fully-abstract sheaf model for π (expanded version)

    Eberhart, Clovis; Hirschowitz, Tom; Seiller, Thomas
    Following previous work on CCS, we propose a compositional model for the π-calculus in which processes are interpreted as sheaves on certain simple sites. Such sheaves are a concurrent form of innocent strategies, in the sense of Hyland-Ong/Nickau game semantics. We define an analogue of fair testing equivalence in the model and show that our interpretation is intensionally fully abstract for it. That is, the interpretation preserves and reflects fair testing equivalence; and furthermore, any innocent strategy is fair testing equivalent to the interpretation of some process. The central part of our work is the construction of our sites, relying...

  17. Proof-checking Euclid

    Beeson, Michael; Narboux, Julien; Wiedijk, Freek
    We used computer proof-checking methods to verify the correctness of our proofs of the propositions in Euclid Book I. We used axioms as close as possible to those of Euclid, in a language closely related to that used in Tarski's formal geometry. We used proofs as close as possible to those given by Euclid, but filling Euclid's gaps and correcting errors. Euclid Book I has 48 propositions; we proved 213 theorems. The extras were partly " Book Zero " , preliminaries of a very fundamental nature, partly propositions that Euclid omitted but were used implicitly, partly advanced theorems that we...

  18. Grundzüge der Logik /

    Lipps, Theodor, 1851-1914.
    "Unveränderter Abdruck."

  19. Logic-based argumentation with existential rules

    Arioua, Abdallah; Croitoru, Madalina; Vesic, Srdjan
    International audience

  20. Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning

    Grimaud, Christel
    International audience

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.