Metabuscador

Filtrado por:

Temas

Idiomas

Recursos

Unversidad Nacional de La Plata (147)
Ingeniería e investigación (114)
Revistas UNAM (85)
RUA Docencia (62)
Bellaterra: Journal of teaching and Learning Language and Literature (33)

Más...

Año

2013 (13)
2009 (18)
2007 (28)
2004 (18)
2002 (12)
2000 (6)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

JAD-CASE
Balda, María Verónica - Vicenzi, Ana Laura - Bertone, Rodolfo Alfredo - De Giusti, Armando Eduardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The structured techniques for systems analysis and design are still the most widely known. One of the alternatives of this technique is the JAD methodology (Joint Application Design). This methodology is an improvement with respect to the existing ones -…
Fecha:	2012-11-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

A reverse engineering approach to framework comprehension
Campo, Marcelo - Price, Tom

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Framework comprehension is a very limiting factor to take full advantage of the benefits that frameworks offer to increase quality and productivity in software development. In this paper, a reverse engineering approach to framework comprehension using the MetaExplorer tool is…
Fecha:	2012-11-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Formalising sharing mechanisms in object-oriented paradigm
Argarañaz, Verónica - Baum, Gabriel Alfredo - Pons, Claudia - Presso, María José - Prieto, Máximo - Romero, Natalia

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Sharing of behavior is one of the most important features in the Object-Oriented paradigm. The two classical organisations of sharing are classes and prototypes, raising two different models and two families of object oriented languages. It has been largely discussed…
Fecha:	2012-11-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Knowledge gaps in scientific literature on maternal mortality: a systematic review, Lagunas en las publicaciones científicas sobre la mortalidad materna: revisión sistemática, Lacunes de la littérature scientifique sur la mortalité maternelle mises en évidence par une revue systématique de cette littérature
Gil González, Diana - Carrasco Portiño, Mercedes - Ruiz Cantero, María Teresa

Formato:	info:eu-repo/semantics/article
Enlaces:	Issues related to maternal mortality have generated a lot of empirical and theoretical information. However, despite the amount of work published on the topic, maternal mortality continues to occur at high rates and solutions to the problem are still not…
Fecha:	2008-03-13
Recurso:	RUA Docencia

Recurso libre

Assessing Data Quality of Integrated Data by Quality Aggregation of its Ancestors, Evaluación de Calidad de Datos Integrados por Agregación de Calidad de sus Ancestros
Angeles, Maria del Pilar - Mhor MacKinnon, Lachlan

Formato:
Enlaces:	DATA QUALITY IS DEGRADED DURING THE PROCESS OF EXTRACTING AND MERGING DATA FROM MULTIPLE HETEROGENEOUS SOURCES. BESIDES, USERS HAVE NO INFORMATION REGARDING THE QUALITY OF THE ACCESSED DATA. THIS DOCUMENT PRESENTS THE METHODS UTILIZED TO ASSESS DATA QUALITY AT MULTIPLE…
Fecha:	2010-04-27
Recurso:	Revistas UNAM

Recurso libre

ODE: ontology-based software development environment
Falbo, Ricardo de Almeida - Natali, Ana Candida Cruz - Mian, Paula Gomes - Bertollo, Gleidson - Ruy, Fabiano Borges

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Software tools processing partially common set of data should share an understanding of what these data mean. Since ontologies have been used to express formally a shared understanding of information, we argue that they can be used to improve integration…
Fecha:	2012-10-18
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Nutrición y rendimiento escolar: ¿Es posible mostrar una relación causal usando datos de corte transversal?, Nutrition and education in childhood: is it possible to show a causal relationship using cross-section data?
Rabassa, Mariano

Formato:	Tesis, Tesis de maestria
Enlaces:	The fact that nutrition affects education outcomes is accepted by researchers and by policy makers. It is simple. Children cannot learn if they are hungry. The validity of the empirical approaches used to show a causal relationship from nutrition to…
Fecha:	2010-07-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

The Phycology.Net
Bayerisches Landesamt für Wasserwirtschaft - Botanische Staatssammlung München - University of Bayreuth Department of Mycology

Formato:	Biblioteca virtual
Enlaces:	Descripción completa.
Fecha:	2012-11-05
Recurso:	Facultad de Ciencias - UNAM

Recurso libre

