OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Repository: 37 Query: FORMAL LANGUAGES Document Type: Sin Especificar Language: Inglés

Sort by Score Title Year -

141-150 from 163 results (0.014 seconds)

Title: Component assessment using testing
Author: Sánchez, Marisa / Estévez, Elsa Clara / Fillottrani, Pablo Rubén
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / Software libraries / component retrieval / reusable software / testing / algebraic specifications

Acceder
Title: Overview of a framework to hypermedia process modeling
Author: Olsina Santos, Luis Antonio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Informática / SOFTWARE ENGINEERING / Frameworks / Hypertext/hypermedia / framework / hypermedia / process modeling / web-based developmen

Acceder
Title: NSME: a framework for network worm modeling and simulation
Author: Lin, Siming / Cheng, Xueqi
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Invasive software (e.g., viruses, worms, Trojan horses) / Modeling packages / Simulation

Acceder
Title: Negation in logic programs: is it necessary two connectives?
Author: Fillottrani, Pablo Rubén / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Informática / Logic Programming / Nonmonotic reasoning / Negation / Negation as failure

Acceder
Title: Ontological evaluation in the knowledge based system
Author: Bueno, Tânia C. D. / Hoeschl, Hugo Cesar / Cancellier, Fabricia / Bedin, Sonali
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / knowledge representation / ontology structure

Acceder
Title: Bridging test and model-driven approaches in web engineering
Author: Robles Luna, Esteban / Grigera, Julián / Rossi, Gustavo Héctor
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / agile methods / method-independent / model refactoring

Acceder
Title: Adjustment of a simulator of a complex dynamic system with emphasis on the reduction of computational resources
Author: Trigila, Mariano / Gaudiani, Alejandra / Luque Fadón, Emilio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / simulación

Acceder
Title: Integrated environment of systems automated engineering
Author: Servetto, Arturo Carlos / García Martínez, Ramón / Perichinsky, Gregorio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / base de datos / static models / dynamic models / integrated environment / conceptual pattern

Acceder
Title: Analysis of the energetic-environmental behaviour in apartments building in La Plata city - Argentina : Passive strategies for a redesign of low energy
Author: Salvetti, María Belén / Czajkowski, Jorge Daniel / Gómez, Analía Fernanda
Language: Inglés
Repository: 37
Subject: Arquitectura / apartments buildings / energetics efficiency / green-retrofit

Acceder
Title: An overview of NuDetective Forensic Tool and its usage to combat child pornography in Brazil
Author: Silva, Pedro Monteiro da / Polastro, Mateus de Castro
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / child pornography / nudity detection / digital crime scene

AccederDescargar

« Previous 9 10 11 12 13 14 15 16 17 Next »