1727 search results - page 114 / 346 » A Technique for Large Automated Mechanism Design Problems |
143
click to vote
ESA
2007
Springer
16 years 19 days ago
2007
Springer
Consider the following network subscription pricing problem. We are given a graph G = (V, E) with a root r, and potential customers are companies headquartered at r with locations...
175
click to vote
VLSID
1999
IEEE
15 years 10 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
147
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
The paper presents a novel approach based on Bogor for the accurate verification of applications based on PublishSubscribe infrastructures. Previous efforts adopted standard model...
190
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
Existing enterprise calendaring systems have suffered from problems like rigidity, lack of transparency, and poor integration with social networks. We present the system design an...
174
click to vote
IPPS
2006
IEEE
16 years 14 days ago
2006
IEEE
In this paper, we present the design and implementation of Ovid, a browser for Grid-related information. The key goal of Ovid is to support the seamless navigation of users in the...