2394 search results - page 39 / 479 » Implementing Mobile Haskell |
DGO
2003
15 years 3 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...
144
click to vote
PROMAS
2005
Springer
15 years 7 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...
88
Voted
ICSE
2009
IEEE-ACM
16 years 3 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 ...
236
click to vote
ICFP
2009
ACM
16 years 3 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-...
109
click to vote
FLOPS
2004
Springer
15 years 7 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...