Cerca risorse accademiche

Materie / parole chiave: Operating systems (Computers); Programming languages (Electronic computers)

Materie / parole chiave: Compilers (Computer programs); Programming languages (Electronic computers); Electronic books

In this work two declarative approaches based on the BDI theory are studied, an agent programming language 3APL and an agent architecture that uses defeasible argumentation for knowledge representation and reasoning. Bas...

Context aware intelligent agents are key components in the development of pervasive systems. In this paper, we present an extension of a BDI programming language to support ontological reasoning and ontology-based speech...

Programming –as Programming Fundamentals– has been and still is a basic part of most Computing Curricula including all of the Computing Disciplines –we use here the terminology introduced in [1]. It is also conside...

Many different areas in Computer Science - like Real Time Systems, Temporal Data Bases, Program Verification and Multimedia-demandan adequate way to represent and use the notions of time and change. We present a programm...

The development of languages allowing a proper handling of time is important in many areas of computer science because the capability to deal with the notions of change and time are essential to solve their problems. In...

Este artigo descreve a especificação e implementação de regras para o mapeamento de templates GDMO (GuideUnes lor the Definition 01 Managed Objects) [1 l, além da implementação dos tipos ASN.1, em linguagem de pro...

En la actualidad, el uso de las redes de datos y de todas las tecnologías asociadas juegan un rol preponderante en el diseño de las nuevas aplicaciones. La influencia de Internet, se evidencia en las tecnologías en ex...

This thesis is based on a certain type of legacy software that came from scientific research. Scientists have become one of the most important legacy code producers for many reasons. One of these is long-lived field (abo...

We describe the implementation of a first-order linearly typed assembly language, HBAL, that allows the safe reuse of heap space for elements of different types Linear typing ensures the single pointer property, disallow...

JAVA is a general purpose concurrent class-based object-oriented programming language. This work presents an interactive program that interprets JAVA source programs directly. The cornerstone of its execution model is an...

Typed assembly languages have the goal of providing security guarantees, for example, for the limited use of resources in a host machine or the detection of autoupdate code. This work presents a simple typed assembly lan...

At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational context in which a software system will be...

This paper presents an object-oriented design and implementation of a software module to be used as the monitoring application for a Computer Integrated Building (CIB) in an intranet/extranet context. Sistemas Distribuid...

Con el objetivo de disponer de un lenguaje que capture los aspectos del razonamiento rebatible, se ha desarrollado un lenguaje de programación en lógica rebatible como una extensión de la programación en lógica conv...

En la búsqueda de modelos, técnicas y procesos para el desarrollo de la programación en un ambiente multiparadigma aparecen situaciones que producen una cierta evolución de los paradigmas clásicos dando respuesta a ...

Se presenta la especificación de un lenguaje de programación en lógica con tipos polimorfos, junto con el desarrollo de un intérprete para el mismo en PROLOG. El polimorfismo permite, entre otras cosas, programar pro...

Este documento presenta resultados generados principalmente en el marco de una línea de investigación que involucra a dos proyectos de investigación: "Especificación formal y verificación de sistemas críticos", SeC...

La complejidad de los programas que se desarrollan actualmente produce la necesidad de iniciar a los alumnos en un camino que los conduzca a utilizar efectivas técnicas de programación. Es importante para ello poner é...

El desarrollo y mantenimiento de software aeronáutico, y especialmente el software utilizado a bordo de aeronaves, constituye una tarea de enorme complejidad. Debido a los prolongados ciclos de vida que caracterizan a e...

Fil: Marassi, Christian. Universidad Nacional de Quilmes. Escuela Universitaria de Artes; Argentina La materia buscara introducir a los estudiantes en los conceptos teóricos y prácticos que conllevan el área de la pro...

Las Fork Álgebras constituyen un poderoso cálculo relacional para la derivación de programas. Esta clase de álgebras resulta de extender las álgebras relacionales con un nuevo operador, llama.do Jork que permite la ...

En este trabajo se propone el uso de técnicas avanzadas de programación funcional para ofrecer una solución genérica al problema de parsing. Este problema consiste en que, dada una lista de tokens que representan una...