526 search results - page 103 / 106 » A Z Based Approach to Verifying Security Protocols |
SIGMOD
2011
ACM
12 years 11 months ago
2011
ACM
Correctness of data residing in a database is vital. While integrity constraint enforcement can often ensure data consistency, it is inadequate to protect against updates that inv...
SIGIR
2002
ACM
13 years 8 months ago
2002
ACM
Collaborative filtering (CF) is valuable in e-commerce, and for direct recommendations for music, movies, news etc. But today's systems have several disadvantages, including ...
BROADNETS
2006
IEEE
14 years 9 days ago
2006
IEEE
Sensor webs are heterogeneous collections of sensor devices that collect information and interact with the environment. They consist of wireless sensor networks that are ensembles ...
IWAN
2000
Springer
14 years 4 days ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
ITIIS
2008
13 years 8 months ago
2008
WiMAX has been introduced as a competitive alternative for metropolitan broadband wireless access technologies. It is connection oriented and it can provide very high data rates, ...