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

Query: MODELING Document Type: Artículo Language: Inglés Repository: 37

Sort by Score Title Year -

81-90 from 152 results (0.012 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: 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
Title: 25 Years of Model-Driven Web Engineering : What we achieved, what is missing
Author: Rossi, Gustavo Héctor / Urbieta, Mario Matías / Distante, Damiano / Rivero, José Matías / Firmenich, Sergio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Model-Driven Web Engineering (MDWE) / Web applications

Acceder

« Previous 5 6 7 8 9 10 11 12 13 Next »