1087 search results - page 7 / 218 » The DecideIT Decision Tool |
LPAR
2005
Springer
15 years 5 months ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
SPIRE
1999
Springer
15 years 4 months ago
1999
Springer
One resource playing a critical role in electronically supported decision-making groups is the facilitator. Facilitation is a complex task, encompassing social abilities, pre-meet...
SIGMETRICS
2010
ACM
14 years 10 months ago
2010
ACM
Sustainability is becoming an increasingly important driver for which decision makers – consumers, corporate and government – rely on principled, accurate and provenanced metr...
WWW
2003
ACM
16 years 12 days ago
2003
ACM
The efficient delivery of internet content has been identified as a key issue of research for some time. Forward (or reverse) proxies, which are positioned along the request route...
ICWE
2003
Springer
15 years 5 months ago
2003
Springer