3256 search results - page 446 / 652 » Applications of Formal Methods to System Design and Verifica... |
170
click to vote
ICDE
2006
IEEE
15 years 11 months ago
2006
IEEE
To realize the Semantic Web, it will be necessary to make existing database content available for emerging Semantic Web applications, such as web agents and services, which use on...
126
click to vote
IJNSEC
2008
15 years 5 months ago
2008
The study of countermeasures for hardware fault attack in multi-prime RSA cryptosystems is very important for applications such as computer network and smart cards. In this paper,...
122
click to vote
FAST
2008
15 years 7 months ago
2008
RAID storage systems protect data from storage errors, such as data corruption, using a set of one or more integrity techniques, such as checksums. The exact protection offered by...
149
click to vote
MSWIM
2005
ACM
15 years 11 months ago
2005
ACM
Wi-Fi based indoor location systems have been shown to be both cost-effective and accurate, since they can attain meter-level positioning accuracy by using existing Wi-Fi infrastr...
149
click to vote
DBSEC
2007
15 years 7 months ago
2007
Abstract. The database server is a crucial bottleneck in traditional inference control architecture, as it enforces highly computation-intensive auditing for all users who query th...