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
(55)
61
(1)
Show More
Show Less
Author
Simari, Guillermo Ricardo
(13)
Cecchi, Laura
(8)
Fillottrani, Pablo Rubén
(8)
Buccella, Agustina
(4)
Castro, Silvia Mabel
(4)
Cechich, Alejandra
(4)
Chesñevar, Carlos Iván
(4)
Gómez, Sergio Alejandro
(4)
Larrea, Martín Leonardo
(4)
Kahnert, Susana
(3)
Show More
Show Less
Subject
Semantics
(56)
Ciencias Informáticas
(54)
ARTIFICIAL INTELLIGENCE
(14)
SOFTWARE ENGINEERING
(11)
base de datos
(8)
Intelligent agents
(7)
Logic Programming
(6)
Sistemas Argumentativos
(5)
Languages
(4)
Ontology
(4)
Show More
Show Less
Year
2012
(56)
2003
(13)
2004
(8)
2006
(8)
2002
(5)
2005
(5)
2011
(4)
2001
(3)
2000
(2)
2010
(2)
Show More
Show Less
Document Type
Sin Especificar
(54)
Artículo
(1)
Conferencia
(1)
Show More
Show Less
Language
Inglés
(29)
Español
(25)
Portugués
(2)
Show More
Show Less
Your search
Subject:
Semantics of Programming Languages
Subject:
Semantics
Year:
2012
Sort by
Score
Title
Year
-
1-10 from
56
results
(0.017 seconds)
Title:
LaST: Language Study Tool
Author:
Molinari, Enrique
/
Lindner, Edgard
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
tecnología
/
Semantics
/
educación
/
Computer science education
/
informática
/
computer education technology
/
programming language semantics
/
teaching programming languages
Acceder
Title:
Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles
Author:
Luna, Carlos A.
/
Betarte, Gustavo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
escificación formal
/
Semantics
/
Semantics of Programming Languages
/
sistemas críticos
/
modelos de seguridad para dispositivos móviles (MIDP)
/
asistentes de prueba (Coq)
Acceder
Title:
Algunas consideraciones para la transformación de Semántica de Negocios SBVR en el Lenguaje de Ontologías Web OWL2
Author:
Amaolo, Marcelo Paulo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Semantics
/
empresa
/
Languages
/
conocimiento
/
tecnologías semánticas
/
lenguajes de ontologías
/
especificación OMG SBVR
Acceder
Title:
Integración de técnicas orientadas al cliente y técnicas formales en el desarrollo de software con UML y RUP
Author:
Favre, Liliana María
/
Leonardi, María Carmen
/
Mauco, Virginia
/
Pereira, Claudia Teresa
/
Martínez, Liliana
/
Felice, Laura
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
SOFTWARE ENGINEERING
/
UML (Unified Modeling Language)
/
lenguaje diseñado
/
Languages
/
Semantics
/
definición semántica
Acceder
Title:
An e-learning application based on the semantic web technology
Author:
Gradinarova, Boyka
/
Gradinarova, Milena
/
Zhelezov, Ognjan
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Educación
/
Software
/
Semantics
/
Languages
/
e-learning
/
Java Web Services
Acceder
Title:
Static secure page allocation for light-weight dynamic information flow tracking
Author:
Santos J.C.M.
/
Fei Y.
/
Shi Z.J.
Language:
Inglés
Repository:
61
Subject:
Dynamic information flow tracking
/
Security attacks
/
Static control flow analysis
/
Critical information
/
Hardware-software codesign
/
High level semantics
/
Light weight
/
Memory corruption
/
Memory overheads
/
Memory pages
/
Page allocation
/
Performance degradation
/
Security countermeasures
/
Software approach
/
Static control
/
Storage overhead
/
System calls
/
Embedded systems
/
Hardware
/
Program compilers
/
Semantics
/
Digital storage
Title:
A Semantics-based visualization building process
Author:
Larrea, Martín Leonardo
/
Martig, Sergio R.
/
Castro, Silvia Mabel
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Semantics
/
visualization
/
ontology
/
spherical layout
/
color assignment
/
reasoning
/
RDF
/
OWL
Acceder
Title:
Reasoning with inconsistent ontologies in possibilistic defeasible logic programming
Author:
Gómez, Sergio Alejandro
/
Chesñevar, Carlos Iván
/
Simari, Guillermo Ricardo
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Logic Programming
/
Semantics
/
web ontology language
/
OWL
/
semantic web ontologies
/
possibilistic defeasible logic programming
Acceder
Title:
Semantics-based visualization
Author:
Larrea, Martín Leonardo
/
Castro, Silvia Mabel
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
semantic
/
visualization
/
semantics-based Visualization
/
ontology
/
reasoning
/
RDF
/
OWL
/
Semantics
Acceder
Title:
Caracterización formal y análisis empírico de mecanismos incrementales de búsqueda basados en contexto
Author:
Lorenzetti, Carlos M.
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Semantics
/
semántica
/
Information Search and Retrieval
/
recuperación de información semiasistida
Acceder
« Previous
1
2
3
4
5
6
Next »