58 search results - page 12 / 12 » On Decidability Properties of Local Sentences |
HPDC
2010
IEEE
13 years 6 months ago
2010
IEEE
Cloud computing is increasingly considered as an additional computational resource platform for scientific workflows. The cloud offers opportunity to scale-out applications from d...
SECON
2008
IEEE
13 years 12 months ago
2008
IEEE
—Vehicular networks, in which cars communicate wirelessly to exchange information on traffic conditions, offer a promising way to improve road safety. Yet ensuring the correct f...
SIGMETRICS
2008
ACM
13 years 5 months ago
2008
ACM
We consider a wireless collision channel, shared by a finite number of mobile users who transmit to a common base station using a random access protocol. Mobiles are selfoptimizin...