3379 search results - page 42 / 676 » Combinators for Interaction Nets |
BPM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Business protocols in n-party interactions often require centralized protocol design but decentralized execution without the intervention of the designing party. In this ...
EACL
2003
ACL Anthology
15 years 1 months ago
2003
ACL Anthology
In this paper we present a proposal to extend WordNet-like lexical databases by adding phrasets, i.e. sets of free combinations of words which are recurrently used to express a co...
CHI
2002
ACM
16 years 5 days ago
2002
ACM
This demonstration will show the application of a unique approach to collecting and analyzing usability data from the users of Web sites and software applications. The NetRaker Su...
DAGSTUHL
2006
15 years 1 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
108
click to vote
APN
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...