3931 search results - page 458 / 787 » Separation logic and abstraction |
206
click to vote
QSIC
2006
IEEE
16 years 1 months ago
2006
IEEE
Aspect-oriented programming (AOP) has been proposed as a technique for improving the separation of concerns in software design and implementation. The field of AOP has, so far, f...
180
click to vote
VTC
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— In mobile telecommunications, the quality of demodulation is strongly impacted by channel estimation. The Joint Angle, Delay and Polarization Estimation (JADPE) problem...
232
click to vote
VTC
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract—This paper provides new statistical models for air-toground channels in an urban environment. The model is derived to operate at frequencies from 200MHz to 5GHz. Issues ...
191
click to vote
EDOC
2005
IEEE
16 years 21 days ago
2005
IEEE
In model driven development (MDD), specifying transformations between models at various levels of ion can be a complex task. Specifying transformations for pervasive system featur...
191
click to vote
ICRA
2005
IEEE
16 years 21 days ago
2005
IEEE
Abstract— We aim at developing autonomous microflyers capable of navigating within houses or small built environments. The severe weight and energy constraints of indoor flying...