28962 search results - page 250 / 5793 » Computational Mechanism Design |
144
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
Grids are intended to enable cross-organizational interactions which makes Grid security a challenging and nontrivial issue. In Grids, delegation is a key facility that can be used...
202
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
Auctions are widely used on the Web. Applications range from internet advertising to platforms such as eBay. In most of these applications the auctions in use are single/multi-ite...
166
click to vote
LICS
2008
IEEE
16 years 29 days ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
182
click to vote
SEMWEB
2007
Springer
16 years 20 days ago
2007
Springer
The discovery of suitable Web services for a given task is one of the central operations in Service-oriented Architectures (SOA), and research on Semantic Web services (SWS) aims a...
151
click to vote
LCN
2006
IEEE
16 years 17 days ago
2006
IEEE
Communication over multiple hops, such as in hybrid wireless networks, can only work if the individual hops cooperate by forwarding packets from other hops. We present the Linux i...