2081 search results - page 268 / 417 » codes 2006 |
SEFM
2006
IEEE
15 years 5 months ago
2006
IEEE
The Aspect Oriented Programming is a new programming paradigm that provides a means of encapsulation of crosscuting concerns in software. This paper describes a formal semantics o...
SMI
2006
IEEE
15 years 5 months ago
2006
IEEE
Mesh segmentation has become an important component in many applications in computer graphics. In the last several years, many algorithms have been proposed in this growing area, ...
96
Voted
SP
2006
IEEE
15 years 5 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
TRIDENTCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
— This work presents an UWB testbed for reduced data rates with capabilities of measuring range and location. The transmitter uses Time Hopping spread spectrum codes to reduce th...
VTC
2006
IEEE
15 years 5 months ago
2006
IEEE
— In this paper, we analyze the effect of interference diversity on the capacity of a cellular system that employs frequency hopping, power control and bit-interleaved coded modu...