1255 search results - page 99 / 251 » A Proof Environment for the Development of Group Communicati... |
MOBISYS
2011
ACM
12 years 11 months ago
2011
ACM
— Supporting interactive, multiplayer games on mobile phones over cellular networks is a difficult problem. It is particularly relevant now with the explosion of mostly single-p...
SPE
2011
13 years 3 months ago
2011
Abstract. Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the ...
VTC
2006
IEEE
14 years 3 months ago
2006
IEEE
— The combination of space-time block codes (STBC) and spatial multiplexing (SM) schemes has the advantages of diversity gain and high data rate. For such STBC/SM hybrid systems,...
USENIX
2004
13 years 10 months ago
2004
In this paper, we report on experience in building and deploying an operational Internet broadcast system based on Overlay Multicast. In over a year, the system has been providing...
SCCC
1999
IEEE
14 years 1 months ago
1999
IEEE
A model was introduced in [Fraga97] for integrating replication techniques in heterogeneous systems. The model adopts a reflective structure based on the meta-object approach [10]...