11797 search results - page 2018 / 2360 » Recent Developments in the Experimental |
226
click to vote
IWCMC
2010
ACM
15 years 9 months ago
2010
ACM
"Vehicle to Grid" power or V2G will be a new green energy scheme that allows electricity to flow from Electric Vehicles (EVs) to power lines. The objective of this paper...
177
click to vote
KDD
2010
ACM
15 years 9 months ago
2010
ACM
Information diffusion and virus propagation are fundamental processes talking place in networks. While it is often possible to directly observe when nodes become infected, observi...
199
click to vote
KDD
2010
ACM
15 years 9 months ago
2010
ACM
The increasing availability of large-scale location traces creates unprecedent opportunities to change the paradigm for knowledge discovery in transportation systems. A particular...
226
click to vote
PASTE
2010
ACM
15 years 9 months ago
2010
ACM
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...
174
click to vote
ESORICS
2008
Springer
15 years 9 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...