17049 search results - page 3140 / 3410 » cans 2007 |
174
click to vote
BTW
2007
Springer
16 years 24 days ago
2007
Springer
: Statistics that accurately describe the distribution of data values in the columns of relational tables are essential for effective query optimization in a database management sy...
178
click to vote
CAEPIA
2007
Springer
16 years 24 days ago
2007
Springer
Consider a robot whose task is to pick up some colored balls from a grid, taking the red balls to a red spot, the blue balls to a blue spot and so on, one by one, without knowing e...
178
click to vote
CAIP
2007
Springer
16 years 24 days ago
2007
Springer
The paper focusses on a group of segmentation problems dealing with 3D data sets showing thin objects that appear disconnected in the data due to partial volume effects or a large...
167
click to vote
CAV
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
181
click to vote
CCS
2007
ACM
16 years 24 days ago
2007
ACM
We describe a new attack against web authentication, which we call dynamic pharming. Dynamic pharming works by hijacking DNS and sending the victim’s browser malicious Javascrip...