5326 search results - page 756 / 1066 » On what we can ensure |
157
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Web applications are the Achilles heel of our current ICT infrastructure. NIST's national vulnerability database clearly shows that the percentage of vulnerabilities located ...
156
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a simple method for verifying the safety properties of cache coherence protocols with arbitrarily many nodes. Our presentation begins with two examples. The fi...
170
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
RFID(Radio Frequency Identification) is recently becoming popular, promising and widespread. In contrast, RFID tags can bring about traceability that causes user privacy and reduce...
189
click to vote
KES
2000
Springer
15 years 10 months ago
2000
Springer
: We report about ongoing research in a virtual reality environment where visitors can interact with agents that help them to obtain information, to peform certain transactions and...
201
click to vote
DCOSS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We consider the problem of estimating the locations of mobile agents by fusing the measurements of displacements of the agents as well as relative position measurements b...