2663 search results - page 384 / 533 » The Design, Implementation, and Evaluation of Jade |
181
click to vote
ENTER
2009
Springer
16 years 1 months ago
2009
Springer
Mobile devices are becoming an inseparable part of our lives and personalized location-based mobile services are gaining more and more popularity. The scope of this paper is to il...
176
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
203
click to vote
CCGRID
2009
IEEE
16 years 1 months ago
2009
IEEE
—Cloud computing has emerged as a new technology that provides large amount of computing and data storage capacity to its users with a promise of increased scalability, high avai...
208
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper we present QOMB, a testbed we designed and implemented for the evaluation of wireless network systems, protocols and applications. The testbed uses the wireless ne...
207
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper describes the design, implementation and evaluation of Native Client, a sandbox for untrusted x86 native code. Native Client aims to give browser-based applications the...