6432 search results - page 1072 / 1287 » Classic Mechanism Design |
191
click to vote
ENTCS
2007
15 years 7 months ago
2007
Recently the term Web Services choreography has been introduced to address some issues related to Web Services composition and coordination. Several proposals for describing chore...
179
click to vote
ENTCS
2007
15 years 7 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
197
click to vote
NECO
2008
15 years 7 months ago
2008
While evidence indicates that neural systems may be employing sparse approximations to represent sensed stimuli, the mechanisms underlying this ability are not understood. We desc...
207
click to vote
NETWORK
2008
15 years 7 months ago
2008
Admission control plays a very important role in wireless systems, as it is one of the basic mechanisms for ensuring the quality of service offered to users. Based on the availabl...
199
click to vote
FGCS
2007
15 years 7 months ago
2007
Grid computing is a newly developed technology for complex systems with large-scale resource sharing and multi-institutional collaboration. The prominent feature of grid computing...