314 search results - page 14 / 63 » A Framework for Interpreting Traces of Functional Logic Comp... |
GEOINFORMATICA
2011
13 years 3 months ago
2011
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...
ADHOCNOW
2008
Springer
14 years 2 months ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
ENTCS
2006
13 years 8 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
SIAMCOMP
2008
13 years 8 months ago
2008
The Graph Theorem of classical recursion theory states that a total function on the natural numbers is computable, if and only if its graph is recursive. It is known that this res...