3379 search results - page 280 / 676 » Combinators for Interaction Nets |
155
click to vote
EDUTAINMENT
2009
Springer
16 years 1 months ago
2009
Springer
This paper investigates how graphically displayed intelligent virtual actors, mobile devices and innovative interaction modalities can support and enhance educational role-play as ...
164
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper investigates the relationship between student role-behavior and position in a Social Network and the processes of creating sustained collaborative knowledge building in...
155
click to vote
LPAR
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
142
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper demonstrates that work in digital enterprises—like work in conventional enterprises— can be carried out effectively by autonomous agents, subject to a regulatory r...
178
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...