Sciweavers

12597 search results - page 152 / 2520
» Complexity of Mechanism Design
Sort
View
IJCSA
2010
110views more  IJCSA 2010»
15 years 2 months ago
Mechanized Cultural Reasoning as a Tool to Assess Trust in Virtual Enterprises
Abstract: The globalized knowledge society generates virtual enterprises that are usually set up and managed on the web, and the new trend is to make the relevant technologies avai...
Jacques Calmet, Pierre Maret, Marvin Schneider
TII
2010
110views Education» more  TII 2010»
14 years 10 months ago
An Efficient Threshold-Based Power Management Mechanism for Heterogeneous Soft Real-Time Clusters
With growing cost of electricity, the power management of server clusters has become an important problem. However, most previous researchers only address the challenge in homogen...
Leping Wang, Ying Lu
120
Voted
CCS
2007
ACM
15 years 10 months ago
An analysis of browser domain-isolation bugs and a light-weight transparent defense mechanism
Browsers’ isolation mechanisms are critical to users’ safety and privacy on the web. Achieving proper isolations, however, is very difficult. Historical data show that even fo...
Shuo Chen, David Ross, Yi-Min Wang
VSTTE
2005
Springer
15 years 9 months ago
It Is Time to Mechanize Programming Language Metatheory
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
Benjamin C. Pierce, Peter Sewell, Stephanie Weiric...
CN
2007
111views more  CN 2007»
15 years 3 months ago
An auction mechanism for allocating the bandwidth of networks to their users
We present a mechanism for auctioning bandwidth on a network-wide basis to end users or ISPs that will utilize it for the same time period. This mechanism consists of a set of sim...
Manos Dramitinos, George D. Stamoulis, Costas Cour...