13489 search results - page 1 / 2698 » Operating System |
DSER
2001
Springer
13 years 9 months ago
2001
Springer
DIMVA
2011
12 years 8 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
13 years 8 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 5 months ago
1993
ACM
ENTCS
2006
13 years 4 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...