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
(1)
61
(1)
Show More
Show Less
Author
Falappa, Marcelo Alejandro
(1)
Fei Y.
(1)
Santos J.C.M.
(1)
Shi Z.J.
(1)
Simari, Gerardo I.
(1)
Show More
Show Less
Subject
Semantics
(2)
ARTIFICIAL INTELLIGENCE
(1)
AnsProlog
(1)
Answer Set Semantics
(1)
Belief Change
(1)
Ciencias Informáticas
(1)
Critical information
(1)
Digital storage
(1)
Dynamic information flow tracking
(1)
Embedded systems
(1)
Show More
Show Less
Year
2012
(2)
2003
(1)
2020
(1)
Show More
Show Less
Document Type
Conferencia
(1)
Sin Especificar
(1)
Show More
Show Less
Language
Inglés
(2)
Show More
Show Less
Your search
Query:
PROGRAM"
Subject:
Semantics
Language:
Inglés
Year:
2012
Sort by
Score
Title
Year
-
1-2 from
2
results
(0.02 seconds)
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:
Belief dynamics and explanations in ansprolog
Author:
Simari, Gerardo I.
/
Falappa, Marcelo Alejandro
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
ARTIFICIAL INTELLIGENCE
/
Belief Change
/
Intelligent agents
/
Knowledge Representation
/
Semantics
/
Logic Programming
/
Answer Set Semantics
/
AnsProlog
Acceder
« Previous
1
Next »