3379 search results - page 236 / 676 » Combinators for Interaction Nets |
159
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
This article presents an investigation of empathy within an online community for older people (SeniorNet). Qualitative content analysis of 400 messages from a discussion board abo...
132
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
PaperLens is a novel visualization that reveals trends, connections, and activity throughout a conference community. It tightly couples views across papers, authors, and reference...
191
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
In studies of virtual teams, it is difficult to determine pure effects of geographic isolation and uneven communication technology. We developed a multi-agent computer model in Ne...
168
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
265
click to vote
GLOBAL
2003
Springer
15 years 11 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...