2394 search results - page 75 / 479 » Implementing Mobile Haskell |
PUC
2010
13 years 4 months ago
2010
In this paper, we describe the design and implementation of an audio wiki application accessible via both the Public Switched Telephone Network and the Internet. The application ex...
ICAT
2006
IEEE
14 years 4 months ago
2006
IEEE
The wireless sensor network based localization system—Cicada is designed to support the locationawareness in indoor environment. The system is based on TDOA (time difference of ...
IPPS
2003
IEEE
14 years 3 months ago
2003
IEEE
System on Devices (SyD) is a specification for a middleware to enable heterogeneous collections of information, databases, or devices (such as hand-held devices) to collaborate wi...
CAISE
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Mobile devices provide a variety of ways to access information resources available on the Web and a high level of adaptability to different aspects (e.g., device capabili...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...