2403 search results - page 164 / 481 » Using the WinWin Spiral Model: A Case Study |
166
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
225
click to vote
CTRSA
2012
Springer
14 years 2 months ago
2012
Springer
We study the problem of searching on encrypted data, where the search is performed using a plaintext message or a keyword, rather than a message-specific trapdoor as done by state...
168
click to vote
WSC
1998
15 years 7 months ago
1998
Carousel storage systems are often used to increase storage density, throughput and efficiency while reducing inventory and man-hours. The Hewlett-Packard company has developed a ...
188
click to vote
ISSRE
2000
IEEE
15 years 10 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
180
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
This paper proposes to develop a system-wide energy consumption model for servers by making use of hardware performance counters and experimental measurements. We develop a real-t...