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: MODELING Document Type: Artículo

Sort by Score Title Year -

151-160 from 242 results (0.011 seconds)

Title: Reasoning about Protocols using Dijkstra’s Calculus
Author: Singh, Awadhesh Kumar / Bandyopadhyay, Anup Kumar
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Specifying and Verifying and Reasoning about Programs / weakest precondition / correctness

AccederDescargar
Title: Color image segmentation using multispectral random field texture model & color content features
Author: Hernandez, Orlando J. / Khotanzad, Alireza
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Color, shading, shadowing, and texture / Segmentation

AccederDescargar
Title: A discrete event model for real time system simulation
Author: Páez, Francisco E. / Urriza, José M. / Buckle, Carlos / Schorb, Lucas
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Real time / Simulation / Discrete event

AccederDescargar
Title: Requirement specifications for electronic voting systems
Author: Pesado, Patricia Mabel / Feierherd, Guillermo Eugenio / Pasini, Ariel C.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Requirements/Specifications / State diagrams

AccederDescargar
Title: Computer Aided Verification of Relational Models by Strategic Rewriting
Author: Necco, Claudia Mónica / Oliveira, José N. / Visser, Joost / Uzal, Roberto
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / models verification / symbolic execution / abstract model verification / extended static checking / strategic term rewriting

AccederDescargar
Title: Propuesta de un proceso de enseñanza-aprendizaje para la asignatura Diseño de Software como proceso de software
Author: Lund, María Inés / Aballay, Laura N. / Gómez, María Claudia / Ormeño, Emilio Gustavo
Language: Español
Repository: 37
Subject: Educación / Ciencias Informáticas / diseño orientado a objetos / modelo de procesos / procesos de software / proceso de enseñanza-aprendizaje

AccederDescargar
Title: The Student's Guide to VHDL, Peter J. Ashenden, Morgan Kaufmann : Morgan Kaufmann Publishers, 1998. ISBN 1-55860-520-7
Author: De Giusti, Marisa Raquel
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Reseña de Libros

AccederDescargar
Title: Understanding the word "analysis" in the context of requirements engineering
Author: Prado Leite, Julio César Sampaio do
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Requirements/Specifications

AccederDescargar
Title: Applying MDE tools to defining domain specific languages for model management
Author: Pérez, Gabriela Alejandra / Irazábal, Jerónimo / Pons, Claudia / Giandini, Roxana Silvia
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Model driven development / DSL / Domain specific language / Domain specific language for model management

Acceder
Title: A high performance core for OSI management agents: implementation, simulation and performance evaluation
Author: Rivalino, Matias Júnior
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Protocol architecture (OSI model) / Network Architecture and Design / Simulation / Threads

AccederDescargar

« Previous 12 13 14 15 16 17 18 19 20 Next »