26602 search results - page 302 / 5321 » A New Imaging Model |
158
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes the study of a new computation model that attempts to address the underlying sources of performance degradation (e.g. latency, overhead, and starvation) and th...
155
click to vote
ATVA
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
168
click to vote
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
Most of the security proposals in m-commerce scenarios have been based on a classical payment model, which basically establishes relationships across domains among customers and me...
173
click to vote
SCN
2010
Springer
15 years 5 months ago
2010
Springer
The Canetti–Krawczyk (CK) and extended Canetti–Krawczyk (eCK) security models, are widely used to provide security arguments for key agreement protocols. We discuss security s...
181
click to vote
ISVLSI
2003
IEEE
15 years 12 months ago
2003
IEEE
The need for small, high speed, low power computers as the end of Moore’s law approaches is driving research into nanotechnology. These novel devices have significantly differe...