9067 search results - page 1515 / 1814 » Adaptive Model Checking |
216
click to vote
EUROSYS
2009
ACM
16 years 4 months ago
2009
ACM
: Virtualized data centers enable consolidation of multiple applications and sharing of multiple resources among these applications. However, current virtualization technologies ar...
219
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
This paper argues that the agent-based simulation approach is just the one appropriate to the social sciences (including economics). Although there were many predecessor approache...
186
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Online virtual worlds such as Second Life provide a rich medium for unstructured human interaction in a shared simulated 3D environment. However, many human interactions take place...
249
click to vote
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
It is challenging to process transactions in a timely fashion using fresh data, e.g., current stock prices, since database workloads may considerably vary due to dynamic data/reso...
181
click to vote
TCC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Cryptographic protocols are often designed and analyzed under some trusted set-up assumptions, namely in settings where the participants have access to global information...