2173 search results - page 272 / 435 » An operational semantics for skeletons |
193
click to vote
RTA
2007
Springer
16 years 21 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...
171
click to vote
ICECCS
2006
IEEE
16 years 19 days 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...
161
click to vote
IPPS
2006
IEEE
16 years 18 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...
188
click to vote
ACMMSP
2006
ACM
16 years 17 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...
178
click to vote
ER
2005
Springer
16 years 3 days 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...