1496 search results - page 220 / 300 » Support for Recovery in Mobile Systems |
205
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
Publish/subscribe (P/S) is a communication paradigm of growing popularity for information dissemination in largescale distributed systems. The strong decoupling between informatio...
241
click to vote
ESOP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
188
click to vote
TSP
2008
15 years 6 months ago
2008
In this paper, we consider an uplink multiple-antenna Code-Division Multiple-Access (CDMA) system linking several multiple-antenna mobile users to one multiple-antenna base-statio...
112
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
This paper describes cell phone text messaging during the 2004 US Democratic and Republican National Conventions by protesters using TXTmob ? a text-message broadcast system devel...
254
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
We present HERMES, a prototype system based on a powerful query language for trajectory databases, which enables the support of aggregative Location-Based Services (LBS). The key ...