Sciweavers

826 search results - page 30 / 166
» The Modernization of a Call Center
Sort
View
ASPDAC
2005
ACM
85views Hardware» more  ASPDAC 2005»
14 years 1 months ago
Integration of supercubing and learning in a SAT solver
Abstract— Learning is an essential pruning technique in modern SAT solvers, but it exploits a relatively small amount of information that can be deduced from the conflicts. Rece...
Domagoj Babic, Alan J. Hu
IADIS
2003
13 years 9 months ago
Ad Hoc Interface Evolution in Soap
Modern distributed systems often allow independent development of their components. Successful evolution of such systems depends on the flexibility of component interfaces. This p...
Nikita Schmidt, Ahmed Patel, Mikhail Sogrine
AAAI
2008
13 years 10 months ago
Partially Synchronized DEC-MDPs in Dynamic Mechanism Design
In this paper, we combine for the first time the methods of dynamic mechanism design with techniques from decentralized decision making under uncertainty. Consider a multi-agent s...
Sven Seuken, Ruggiero Cavallo, David C. Parkes
GCC
2009
Springer
13 years 5 months ago
Accounting and Billing for Federated Cloud Infrastructures
Emerging Cloud computing infrastructures provide computing resources on demand based on postpaid principles. For example, the RESERVOIR project develops an infrastructure capable o...
Erik Elmroth, Fermín Galán Má...
CLOUDCOM
2009
Springer
14 years 2 months ago
Cost of Virtual Machine Live Migration in Clouds: A Performance Evaluation
Abstract. Virtualization technology has become commonplace in modern data centers and cluster systems, often referred as “computing clouds”. In particular, the capability of vi...
William Voorsluys, James Broberg, Srikumar Venugop...