346 search results - page 20 / 70 » Interaction Nets |
119
Voted
EMISA
2006
Springer
15 years 5 months ago
2006
Springer
: This paper summarizes how an algebra for mobile systems, the -calculus, can be applied as unified formal foundation to service oriented architectures (SOA). The concepts accounte...
105
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Pure, or type-free, Linear Logic proof nets are Turing complete once cut-elimination is5 considered as computation. We introduce modal impredicativity as a new form of impredicati...
143
click to vote
SIGCOMM
2012
ACM
13 years 4 months ago
2012
ACM
This demo presents MultiNet, a novel method for joining devices to a domestic Wi-Fi network. MultiNet dynamically reconfigures the network to accept each device, rather than con...
121
click to vote
CSCWD
2005
Springer
2005
Springer
Towards an engineering approach for groupware development: learning from the AulaNet LMS development
15 years 7 months ago
This paper presents the AulaNet learning management system, its architecture and the collaboration model that guided its development and that was refined during this process. A ca...
106
click to vote
FECS
2008
15 years 3 months ago
2008
- Net4Voice project consists in testing voice recognition techniques and methods within learning contexts. The need to support learning process with non traditional technologies de...