Sciweavers

2394 search results - page 35 / 479
» Implementing Mobile Haskell
Sort
View
ARCS
2006
Springer
15 years 6 months ago
Prototypical Implementation of Location-Aware Services Based on Super-Distributed RFID Tags
Abstract. We provide evidence of the feasibility and effectiveness of a middleware architecture for mobile devices which employs dense distributions of small computerized entities ...
Jürgen Bohn
IFIPTCS
2000
15 years 6 months ago
An Asynchronous, Distributed Implementation of Mobile Ambients
Abstract We present a first distributed implementation of the CardelliGordon's ambient calculus. We use Jocaml as an implementation language and we present a formal translatio...
Cédric Fournet, Jean-Jacques Lévy, A...
FGCN
2007
IEEE
173views Communications» more  FGCN 2007»
15 years 4 months ago
Preventing Cooperative Black Hole Attacks in Mobile Ad Hoc Networks: Simulation Implementation and Evaluation
A black hole attack is a severe attack that can be easily employed against routing in mobile ad hoc networks. A black hole is a malicious node that falsely replies for any route r...
Hesiri Weerasinghe, Huirong Fu
105
Voted
WEBI
2009
Springer
15 years 9 months ago
Reasoning in Pervasive Environments: An Implementation of Concept Abduction with Mobile OODBMS
The paper focuses on an implementation of concept abduction with an Object-oriented Database Management System (OODBMS). OWL-DL Knowledge Bases have been translated to an OO versi...
Michele Ruta, Floriano Scioscia, Tommaso Di Noia, ...
MHCI
2004
Springer
15 years 7 months ago
Tilt-Based Automatic Zooming and Scaling in Mobile Devices - A State-Space Implementation
Abstract. We provide a dynamic systems interpretation of the coupling of internal states involved in speed-dependent automatic zooming, and test our implementation on a text browse...
Parisa Eslambolchilar, Roderick Murray-Smith