3052 search results - page 514 / 611 » Weakly Distributive Domains |
147
click to vote
WCNC
2010
IEEE
15 years 8 months ago
2010
IEEE
—It is well known that symbol timing offsets larger than the cyclic prefix as well as carrier frequency offsets between transmitter and receiver stations destroy the orthogonali...
169
click to vote
ICCCN
2007
IEEE
15 years 8 months ago
2007
IEEE
In 2003, interests in the Institute of Electronics and Electrical Engineering (IEEE) 802.11 Working Group (WG) led to the formation of Task Group (TG) "s". 802.11s develo...
127
click to vote
AOSD
2006
ACM
15 years 8 months ago
2006
ACM
The goals of aspect oriented software development (AOSD) and frameworks for configurable protocols (CPs) are similar in many respects. AOSD allows the specification of crosscuttin...
149
click to vote
BIRTE
2006
15 years 8 months ago
2006
Real-time enterprises rely on user queries being answered in a timely fashion and using fresh data. This is relatively easy when systems are lightly loaded and both queries and upd...
152
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...