260 search results - page 5 / 52 » Strong Mobility in Mobile Haskell |
ICMB
2007
IEEE
14 years 4 months ago
2007
IEEE
Mobile advertising holds strong promises to become the most highly targeted advertising medium offering new ways to target messages to users. By utilizing mobile advertising, comp...
ISCA
2012
IEEE
12 years 6 days ago
2012
IEEE
To address the real-time processing needs of large and growing amounts of data, modern software increasingly uses main memory as the primary data store for critical information. T...
DELFI
2006
13 years 11 months ago
2006
: Mobile learning has left the status of a new born child. It is time now to implement some structure into the complex and various activities by a framework presented in this paper...
CORR
2010
Springer
2010
Springer
Understanding periodicity and regularity of nodal encounters in mobile networks: A spectral analysis
13 years 9 months ago
Abstract--Study on human mobility is gaining increasing attention from the research community with its multiple applications to use in mobile networks, particularly for the purpose...
LFCS
2009
Springer
14 years 4 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...