13489 search results - page 1 / 2698 » Operating System |
DSER
2001
Springer
14 years 2 months ago
2001
Springer
DIMVA
2011
13 years 1 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...
FDL
2004
IEEE
14 years 1 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...
SOSP
1993
ACM
13 years 11 months ago
1993
ACM
ENTCS
2006
13 years 10 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...