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

Document Type: Sin Especificar Repository: 37 Year: 2012 Year: 2006

Sort by Score Title Year -

421-430 from 658 results (0.019 seconds)

Title: Practical verification strategy for refinement conditions in UML models
Author: Pons, Claudia / García, Diego
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / UML models / Verification / Language models

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: An empirical evaluation for business process tools
Author: Nieto Ariza, Erika M. / Rodríguez Ortiz, Guillermo / Ortíz Hernández, Javier
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Modeling

Acceder
Title: Integration ontology for distributed database
Author: Muñoz, Ana / Aguilar, José / Martinez, Rodrigo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Distributed databases / Distributed Systems / Models

Acceder
Title: SSP: a simple software process for small- size software development projects
Author: Ochoa, Sergio / Pino, José A. / Guerrero, Luis A. / Collazos, Cesar A.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software development

Acceder
Title: A method for collaborative requirements elicitation and decision-supported requirements analysis
Author: Geisser, Michael / Hildenbrand, Tobias
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Elicitation methods (e.g., rapid prototyping, interviews, JAD)

Acceder
Title: Defining security requirements through misuse actions
Author: Fernández, Eduardo B. / Van Hilst, Michael / Larrondo Petrie, Maria M. / Huang, Shihong
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Security

Acceder
Title: Experiences in portable mobile application development
Author: Kantee, Antti / Vuolteenaho, Heikki
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Cellular architecture (e.g., mobile) / Software development

Acceder
Title: MINIX4RT: real-time interprocess communications facilities
Author: Pessolani, Pablo Andrés
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Real time / comunicaciones entre procesos / herencia de prioridades / inversión de prioridades / interprocess communications / priority inheritance / priority inversion

Acceder
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

« Previous 39 40 41 42 43 44 45 46 47 Next »