5451 search results - page 639 / 1091 » Typed Operational Semantics |
151
click to vote
ECSQARU
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
191
click to vote
OTM
2007
Springer
16 years 27 days ago
2007
Springer
Lightweight ontologies in the form of RDF vocabularies such as SIOC, FOAF, vCard, etc. are increasingly being used and exported by “serious” applications recently. Such vocabul...
198
click to vote
RTA
2007
Springer
16 years 27 days ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
165
click to vote
IPPS
2006
IEEE
16 years 24 days ago
2006
IEEE
We present a novel technique to secure the execution of a processor against the execution of malicious code (trojans, viruses). The main idea is to permute parts of the opcode val...
199
click to vote
ACMMSP
2006
ACM
16 years 23 days ago
2006
ACM
Open nesting provides a loophole in the strict model of atomic transactions. Moss and Hosking suggested adapting open nesting for transactional memory, and Moss and a group at Sta...