We focus on automated revision techniques for adding Unity properties to distributed programs. We show that unlike centralized programs, where multiple safety properties along with...
In this paper, we describe our entrant in the travel division of the 2006 Trading Agent Competition (TAC). At a high level, the design of many successful autonomous trading agents...
Seong Jae Lee, Amy R. Greenwald, Victor Naroditski...
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...
— This paper proposes a medium access control (MAC) algorithm, called Cooperative Diversity MAC (CD-MAC), which exploits the cooperative communication capability to improve robus...
Sangman Moh, Chansu Yu, Seung-Min Park, Heung-Nam ...
— We consider the application of spatial multiplexing to ad hoc networks where nodes have multiple antennas. At the physical level, we suppose that layered space–time multiuser...
Marco Levorato, Stefano Tomasin, Paolo Casari, Mic...