260 search results - page 42 / 52 » Strong Mobility in Mobile Haskell |
ICDS
2009
IEEE
14 years 5 months ago
2009
IEEE
- The emergence of high-speed networks, Grid Computing, Service-Oriented Architectures, and an ever increasing ambient connection to mobile Internet has enabled an underpinning inf...
CCS
2009
ACM
14 years 5 months ago
2009
ACM
We introduce HAIL (High-Availability and Integrity Layer), a distributed cryptographic system that allows a set of servers to prove to a client that a stored file is intact and r...
DSN
2009
IEEE
14 years 5 months ago
2009
IEEE
Security protocols are not as secure as we assumed. In this paper, we identified a practical way to launch DoS attacks on security protocols by triggering exceptions. Through exp...
ICASSP
2009
IEEE
14 years 5 months ago
2009
IEEE
A voice search system requires a speech interface that can correctly recognize spoken queries uttered by users. The recognition performance strongly relies on a robust language mo...
CDC
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— Cooperative steering controls enable mobile sampling platforms to conduct synoptic, adaptive surveys of dynamic spatiotemporal processes by appropriately regulating the...