6020 search results - page 1013 / 1204 » A New Approach to Model Counting |
159
click to vote
EDBTW
2010
Springer
15 years 11 months ago
2010
Springer
In recent years, Software-as-a-Service (SaaS) is gaining momentum with more and more successful adoptions. Several companies including some well known names have embraced this new...
176
click to vote
CLOUD
2010
ACM
15 years 11 months ago
2010
ACM
Virtualization is often used in cloud computing platforms for its several advantages in efficiently managing resources. However, virtualization raises certain additional challeng...
164
click to vote
WSC
2008
15 years 8 months ago
2008
Multitrajectory simulation allows explicit management of random events by allowing particular events to be resolved by random draw, by a deterministic choice, or by creating new s...
171
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Personalization has been deemed one of the major challenges in information retrieval with a significant potential for providing better search experience to individual users. Espec...
169
click to vote
HCI
2007
15 years 7 months ago
2007
A large number of the world's cultural heritage sites and landscapes have been lost over time due to the progress of urbanization. Digital archive projects that digitize these...