113 search results - page 19 / 23 » When Simulation Meets Antichains |
ENVSOFT
2008
14 years 9 months ago
2008
Increasing population, diminishing supplies and variable climatic conditions can cause difficulties in meeting water demands; especially in arid regions where water resources are ...
95
Voted
CGO
2005
IEEE
15 years 3 months ago
2005
IEEE
Software code caches are becoming ubiquitous, in dynamic optimizers, runtime tool platforms, dynamic translators, fast simulators and emulators, and dynamic compilers. Caching fre...
ICWE
2010
Springer
15 years 2 months ago
2010
Springer
: AWAIT: Efficient Overload Management for Busy Multi-tier Web Services under Bursty Workloads Lei Lu, Ludmila Cherkasova, Vittoria de Nitto Persone, Ningfang Mi, Evgenia Smirn...
ATAL
2003
Springer
15 years 1 months ago
2003
Springer
We develop a new false-name-proof double auction protocol called the Generalized Threshold Price Double auction (GTPD) protocol. False-name-proofness generalizes strategyproofness...
JOT
2008
14 years 9 months ago
2008
Object-oriented programming languages are being widely adopted as one of the most powerful languages due their flexibility and reusability. However, these languages suffer from me...