2173 search results - page 50 / 435 » An operational semantics for skeletons |
111
click to vote
HOTOS
2009
IEEE
15 years 4 months ago
2009
IEEE
Operating systems can efficiently provide system transactions to user applications, in which user-level processes can execute a series of system calls atomically and in isolation ...
88
Voted
USS
2008
15 years 2 months ago
2008
Complexity in commodity operating systems makes compromises inevitable. Consequently, a great deal of work has examined how to protect security-critical portions of applications f...
99
Voted
ISTA
2008
15 years 2 months ago
2008
Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for the success of modeldriven engineering. Current best practices use model ...
100
click to vote
RAID
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, we leverage the concepts of formal grammar and genetic operators to evolve malware. As a case study, we take COM infectors and design their formal grammar with produ...
187
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Linguists seek to understand the semantics of expressions in human languages. Taking a computational point of view, there are many natural language expressions--operators in the w...