2687 search results - page 514 / 538 » Formal Analysis of PKCS |
102
Voted
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Conceptual Structures is a field of research which shares abstract concepts and interests with recent work on knowledge representation for the Semantic Web. However, whi...
126
Voted
IPSN
2007
Springer
15 years 7 months ago
2007
Springer
FlashDB is a self-tuning database optimized for sensor networks using NAND flash storage. In practical systems flash is used in different packages such as on-board flash chips,...
92
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
99
Voted
WSE
2006
IEEE
15 years 6 months ago
2006
IEEE
For web applications, determining how requests from a web page are routed through server components can be time-consuming and error-prone due to the complex set of rules and mecha...
120
click to vote
ACISP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The emergence of computing environments where smart devices are embedded pervasively in the physical world has made possible many interesting applications and has trigger...