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: FORMAL LANGUAGES Year: 2011 Repository: 37 Language: Inglés

Sort by Score Title Year -

1-10 from 11 results (0.014 seconds)

Title: A formal foundation for transformations in model driven engineering
Author: Giandini, Roxana Silvia
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ingeniería dirigida por modelos / model driven engineering

AccederDescargar
Title: A Formal Structure of Separation of Duty and Trust in Modelling Delegation Policy
Author: Ogundele, Oloruntoba Samuel / Adewale, O. S. / Alese, B. K. / Falaki, S. O.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Seguridad Computacional

AccederDescargar
Title: Formal Analysis of A Novel Mutual Authentication and Key Agreement Protocol
Author: Saraireh, Ja'afer M. al / Saraireh, Saleh S. / Saraireh, Mohammad S. / Nabhan, Mohammad M. al
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Authentication / 3G / Security / mobile station

AccederDescargar
Title: Metamodeling or profiling: a practical case in the web engineering domain
Author: Navarro, Antonio / Cortés, Humberto
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software / Model Development / Languages

Acceder
Title: Fortran Refactorings for Legacy Systems
Author: Méndez, Mariano
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Fortran / Programming Languages and Software / software

AccederDescargar
Title: Propositional Satisfiability (SAT) as a language problem
Author: Castaño, Rodrigo / Castaño, José M.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ALL-SAT / model counting / FSA intersection / regular expression compilation / Non-clausal formula / clause learning

Acceder
Title: Applying software engineering techniques to the development of robotic systems
Author: Pons, Claudia / Arévalo, Gabriela Beatriz / Zabala, Gonzalo / Morán, Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software / Robotics

Acceder
Title: Toward an automatic management of aspectual connections to compose business rules
Author: Casas, Sandra / Herrera, Franco
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software development / business rules / aspect-oriented programming / aspectual connections / volatile concerns

Acceder
Title: Analysis of the energetic-environmental behaviour in apartments building in La Plata city - Argentina : Passive strategies for a redesign of low energy
Author: Salvetti, María Belén / Czajkowski, Jorge Daniel / Gómez, Analía Fernanda
Language: Inglés
Repository: 37
Subject: Arquitectura / apartments buildings / energetics efficiency / green-retrofit

Acceder
Title: The seven ages of Fortran
Author: Metcalf, Michael
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / lenguaje de programación / array processing / data abstraction / object-oriented programming / optimization / history of computing

AccederDescargar

« Previous 1 2 Next »