The use of medicinal plants by the cultural descendants of African people in Brazil
Albuquerque, Ulysses Paulino de

Formato:	Articulo, Articulo
Enlaces:	Son presentados datos etnobotánicos sobre el uso de plantas por los herederos culturales de los africanos en Brasil. El trabajo de campo fue conducido en la ciudad de Recife, estado de Pernambuco. Se informan los nombres comunes y científicos y…
Fecha:	2008-12-10
Recurso:	Unversidad Nacional de La Plata

Recurso libre

10.

Computing support for virtual communities of practice
Casalini, María Clara - Estevez, Elsa Clara - Janowski, Thomas

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	This document describes a research and development project - Semantic Web and Cooperative Problem Solving for Online Communities of Practice. The aim of the project is to build a system supporting Cooperative Problem Solving within the framework of online Communities…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

11.

A functional approach for in line analytical processing
Necco, Claudia Mónica - Quintas, Luis - Nuno Olivera, J.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	This paper describes an approach to On Line Analytical Processing (OLAP), expresed in the declarative programming paradigm. We define a collection of functions that capture some of the functionality currently provided by multidimensional database product. This is done by defining…
Fecha:	2012-10-05
Recurso:	Unversidad Nacional de La Plata

Recurso libre

12.

Modern database management VI Edition. Jeffrey A. Hoffer, Mary B. Prescott, Fred R. McFadden Prentice Hall, Upper Saddle River, NJ, 2002
Bertone, Rodolfo Alfredo

Formato:	Articulo, Revision
Enlaces:	This book provides an excellent foundation for the principles of database and data management. It explains some of the more difficult concepts fairly well. The book is meant for an introductory course in database management which is usually required as…
Fecha:	2008-10-10
Recurso:	Unversidad Nacional de La Plata

Recurso libre

13.

Applying an ontology on data integration
Buccella, Agustina - Cechich, Alejandra - Brisaboa, Nieves R.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The term “Federated Databases” refers to the data integration of distributed, autonomous and heterogeneous databases. However, a federation can also include information systems, not only databases. When integrating data, several issues must be addressed. Here, we focus on the problem…
Fecha:	2012-09-25
Recurso:	Unversidad Nacional de La Plata

Recurso libre

14.

Evolution of product line architectures
Amaolo, Marcelo Paulo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Product-line architectures, i.e. a software architecture and component set shared by a family of products, represents a promising approach to achieving reuse of software. Several companies are initiating or have recently adopted a product-line architecture. However, little experience is available…
Fecha:	2012-09-25
Recurso:	Unversidad Nacional de La Plata

Recurso libre

15.

Selecting COTS components: a comparative study on E-Payment systems
Cechich, Alejandra - Taryano, Karina

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Using COTS software promises faster time-to-market, which can yield substantial advantages over competitors with regards to earlier placement of a new product on a market. At the same time, component-based software introduces risks, such as unknown quality properties of the…
Fecha:	2012-10-18
Recurso:	Unversidad Nacional de La Plata

Recurso libre

16.

An ontological approach to federated data integration
Buccella, Agustina - Cechich, Alejandra - Brisaboa, Nieves R.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	During the last years a lot of projects and lines of research have emerged from different proposals trying to find the best way to reach data integration. Two powerful techniques have appeared separately – ontology and contextual information – in…
Fecha:	2012-10-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

17.

Mapeando modelos conceituais dimensionais OO para modelos lógicos dimensionais relacionais
Carvalho, Rogerio Atem de - Tanaka, Asterio K. - Colonese, Giovanni

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The star model, broadly used in data warehouse modeling, is a logical model, so its representation is strongly dependent on the database technology used for its implementation, usually relational. The method recommended for designing a dimensional system would be the…
Fecha:	2012-10-22
Recurso:	Unversidad Nacional de La Plata

Recurso libre

18.

Classifying groupware tools to improve communication in geographically distributed elicitation
Martín, Adriana - Martinez, Claudia - Martínez Carod, Nadina - Aranda, Gabriela N. - Cechich, Alejandra

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In a scene where stakeholders are geographically distributed, communication presents new challenges for research areas. Considering the characteristics of interpersonal communication and the virtual area where it is carried out, the importance of applying interdisciplinary approaches, such as Cognitive Engineering,…
Fecha:	2012-10-22
Recurso:	Unversidad Nacional de La Plata

