3379 search results - page 20 / 676 » Combinators for Interaction Nets |
SMC
2007
IEEE
14 years 3 months ago
2007
IEEE
—The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, a...
APN
2003
Springer
14 years 2 months ago
2003
Springer
CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. The GUI is based on advanced interaction techniques, such as toolglasses, marking menus, and bi-manua...
CHI
1999
ACM
14 years 2 months ago
1999
ACM
This paper reports on Direct Combination, a new user interaction technique. Direct Combination may be viewed variously as: a systematic extension to Direct Manipulation; a concise...
ENTCS
2006
13 years 9 months ago
2006
Recently, encodings in interaction nets of the call-by-name and call-by-value strategies of the -calculus have been proposed. The purpose of these encodings was to he gap between ...
UIST
2004
ACM
14 years 3 months ago
2004
ACM
Despite novel interaction techniques proposed for virtual desktops, common yet challenging tasks remain to be investigated. Dragging and dropping between overlapping windows is on...