9739 search results - page 372 / 1948 » Object-Oriented Analysis and Design |
213
click to vote
SP
2008
IEEE
16 years 2 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
189
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
RFIC reliability is fast becoming a major bottleneck in the yield and performance of modern IC systems, as process complexity and levels of integration continually increase. Due t...
209
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
In automatic video content analysis domain, the key challenges are how to recognize important objects and how to model the spatiotemporal relationships between them. In this paper...
190
click to vote
PRIMA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Software systems are becoming more and more part of human life influencing organizational and social activities. This introduces the need of considering the design of a ...
174
click to vote
ASPDAC
2006
ACM
16 years 1 months ago
2006
ACM
Abstract— With technology scaling, on-chip power densities are growing steadily, leading to the point where temperature has become an important consideration in the design of ele...