3379 search results - page 63 / 676 » Combinators for Interaction Nets |
124
click to vote
CIMCA
2008
IEEE
15 years 10 months ago
2008
IEEE
We introduce a language for the representation of a subset of strategic interactions. The representation is based on petri nets. Representable games are restricted to have a fini...
118
click to vote
EDM
2008
15 years 5 months ago
2008
We compare the purposes, inputs, representations, and assumptions of three methods to evaluate the fine-grained interactions of intelligent tutors with their students. One method i...
115
click to vote
AC
2002
Springer
15 years 3 months ago
2002
Springer
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...
163
Voted
APCCM
2009
15 years 4 months ago
2009
Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-pee...
115
click to vote
ACSD
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Operating guidelines characterize correct interaction (e.g. deadlock freedom) with a service. They can be stored in a service registry. So far, they have been represented...