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: PHYSICAL PROPERTIES Document Type: Sin Especificar Repository: 37 Year: 2006

Sort by Score Title Year -

11-20 from 26 results (0.022 seconds)

Title: Model checking: un modelo del protocolo Gnutella : Simulación y verificación usando SPIN
Author: De Vito, María Cecilia / Osella Massa, Germán Leandro
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Distributed Systems / Model checking / Simulation / Verification

Acceder
Title: Fast simulation of animal locomotion: lamprey swimming
Author: Beauregard, Matthew / Kennedy, Paul J. / Debenham, John
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Simulation / Biología / Graphics / Robotics / Applications

Acceder
Title: Use of morphisms as a tool to help learning object oriented concepts
Author: Friss de Kereki, Inés / Crespo, José / Azpiazu, Javier
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Software / Design / morphisms / software design / object-oriented concepts

Acceder
Title: Towards the verification of RAISE specifications through Model Checking
Author: Perna, Juan Ignacio / George, Chris W.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / base de datos / model checking / RAISE / formal methods / verification techniques

Acceder
Title: Towards distributed reasoning for behavioral optimization
Author: Cebulla, Michael
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Architectures / Optimization / Ant Colony Optimization (ACO) / autonomic computing

Acceder
Title: A cognitive model of user interaction as a guideline for designing novel interfaces
Author: Aguilera, Felipe / Alarcón, Rosa A. / Guerrero, Luis A. / Collazos, Cesar A.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / mixed reality environments (MRE) / user models

Acceder
Title: A dinâmica e as suas propriedades dos ambientes de desenvolvimento distribuído de software: um estudo de caso
Author: L'Erario, Alexandre / Pessôa, Marcelo Schneck de Paula
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Software development / Distributed / Environments / software distributed development (SDD) / SDD environment dynamics

Acceder
Title: Resultados experimentales sobre nuevas propuestas heurísticas para consultas a R-Tree
Author: Gagliardi, Edilma Olinda / Gomez, Juan E. / Gutiérrez Retamal, Gilberto A.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Query formulation / índices espaciales / Base de Datos / Algoritmos / procesamiento de consultas espaciales / acceso multidimensional / spatial index / processing of spatial query / access multidimensional

Acceder
Title: The utility of pollination for autonomic computing
Author: Kasinger, Holger / Bauer, Bernhard
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / sistema informático / Polinización

Acceder
Title: Web service-based business process automation using matching algorithms
Author: Kim, Yanggon / Lee, Juhnyoung
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Web-based services / Business / business process automation / matching

Acceder

« Previous 1 2 3 Next »