242 search results - page 42 / 49 » Using Abstract State Machines at Microsoft: A Case Study |
SASO
2008
IEEE
14 years 1 months ago
2008
IEEE
—Distance sensitivity is a locality concept that is useful for designing scalable wireless sensor network applications. In this paper, we formally define distance sensitivity an...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Duality between the multi-antenna multi-user uplink and the downlink has been discovered in terms of sum rate, capacity region, signal-to-interference-plus-noise-ratio ...
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
APLAS
2008
ACM
13 years 9 months ago
2008
ACM
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Abstract—Capacity improvement from transmitter and receiver cooperation is investigated in a two-transmitter, two-receiver network with phase fading and full channel state inform...