Recurso libre

19.

Animal Base
Deutsche Forschungsgemeinschaft DFG

Formato:	Repositorio
Enlaces:	Descripción completa.
Fecha:	2012-11-05
Recurso:	Facultad de Ciencias - UNAM

Recurso libre

20.

Modeling public business processes with interaction protocols in business-to-business relationships
Villareal, Pablo - Chiotti, Omar Juan Alfredo - Salomone, Enrique

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Today, one of the main challenges of the Business-to-Business (B2B) E-Commerce solutions is to improve the business processes that organizations carry out with their suppliers and customers. B2B relationships require the management of public business processes, which span the organizational…
Fecha:	2012-10-24
Recurso:	Unversidad Nacional de La Plata

Recurso libre

21.

Classification rules obtained from dynamic self-organizing maps
Hasperué, Waldo - Lanzarini, Laura Cristina

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La obtención de conocimiento a partir de la información existente es un proceso no trivial que consiste en identificar patrones válidos, novedosos, potencialmente útiles y comprensibles a partir de los datos disponibles. La Minería de Datos es el área de…
Fecha:	2012-10-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

22.

The multi-agent system architecture in SEWASIE
Fillottrani, Pablo Rubén

Formato:	Articulo, Articulo
Enlaces:	We describe the design, implementation and deployment of the multi-level agent-based system architecture developed for the SEWASIE project. The aim of the system is to help the user in querying heterogeneous data sources which are integrated by means of ontologies.…
Fecha:	2008-05-23
Recurso:	Unversidad Nacional de La Plata

Recurso libre

23.

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

24.

Messaging infrastructure for Electronic Government: background, rationale, objectives
Estevez, Elsa Clara - Janowski, Thomas - Fillottrani, Pablo Rubén

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Electronic Government applications aim to deliver efficient, seamless, customer-focused services to the public using various distribution channels. One of challenges in building such applications is the requirement to rely upon preexisting, often heterogeneous government applications. In order to enable communication…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

25.

Data warehouse design with UML
Luján Mora, Sergio

Formato:	info:eu-repo/semantics/doctoralThesis
Enlaces:	Descripción completa.
Fecha:	2009-07-07
Recurso:	RUA Docencia

Recurso libre

26.

Design of a service-oriented architecture for federated systems
Calegari, Daniel - Viera, Marcos - Motz, Regina

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	A Federated System is a collection of independent, cooperative, possibly heterogeneous and autonomous computer systems (usually database systems) which allows sharing all or some of its data. A Service-oriented Architecture is an application architecture whose functionalities are defined as independent…
Fecha:	2012-10-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

27.

Taxonomic evidence applying algorithms of intelligent data mining
Perichinsky, Gregorio - Servente, Magdalena - Servetto, Arturo Carlos - García Martínez, Ramón - Orellana, Rosa Beatriz - Plastino, Ángel Luis

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Numerical Taxonomy aims to group in clusters, using so-called structure analysis of operational taxonomic units (OTUs or taxons or taxa) through numerical methods. Clusters that consitute families was the purpose of this series of last projects. Structural analysis, based on…
Fecha:	2012-09-25
Recurso:	Unversidad Nacional de La Plata

Recurso libre

28.

Ubiquigeneous networking: a distributed networking application over mobile embedded devices
Kohn, Rodolfo - Marrone, Luis Armando

Formato:	Articulo, Revision
Enlaces:	Resumen de la tesis del autor para obtener el grado de Magister en Redes de Datos de la Facultad de Informática de la UNLP, dirigida por Luis Armando Marrone.
Fecha:	2011-09-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

29.

Income distribution, institutions and conflicts: an exploratory analysis for Latin America and the Caribbean
Gasparini, Leonardo - Molina, Ezequiel

Formato:	Articulo, Documento de trabajo
Enlaces:	Este documento explora la relación entre la distribución del ingreso, las instituciones y los conflictos en América Latina y el Caribe mediante el uso de una nueva base de datos de estadísticas de la distribución del ingreso calculado a partir…
Fecha:	2010-06-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

30.

Fully dynamic and memory-adaptative spatial approximation trees
Arroyuelo, Diego - Navarro, Gonzalo - Reyes, Nora Susana

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Hybrid dynamic spatial approximation trees are recently proposed data structures for searching in metric spaces, based on combining the concepts of spatial approximation and pivot based algorithms. These data structures are hybrid schemes, with the full features of dynamic spatial…
Fecha:	2012-10-24
Recurso:	Unversidad Nacional de La Plata

