Sciweavers

312 search results - page 21 / 63
» Simultaneous Ad Auctions
Sort
View
OPODIS
2008
14 years 11 months ago
Revising Distributed UNITY Programs Is NP-Complete
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...
Borzoo Bonakdarpour, Sandeep S. Kulkarni
IJCAI
2007
14 years 11 months ago
RoxyBot-06: An (SAA)2 TAC Travel Agent
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...
MASCOTS
2003
14 years 11 months ago
Software Performance Modeling Using UML and Petri Nets
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...
José Merseguer, Javier Campos
ICC
2007
IEEE
229views Communications» more  ICC 2007»
15 years 4 months ago
CD-MAC: Cooperative Diversity MAC for Robust Communication in Wireless Ad Hoc Networks
— 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 ...
VTC
2006
IEEE
171views Communications» more  VTC 2006»
15 years 3 months ago
Analysis of Spatial Multiplexing for Cross-Layer Design of MIMO Ad Hoc Networks
— 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...