7992 search results - page 223 / 1599 » Communication Abstractions for Distributed Systems |
TWC
2011
13 years 5 months ago
2011
Abstract—This paper focuses on quantized channel state information (CSI) feedback for downlink network MIMO systems. Specifically, we propose to quantize and feedback the CSI of...
PDSE
1998
14 years 3 days ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
ICPPW
2000
IEEE
14 years 3 months ago
2000
IEEE
Abstract. We address the problem of Quality of Service (QoS) requirements for multimedia applications (e.g., distance education, telemedicine, electronic commerce). These applicati...
CLUSTER
2000
IEEE
14 years 3 months ago
2000
IEEE
This paper introduces the principles of Agilent’s remote system management solutions, which have been designed to maintain and administrate servers and communication systems. Fr...
ATVA
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...