5722 search results - page 310 / 1145 » Security Function Interactions |
136
click to vote
POPL
2010
ACM
16 years 26 days ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
174
Voted
EEMMAS
2007
Springer
15 years 9 months ago
2007
Springer
Complexity of near future and even nowadays applications is exponentially increasing. In order to tackle the design of such complex systems, being able to engineer self-organising ...
122
click to vote
TVCG
2008
15 years 3 months ago
2008
Abstract-- A typical data-driven visualization of electroencephalography (EEG) coherence is a graph layout, with vertices representing electrodes and edges representing significant...
136
click to vote
BMCBI
2002
15 years 3 months ago
2002
Background: Total sequence decomposition, using the web-based MASIA tool, identifies areas of conservation in aligned protein sequences. By structurally annotating these motifs, t...
123
Voted
OSDI
2006
ACM
16 years 3 months ago
2006
ACM
Mismanagement of the persistent state of a system--all the executable files, configuration settings and other data that govern how a system functions--causes reliability problems,...