3864 search results - page 499 / 773 » time 2005 |
188
click to vote
CSB
2005
IEEE
16 years 10 days ago
2005
IEEE
Specific topic search in the PubMed Database, one of the most important information resources for scientific community, presents a big challenge to the users. The researcher typic...
148
click to vote
CSFW
2005
IEEE
16 years 10 days ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...
182
click to vote
CSFW
2005
IEEE
16 years 10 days ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
164
click to vote
CSMR
2005
IEEE
16 years 10 days ago
2005
IEEE
Impact analysis is the process of determining the effect, or impact, of a change to a software system. Dynamic impact analysis uses data obtained from executing a program to perfo...
185
click to vote
CVPR
2005
IEEE
16 years 10 days ago
2005
IEEE
This work achieves an efficient acquisition of scenes and their depths along streets. During the movement of a vehicle, a slit in the camera frame is set properly to sample scenes...