5550 search results - page 962 / 1110 » Different Approaches to Proof Systems |
147
click to vote
HUC
2009
Springer
15 years 11 months ago
2009
Springer
Economic incentives are a powerful way of shaping consumer behavior towards more commercially efficient and environmentally sustainable patterns. In this paper, we explore the id...
167
click to vote
ICCS
2009
Springer
15 years 11 months ago
2009
Springer
Nowadays, the Grid is the focus of multiple researches. Our work is centered on Resource Management for Grids as it is an opened and current research area. Decentralized, scalable ...
173
click to vote
CIA
2001
Springer
15 years 11 months ago
2001
Springer
In recent years auctions have become more and more important in the field of multiagent systems as useful mechanisms for resource allocation, task assignment and last but not leas...
178
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
High-order and regularly sampled surface representations are more efficient and compact than general meshes and considerably simplify many geometric modeling and processing algor...
203
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...