8009 search results - page 389 / 1602 » cans 2005 |
176
click to vote
APSEC
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
179
click to vote
APSEC
2005
IEEE
16 years 13 days ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...
153
click to vote
ARITH
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper describes an improved version of the Tenca-Koç unified scalable radix-2 Montgomery multiplier with half the latency for small and moderate precision operands and half ...
161
click to vote
ASAP
2005
IEEE
16 years 13 days ago
2005
IEEE
The Radon transform (RT) is a widely studied algorithm used to perform image pattern extraction in fields such as computer graphics, medical imagery, and avionics. Real-time impl...
184
click to vote
ASWEC
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper proposes an approach of defining systemslevel security properties of component-based composite systems. It argues that the security properties of a composite system ca...