OPAC

Your search

Repository: 37 Document Type: Artículo Year: 2004

Sort by Score Title Year -

291-300 from 1287 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: Activation and termination detection on distributed systems
Author: Baraldi, Waldemar A. / Scarpa, Diego / Ponzoni, Ignacio / Ardenghi, Jorge Raúl
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / centralized models / distributed models

AccederDescargar
Title: Towards a metric suite for OCL expressions expressed within UML/OCL models
Author: Reynoso, Luis A. / Genero Bocco, Marcela / Piattini Velthuis, Mario
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Metrics / Object Constraint Language (OCL)

AccederDescargar
Title: Integrating defeasible argumentation with fuzzy ART neural networks for pattern classification
Author: Gómez, Sergio Alejandro / Chesñevar, Carlos Iván
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Neural nets / clasificación / Patterns (e.g., client/server, pipeline, blackboard) / machine learning

AccederDescargar
Title: A GRASP algorithm with tree based local search for designing a survivable wide area network backbone
Author: Cancela, Héctor / Robledo, Franco / Rubino, Gerardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / survivability / node connectivity / Heuristic methods

AccederDescargar
Title: ALENA : Adaptive-Length Evolving Neural Arrays
Author: Corbalán, Leonardo César / Lanzarini, Laura Cristina / De Giusti, Armando Eduardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / genetic algorithm / Neural nets / Learning

AccederDescargar
Title: HTSN: a complex workflow model based on colored Petri net
Author: Zhu, Haiping / Li, Peigen / Zhang, Guojun
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Workflow management / Petri nets / Hierarchical

AccederDescargar
Title: High performance VLSI signal processing: Innovative architectures and algorithms Volume 2 - Systems design and applications : Edited by K. J. Ray Liu and Kung Yao. IEEE Press, 1998
Author: Villagarcía Wanza, Horacio A.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Algorithms / Reseña de Libros / Signal processing

AccederDescargar
Title: Dynamic tuning of parallel/distributed applications
Author: Morajko, Anna
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Parallel / Distributed applications

AccederDescargar
Title: Learning by generation in computer science education
Author: Kerren, Andreas
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / finite automata / explorative learning / Learning

AccederDescargar

« Previous 26 27 28 29 30 31 32 33 34 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search