8177 search results - page 1368 / 1636 » Detecting System Emulators |
175
click to vote
MICRO
2008
IEEE
16 years 29 days ago
2008
IEEE
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
164
click to vote
ICPP
2007
IEEE
16 years 27 days ago
2007
IEEE
The complexity of parallel I/O systems lies in the deep I/O stack with many software layers and concurrent I/O request handling at multiple layers. This paper explores multi-layer...
179
click to vote
GI
2007
Springer
16 years 22 days ago
2007
Springer
: State-of-the-art interoperability between heterogeneous systems on a technical level builds on services oriented architectures (SOA) for a given problem space. Semantics can be i...
181
click to vote
IPSN
2007
Springer
16 years 22 days ago
2007
Springer
Surveillance is one of the promising applications to which smart camera motes forming a vision-enabled network can add increasing levels of intelligence. We see a high degree of i...
190
click to vote
PPDP
2007
Springer
16 years 21 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...