6274 search results - page 439 / 1255 » Proofs, Programs, Processes |
172
click to vote
RAID
2005
Springer
16 years 9 days ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...
198
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Recent advances in Software Engineering have reduced the cost of coding programs at the expense of increasing the complexity of program synthesis, i.e. metaprograms, which when ex...
147
click to vote
TSE
1998
15 years 6 months ago
1998
—Masking fault-tolerance guarantees that programs continually satisfy their specification in the presence of faults. By way of contrast, nonmasking fault-tolerance does not guara...
241
click to vote
HPCA
2011
IEEE
14 years 10 months ago
2011
IEEE
― Phase Change Memory (PCM) is one of the most promising technologies among emerging non-volatile memories. PCM stores data in crystalline and amorphous phases of the GST materia...
262
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...