13489 search results - page 1 / 2698 » Operating System |
175
Voted
DSER
2001
Springer
15 years 5 months ago
2001
Springer
173
Voted
DIMVA
2011
14 years 4 months ago
2011
Many software security solutions—including malware analyzers, information flow tracking systems, auditing utilities, and host-based intrusion detectors—rely on knowledge of s...
192
Voted
FDL
2004
IEEE
15 years 4 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
199
Voted
ENTCS
2006
15 years 1 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...