575 search results - page 64 / 115 » A Calculus for Interaction Nets |
MHCI
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a framework for the pervasive sharing of data using wireless networks. ‘FarCry’ uses the mobility of users to carry files between separated networks. Throu...
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
— We study a priority service where users are free to choose the priority of their traffic, but are charged accordingly by the network. We assume that each user chooses prioriti...
CSL
2007
Springer
14 years 3 months ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
TCS
2008
13 years 8 months ago
2008
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...
CEEMAS
2007
Springer
14 years 3 months ago
2007
Springer
To allow for flexibility in software structures (architectures) especially plugins and agents are proposed solutions. While plugins are used to support the conceptual and practica...