8828 search results - page 1147 / 1766 » Formal methods in practice |
174
click to vote
PCM
2009
Springer
16 years 2 months ago
2009
Springer
This paper describes a prototype for an installation which combines stereographic video and real-time 3D computer graphic to demonstrate a novel method of documenting dance and oth...
182
click to vote
DOCENG
2009
ACM
16 years 2 months ago
2009
ACM
This paper describes the Differential Synchronization (DS) method for keeping documents synchronized. The key feature of DS is that it is simple and well suited for use in both no...
193
click to vote
EICS
2009
ACM
16 years 2 months ago
2009
ACM
What methods can we use to help understand why users adopt certain use strategies, and how can we evaluate designs to anticipate and perhaps positively modify how users are likely...
182
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper proposes the so-called adaptive resource scheduling (ARS) schemes to cope with both uplink and downlink traffic transmissions in WiMAX, in order to fully utilize the ...
237
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper considers distributed protocol design for joint sub-carrier, transmission scheduling and power management in uplink/downlink multi-cellular OFDMA wireless networks. T...