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
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
37
(130)
Show More
Show Less
Author
Simari, Guillermo Ricardo
(18)
Chesñevar, Carlos Iván
(10)
García, Alejandro Javier
(10)
Fillottrani, Pablo Rubén
(7)
Pons, Claudia
(7)
Martínez, Diego C.
(6)
Montejano, Germán Antonio
(6)
Riesco, Daniel Eduardo
(6)
Cobo, María Laura
(5)
Uzal, Roberto
(5)
Show More
Show Less
Subject
Ciencias Informáticas
(130)
Languages
(29)
SOFTWARE ENGINEERING
(28)
ARTIFICIAL INTELLIGENCE
(17)
Informática
(11)
base de datos
(11)
Multiagent systems
(10)
Semantics
(8)
Software
(8)
Educación
(7)
Show More
Show Less
Year
2012
(130)
2006
(34)
2002
(16)
1999
(9)
1998
(8)
2000
(8)
2005
(8)
1997
(7)
2001
(7)
2004
(7)
Show More
Show Less
Document Type
Sin Especificar
(130)
Show More
Show Less
Language
Inglés
(130)
Show More
Show Less
Your search
Repository:
37
Query:
FORMAL LANGUAGES
Language:
Inglés
Document Type:
Sin Especificar
Year:
2012
Sort by
Score
Title
Year
-
111-120 from
130
results
(0.017 seconds)
Title:
Towards the integration of ontologies in the context of MDA at CIM level
Author:
Caliusco, María Laura
/
Galli, María Rosa
/
Ruidías, Héctor J.
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
SOFTWARE ENGINEERING
/
ontology
/
cim
/
mda
Acceder
Title:
Bisimulation abstraction for selecting software components in RAISE
Author:
Estévez, Elsa Clara
/
Janowski, Tomasz
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
SOFTWARE ENGINEERING
/
Software
Acceder
Title:
Component assessment using testing
Author:
Sánchez, Marisa
/
Estévez, Elsa Clara
/
Fillottrani, Pablo Rubén
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
SOFTWARE ENGINEERING
/
Software libraries
/
component retrieval
/
reusable software
/
testing
/
algebraic specifications
Acceder
Title:
Overview of a framework to hypermedia process modeling
Author:
Olsina Santos, Luis Antonio
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Informática
/
SOFTWARE ENGINEERING
/
Frameworks
/
Hypertext/hypermedia
/
framework
/
hypermedia
/
process modeling
/
web-based developmen
Acceder
Title:
NSME: a framework for network worm modeling and simulation
Author:
Lin, Siming
/
Cheng, Xueqi
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Invasive software (e.g., viruses, worms, Trojan horses)
/
Modeling packages
/
Simulation
Acceder
Title:
Negation in logic programs: is it necessary two connectives?
Author:
Fillottrani, Pablo Rubén
/
Simari, Guillermo Ricardo
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Informática
/
Logic Programming
/
Nonmonotic reasoning
/
Negation
/
Negation as failure
Acceder
Title:
Ontological evaluation in the knowledge based system
Author:
Bueno, Tânia C. D.
/
Hoeschl, Hugo Cesar
/
Cancellier, Fabricia
/
Bedin, Sonali
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
knowledge representation
/
ontology structure
Acceder
Title:
Integrated environment of systems automated engineering
Author:
Servetto, Arturo Carlos
/
García Martínez, Ramón
/
Perichinsky, Gregorio
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
SOFTWARE ENGINEERING
/
base de datos
/
static models
/
dynamic models
/
integrated environment
/
conceptual pattern
Acceder
Title:
4-(N
2
-1) Puzzle: parallelization and performance on clusters
Author:
Sanz, Victoria María
/
De Giusti, Armando Eduardo
/
Naiouf, Marcelo
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
multi-objective problems
/
discrete optimization
/
superlinearity
/
Parallel algorithms
/
Optimization
Acceder
Title:
Requirements visualization
Author:
Teyseyre, Alfredo Raúl
/
Orosco, Ricardo Fabian
/
Campo, Marcelo
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
software system
/
SOFTWARE ENGINEERING
/
Visual
/
software developers
/
Requirements Visualization
/
COMPUTER GRAPHICS
Acceder
« Previous
5
6
7
8
9
10
11
12
13
Next »