4307 search results - page 488 / 862 » Dynamic Spyware Analysis |
249
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
135
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
Abstract-- In this paper, we present TransDec, an end-toend data-driven system which enables spatiotemporal queries in transportation systems with dynamic, real-time and historical...
124
click to vote
ICCAD
2002
IEEE
16 years 2 months ago
2002
IEEE
This paper presents a way of encoding some kinds of dynamic reconfiguration behaviour in the interface portion of circuit descriptions. This has many advantages. The user of a rec...
150
click to vote
HICSS
2010
IEEE
15 years 12 months ago
2010
IEEE
One of the challenges facing system e-government security professionals is the laborious task of sifting through numerous log files in an attempt to identify malicious traffic and...
160
click to vote
AINA
2009
IEEE
15 years 12 months ago
2009
IEEE
—Opportunistic networks represent one of the most interesting evolution of MANET paradigm. Generally speaking, opportunistic networks enable user communication in environments wh...