Sciweavers

2394 search results - page 230 / 479
» Implementing Mobile Haskell
Sort
View
ERLANG
2007
ACM
14 years 2 months ago
An Erlang framework for autonomous mobile robots
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...
Corrado Santoro
BIRTHDAY
2005
Springer
14 years 28 days ago
A Mobility Calculus with Local and Dependent Types
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ci...
USITS
2001
14 years 10 days ago
Dynamic Host Configuration for Managing Mobility Between Public and Private Networks
The usage and service options of a pubic network generally differ from a private (enterprise or home) network and consequently, the two networks are often configured differently. ...
Allen K. L. Miu, Paramvir Bahl
ACMACE
2009
ACM
14 years 2 days ago
Developing multiplayer pervasive games and networked interactive installations using ad hoc mobile sensor nets
We here present Fun in Numbers (FinN), a framework for developing pervasive applications and interactive installations for entertainment and educational purposes. Using ad hoc mob...
Orestis Akribopoulos, Marios Logaras, Nikos Vasila...
GI
2008
Springer
14 years 22 hour ago
Menu Structuring for Mobile Devices
: This project sets a discussion about possible improvements for mobile menu structuring. Navigation on mobile phones is supposed to get quicker and easier. To reach for better use...
Katrin Sauerwein, Nathalie Prevost, Alexander De L...