2173 search results - page 272 / 435 » An operational semantics for skeletons |
121
Voted
RTA
2007
Springer
15 years 7 months 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...
107
Voted
ICECCS
2006
IEEE
15 years 6 months ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
92
Voted
IPPS
2006
IEEE
15 years 6 months 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...
119
click to vote
ACMMSP
2006
ACM
15 years 6 months 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...
103
Voted
ER
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents the Kuaba Ontology, a knowledge representation model for Design Rationale described in an ontology definition language. The representation of this model in a sp...