Recurso libre

31.

Sistema automático de adquisición de datos para un medidor de deformación
Espinosa Ramón, Alfonso - Flores Cifuentes, Fernando

Formato:	Article
Enlaces:	El presente artículo describe un sistema de adquisición de datos para un medidor de deformación. Se presenta el análisis del diseño de la circuitería y la programación, los resultados obtenidos y finalmente algunas conclusiones.
Fecha:	2007-05-23
Recurso:	Escuela Politécnica Nacional

Recurso libre

32.

Labor participation and earnings for young women in Argentina
Marchionni, Mariana

Formato:	Articulo, Documento de trabajo
Enlaces:	Este trabajo se concentra en explorar los efectos potenciales de la educación media y el ambiente familiar sobre los resultados laborales de las jóvenes en Argentina. En particular, interesa la condición laboral, la calidad del empleo y los salarios. El…
Fecha:	2010-06-08
Recurso:	Unversidad Nacional de La Plata

Recurso libre

33.

The software architecture role in agile methodologies
Anacleto, Valerio Adrián

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The software architecture role in agile methodologies is not sufficiently documented or formalized by means of a process consistent with the philosophy. The current work’s contributions are: 1) Defining guidelines to implement architecture practices in an agile way and so…
Fecha:	2012-10-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

34.

Nineteen sixties history of data base management
Olle, T. William

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Data base management evolved during the sixties and seventies. The evolution period was protracted. Many driving forces impacted the evolution and it is the aim of this paper to analyze these driving forces (some technical and some political) and to…
Fecha:	2012-11-12
Recurso:	Unversidad Nacional de La Plata

Recurso libre

35.

Data modeling dealing with uncertainty in fuzzy logic
Urrutia Sepúlveda, Angélica - Galindo, José - Jiménez, Leoncio - Piattini Velthuis, Mario

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	This paper shows models of data description that incorporate uncertainty like models of data extension EER, IFO among others. These database modeling tools are compared with the pattern FuzzyEER proposed by us, which is an extension of the EER model…
Fecha:	2012-11-20
Recurso:	Unversidad Nacional de La Plata

Recurso libre

36.

Buckets inverted lists for a search engine with BSP
Gil Costa, Graciela Verónica - Printista, Alicia Marcela - Marin Cahiuan, Juan Mauricio

Formato:	Articulo, Articulo
Enlaces:	Most information in science, engineering and business has been recorded in form of text. This information can be found online in the World-Wide-Web. One of the major tools to support information access are the search engines which usually use information…
Fecha:	2008-05-20
Recurso:	Unversidad Nacional de La Plata

Recurso libre

37.

Improving use case definition using enterprise communication networks
Luzuriaga, Juan Manuel

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Although researchers noted the importance of effective communication among stakeholders, it continues to be a challenge for requirements engineering. Communication can be considered as a management tool since communication allows organisation’s personnel to produce a cohesive enterprise view. In this…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

38.

Design of a service-oriented architecture for federated systems
Calegari, Daniel - Viera, Marcos - Motz, Regina

Formato:	Articulo, Articulo
Enlaces:	A Federated System is a collection of independent, cooperative, possibly heterogeneous and autonomous computer systems (usually database systems) which allows sharing all or some of its data. A Service-Oriented Architecture is an application architecture whose functionalities are defined as independent…
Fecha:	2008-05-23
Recurso:	Unversidad Nacional de La Plata

Recurso libre

39.

Adaptive Ttwo-phase spatial association rules mining method
Lee, Chin-Feng - Chen, Mei-Hsiu

Formato:	Articulo, Articulo
Enlaces:	Since huge amounts of spatial data can be easily collected from various applications, ranging from remote sensing technology to geographical information system, the extraction and comprehension of spatial knowledge is a more and more important task. Many excellent studies on…
Fecha:	2008-05-20
Recurso:	Unversidad Nacional de La Plata

Recurso libre

40.

Software process improvement behavior of small and medium organizations in Argentina
Colla, Pedro E. - Montagna, Jorge Marcelo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Este artículo reporta el trabajo de investigación realizado en base a datos extraídos de la Encuesta Anual realizada por la CESSI durante el año 2007 entre organizaciones dedicadas al desarrollo de Software en Argentina. Si bien la temática de mejora…
Fecha:	2012-10-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

