Sciweavers

3229 search results - page 289 / 646
» Theories with the Independence Property
Sort
View
ISBI
2007
IEEE
16 years 29 days ago
Inverse Biomedical Imaging Using Separately Adapted Meshes for Parameters and Forward Model Variables
Many important existing and upcoming biomedical imaging modalities lead to nonlinear relationships between state variables from which measurements result and the tissue properties...
Wolfgang Bangerth, Amit Joshi, Eva M. Sevick-Murac...
NDSS
2007
IEEE
16 years 28 days ago
Army of Botnets
The trend toward smaller botnets may be more dangerous than large botnets, in terms of large-scale attacks like distributed denials of service. We examine the possibility of “su...
Ryan Vogt, John Aycock, Michael J. Jacobson Jr.
ISAAC
2007
Springer
111views Algorithms» more  ISAAC 2007»
16 years 24 days ago
Problem Kernels for NP-Complete Edge Deletion Problems: Split and Related Graphs
In an edge deletion problem one is asked to delete at most k edges from a given graph such that the resulting graph satisfies a certain property. In this work, we study four NP-co...
Jiong Guo
TACAS
2007
Springer
74views Algorithms» more  TACAS 2007»
16 years 23 days ago
Shape Analysis by Graph Decomposition
Abstract. Programs commonly maintain multiple linked data structures. Correlations between multiple data structures may often be nonexistent or irrelevant to verifying that the pro...
Roman Manevich, Josh Berdine, Byron Cook, G. Ramal...
BROADNETS
2006
IEEE
16 years 22 days ago
How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET
Secure routing protocols for mobile ad hoc networks have been developed recently, yet, it has been unclear what are the properties they achieve, as a formal analysis of these prot...
Panagiotis Papadimitratos, Zygmunt J. Haas, Jean-P...