6020 search results - page 1013 / 1204 » A New Approach to Model Counting |
181
click to vote
EDBTW
2010
Springer
16 years 5 days 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...
200
click to vote
CLOUD
2010
ACM
16 years 4 days 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...
191
Voted
WSC
2008
15 years 9 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...
203
Voted
CIKM
2008
Springer
15 years 9 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...
194
click to vote
HCI
2007
15 years 8 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...