607 search results - page 1 / 122 » There Is Something about Might |
114
Voted
AMSTERDAM
2009
14 years 7 months ago
2009
In this paper we present an alternative interpretation of statements of epistemic possibility, which does not induce a consistency test on a common ground, as in (Veltman 1996), bu...
ICTIR
2009
Springer
15 years 4 months ago
2009
Springer
INFOCOM
2011
IEEE
14 years 25 days ago
2011
IEEE
—To better support interactive applications, individual network operators are decreasing the timers that affect BGP convergence, leading to greater diversity in the timer setting...
ERLANG
2003
ACM
15 years 2 months ago
2003
ACM
We present a user-oriented description of features and characteristics of the High Performance Erlang (HiPE) native code compiler, which nowadays is part of Erlang/OTP. In particu...
75
Voted
SP
2010
IEEE
15 years 1 months ago
2010
IEEE
—Dynamic taint analysis and forward symbolic execution are quickly becoming staple techniques in security analyses. Example applications of dynamic taint analysis and forward sym...