2394 search results - page 39 / 479 » Implementing Mobile Haskell |
DGO
2003
13 years 10 months ago
2003
This paper presents results of a coastal decision making system that utilizes the following tools: Internet, wireless technology, and Geographic Information Systems (GIS). The dev...
PROMAS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. A mobile agent system for organizing multiple mobile agents is presented. It provides two unique two mechanisms for dynamically organizing mobile agents, which may be run...
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
Superimposition is a composition technique that has been applied successfully in many areas of software development. Although superimposition is a general-purpose concept, it has ...
ICFP
2009
ACM
14 years 9 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
FLOPS
2004
Springer
14 years 2 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...