1403 search results - page 185 / 281 » Quantitative Interprocedural Analysis |
NOMS
2008
IEEE
14 years 4 months ago
2008
IEEE
—In this paper, we propose a BGP anomaly detection framework called BAlet that delivers both temporal and spatial localization of the potential anomalies. It requires only a simp...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
Extremists’ exploitation of computer-mediated communications such as online forums has recently gained much attention from academia and the government. However, due to the cover...
IAT
2007
IEEE
14 years 4 months ago
2007
IEEE
Privacy is often cited as the main reason to adopt a multiagent approach for a certain problem. This also holds true for multiagent planning. Still, papers on multiagent planning ...
ISBI
2007
IEEE
14 years 4 months ago
2007
IEEE
X-ray imaging is an extensively used intra-operative imaging modality because of its low cost and portability. These images have to be corrected for geometric distortion in order ...
WISE
2007
Springer
14 years 4 months ago
2007
Springer
Modeling in systems biology is concerned with using experimental information and mathematical methods to build quantitative models at different biological scales. This requires int...