Sciweavers

2394 search results - page 55 / 479
» Implementing Mobile Haskell
Sort
View
PPDP
2010
Springer
13 years 7 months ago
Generic record combinators with static type checking
Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete ...
Wolfgang Jeltsch
ECBS
2008
IEEE
113views Hardware» more  ECBS 2008»
13 years 9 months ago
Towards Secure Mobile Payment Based on SIP
Mobile payment has some unique advantages over more traditional payment methods in, for example, TV shopping and mobile multimedia services. Unfortunately, most existing mobile pa...
Ge Zhang, Feng Cheng 0002, Christoph Meinel
ICMCS
2009
IEEE
107views Multimedia» more  ICMCS 2009»
13 years 6 months ago
Feasibility evaluation of context distribution in mobile environment
Although mobile devices are rich sources of context information, the distribution of context in mobile environments is often hindered by the limited battery life, and wireless con...
Timo Koskela, Janne Lahti, Jani Pellikka, Sari J&a...
ICFP
2009
ACM
14 years 9 months ago
Parallel concurrent ML
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
John H. Reppy, Claudio V. Russo, Yingqi Xiao
MUE
2007
IEEE
125views Multimedia» more  MUE 2007»
14 years 3 months ago
A Grid Based Simulation Environment for Mobile Distributed Applications
Using simulation environments to support mobile distributed application development has many benefits. Since mobile devices can be modeled as autonomous intelligent agents, the mu...
Dawit Mengistu, Paul Davidsson, Lars Lundberg