7121 search results - page 100 / 1425 » Functions as Session-Typed Processes |
AINA
2004
IEEE
15 years 1 months ago
2004
IEEE
XSLT is a very popular and flexible language for transforming XML documents which provides a powerful implementation of a tree-oriented transformation language for transmuting ins...
ENTCS
2010
14 years 10 months ago
2010
The cost of deploying a ubiquitous system to enhance a physical environment is likely to be considerable. The success of its deployment is highly dependent on its context: the phy...
TSP
2008
14 years 9 months ago
2008
We introduce a framework based on Wirtinger calculus for nonlinear complex-valued signal processing such that all computations can be directly carried out in the complex domain. Th...
RAS
1998
14 years 9 months ago
1998
We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent for anoth...
PAAMS
2010
Springer
14 years 7 months ago
2010
Springer
This paper presents an improved version of a multiagent architecture aimed at providing solutions for monitoring the interaction between the atmosphere and the ocean. The ocean sur...