Domain Auction and Priority Checking Analysis
Total Page:16
File Type:pdf, Size:1020Kb
ISSN: 2319-8753 International Journal of Innovative Research in Science, Engineering and Technology (An ISO 3297: 2007 Certified Organization) Vol. 3 , Issue 4 , April 2014 Domain Auction and Priority Checking Analysis Subhashini.V1, Babu.M2 1M.E (CSE), Department of CSE, G.K.M College of Engineering, Chennai, TamilNadu, India 2Ph.D Research Scholar, Department of CSE, G.K.M College of Engineering, Chennai, TamilNadu, India ABSTRACT: The domain name auction facilitates outbidthe next bidder; in fact, it can be shown that it is the buying and selling of currently registered optimal to bid one’s true valuation for the item. The domain names, enabling individuals to purchase a various auctions agree, in some sense, on the objective previously registered domain that suits their needs of efficient allocation, and the differences merely reflect from an owner wishing to sell. Domain auction sites other issues. There are other auctions that have a allow users to search multiple domain names that different objective, such as revenue-maximizing auctions, are listed for sale by owner, and to place bids on the which do not always allocate the item efficiently. As in names they want to purchase. As in any auction, the the single-item auction case, there are distinctions highest bidder wins. The more desirable a domain among combinatorial auctions in terms of the temporal name, the higher the winning bid, and auction sites aspects of the auction as well as the payments to be often provide links to escrow agents to facilitate the made by the bidders. safe transfer of funds and domain properties between the auctioning parties. A primary principle of market design is to promote an efficient outcome to the extent possible. For Key word: Async MQ, bid, Model the case addressed here with independent valuations for checker,Equilibrium approaches a single domain, this requires a design to enable the bidder who most values a domain to win it. I. INTRODUCTION The problem of valuation and information feedback has been addressed by proposing two new Auctions are used to determine how billions of combinatorial auction schemes,RevalSlotand dollars of goods and services will be allocated across the RevalBundle. These two schemes allow the bidders to globe. Each bidder privately sends a bid to the auction. participate in the auctionwithout imposing the A common objective among all of these auctions is to requirement that bidders have an accurate idea of their allocate the item to the bidder. Who values the item the valuations. RevalSlotuses the concept of varying slot most (that is, to allocate the item efficiently). The sizes to guide the bidders in their bidding. Equilibrium differences among them mostly reflect other issues. a bidding strategies in sealed-bid auctions for two payment bidder may not have to invest the effort necessary to rules, the first-price rule in which the winner pays her determine her exact valuation for the item. The winner bid, and the second-price rule in which the winner pays no longer has to think about how much longer she would the second-highest bid. We characterize equilibrium have stayed in the auction domain the winner no longer bidding strategies and predicted outcomes for both has to think about how much longer she would have asymmetric and symmetric distributions of the bidders’ stayed in the auction. valuations, assuming in each case that all bidders have In the first-price auction, bidders will try to only slightly the same interval of possible valuations over which the outbid their competitors, to pay as little as possible. If probability densities of their valuations is positive. The the bidder with the highest valuation for the item high participation and monitoring costs of bidders in underestimates the other bids, this can result in another online combinatorial auctions has been addressed by bidder winning the item, so that the allocation is proposing a distributed signal driven combinatorial inefficient. In the second-price sealed-bid auction, auction scheme. however, there is no reason to try to only slightly Copyright to IJIRSET www.ijirset.com 11779 ISSN: 2319-8753 International Journal of Innovative Research in Science, Engineering and Technology (An ISO 3297: 2007 Certified Organization) Vol. 3 , Issue 4 , April 2014 A. Domain Name Auction formulated in some precise mathematical language: To this end, it is formulated as a task in logic, namely to A number of factors have contributed to the rise check whether a given structure satisfies a given logical in popularity of the domain name auction. The formula. The concept is general and applies to all kinds personalization of the web resulted in domain names of logics and suitable structures. A simple model- being purchased by more private individuals and checking problem is verifying whether a given formula businesses than originally anticipated; and as a result in the propositional logic is satisfied by a given structure. there was also a rise in speculation and domain name Model checking is a method for formally verifying warehousing. Anticipating a growing need for a finite-state concurrent systems. Specifications about the targeted top-level domain name, domineers began to system are expressed as temporal logic formulas, and purchase names with an eye towards selling them at a efficient symbolic algorithms are used to traverse the later time. The advancing field of Search Engine model defined by the system and check if the Optimization (SEO) has also increased the desire to own specification holds or not. Extremely large state-spaces a domain name that accurately reflects the subject matter can often be traversed in minutes. of the web site. Property checking is used A domain auction website provides the for verification instead of equivalence checking when technology through which users can list or purchase two descriptions are not functionally equivalent. multiple domains easily and conveniently. Domain Particularly, during refinement, the specification is parking, once the most efficient method for advertising a complemented with the details that are unnecessary in domain for sale, allowed a domain owner to post the the higher level specification. Yet, there is no need to availability of the domain on a page, hoping someone verify the newly introduced properties against the who was interested in that name would surf through and original specification. It is not even possible. Therefore, see it listed for sale. With the development of the domain the strict bi-directional equivalence check is relaxed to auction, multiple users can list multiple domains all in one-way property checking. The implementation or the same place, thereby exposing them to a greater design is regarded a model of the circuit whereas the number of potential buyers. Sites such as eBay have specifications are properties that the model must satisfy. made using auctions very commonplace, and domain An important class of model checking methods have auction sites also require little to no technical knowledge been developed for checking models to use. of hardware and software designs where the specification is given by a temporal logic formula. In the past, if a domain name was already Model checking is most often applied to hardware registered by another party, it was generally advisable to designs. For software, because of undecidability the choose a different name. Whether current owners list approach cannot be fully algorithmic; typically it may domains for auction for a specified period of time or fail to prove or disprove a given property. provide an instant purchase option, the domain auction has become an important tool in uniting buyers and The structure is usually given as a source code sellers in the quest for the most beneficial domain name. description in an industrial hardware description language or a special-purpose language. Such a program II. MODEL CHECKER corresponds to a finite state machine (FSM), i.e., a directed graph consisting of nodes (or vertices) Model of a system, exhaustively and and edges. A set of atomic propositions is associated automatically check whether this model meets a given with each node, typically stating which memory specification. Typically, one has hardware or software elements are one. The nodes represent states of a system, systems in mind, similar critical states that can cause the the edges represent possible transitions which may alter system to crash. Model checking is a technique for the state, while the atomic propositions represent the automatically verifying correctness properties of finite- basic properties that hold at a point of execution. state systems. Formally, the problem can be stated as follows: given a desired property, expressed as a temporal logic In order to solve such a problem algorithmically, formula p, and a structure M with initial states, decide If both the model of the system and the specification are Copyright to IJIRSET www.ijirset.com 11780 ISSN: 2319-8753 International Journal of Innovative Research in Science, Engineering and Technology (An ISO 3297: 2007 Certified Organization) Vol. 3 , Issue 4 , April 2014 M is finite, as it is in hardware, model checking reduces IV. INDEPENDENT PRIVATE VALUE to a graph search. Bidder has a privately known valuation that is III. EQUILIBRIUM BIDDING independently distributed according to the probability Equilibrium bidding strategies in sealed-bid distribution with cumulative and positive density on an auctions for two payment rules, the first-price rule in interval that is the same for all bidders. In a monotone which the winner pays her bid, and the second-price rule pure-strategy equilibrium, bidder bids if her value is . in which the winner pays the second-highest bid. We Assume throughout that the bidding strategy is an characterize equilibrium bidding strategies and predicted increasing and differentiable function, and thus has an outcomes for both asymmetric and symmetric increasing and differentiable inverse function .