41.

A complete bibliography of interpreting and translation just one click away
Franco Aixelá, Javier

Formato:	info:eu-repo/semantics/article
Enlaces:	The article is a brief presentation of the structure, aims and rationale of BITRA (Bibliography of Interpreting and Translation of Alicante). BITRA is an on-line database which already (November, 2001) comprises more than 8,000 documents and which aspires to cover…
Fecha:	2008-04-29
Recurso:	RUA Docencia

Recurso libre

42.

Collaborative problem solving in virtual communities of practice
Casalini, María Clara - Estevez, Elsa Clara - Janowski, Thomas

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The paper presents a case study illustrating a collaborative problem solving process in Virtual Communities of Practice. The process relies on the existence of an underlying shared knowledge base – a repository of resources, and is carried out collaboratively by…
Fecha:	2012-10-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

43.

Defining the proxy design pattern using UML profile
Garis, Ana Gabriela - Riesco, Daniel Eduardo - Montejano, Germán Antonio

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Today software solutions are often modeled using UML. Design patterns are frequently instantiated within these particular solutions. However, in several situations, UML is not expressive enough to describe them properly. UML profiles extend UML syntax and semantic in order to…
Fecha:	2012-10-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

44.

Model checking RAISE applicative specifications
Perna, Juan I. - 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-10-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

45.

Use of asynchronous JavaScript and XML for comparative market analysis
Cáseres, Germán - Delía, Lisandro - Thomas, Pablo Javier - Ramón, Hugo Dionisio - Bertone, Rodolfo Alfredo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Generally, the interactivity provided by web applications is carried out through surfing, as a result of a server’s response at the request of a workstation. This is an essential characteristic of this type of software, although in some circumstances it…
Fecha:	2012-10-15
Recurso:	Unversidad Nacional de La Plata

Recurso libre

46.

Combine vector quantization and support vector machine for imbalanced datasets
Yu, Ting - Debenham, John - Jan, Tony - Simoff, Simeon

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In cases of extremely imbalanced dataset with high dimensions, standard machine learning techniques tend to be overwhelmed by the large classes. This paper rebalances skewed datasets by compressing the majority class. This approach combines Vector Quantization and Support Vector Machine…
Fecha:	2012-11-08
Recurso:	Unversidad Nacional de La Plata

Recurso libre

47.

Nuevos análogos de la cloroquina como agentes antivirales, New chloroquine analogues as antiviral agents
Dias, Luiza R. S. - Freitas, Antonio C. C. - Nanayakkara, Dhammikka - McChesney, James D. - Walker, Larry

Formato:	Articulo, Articulo
Enlaces:	Rinovirus y Enterovirus (polio, coxsackie, echovirus) son los dos tipos de picornavirus responsables del alto número de infecciones virales en humanos como el resfrío (o la gripe). Datos de Relación Estructura Actividad sobre antivirales indica que los heterociclos nitrogenados están…
Fecha:	2008-11-06
Recurso:	Unversidad Nacional de La Plata

Recurso libre

48.

Ontologies for the semantic web
Vallés, María Clara - Fillottrani, Pablo Rubén

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The Semantic Web attempts to reach a state in the future where everything on the Web will no longer be only machine-readable, but also machine-understandable. An ontology is an explicit specification of a conceptualization. A conceptualization is an abstract, simplified…
Fecha:	2012-09-07
Recurso:	Unversidad Nacional de La Plata

Recurso libre

49.

Classifying software requirement prioritization approaches
Martínez Carod, Nadina - Cechich, Alejandra

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Defining software requirements is a complex and difficult process, which often leads to costly project failures. Requirements emerge from a collaborative and interactive negotiation process that involves heterogeneous stakeholders (people involved in an elicitation process such as users, analysts, developers,…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

50.

CCMini: a prototype of certifying compiler based on annotated abstract syntax trees
Bavera, Francisco - Nordio, Martín - Medel, Ricardo - Aguirre, Jorge - Baum, Gabriel Alfredo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Certifying compilers use static information of a program to verify that it complies with certain security properties and to generate certified code. To do so, those compilers translate the source program into an annotated program written in some intermediate language.…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata