5675 search results - page 5 / 1135 » Formalising Performative Interaction |
CCIA
2009
Springer
13 years 8 months ago
2009
Springer
We explore a rule-based formalisation for contracts: the rules capture conditional norms, that is, they describe situations arising during the enactment of a multi-agent system, an...
INTERACT
2007
13 years 8 months ago
2007
EMSOFT
2007
Springer
14 years 1 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
CP
2006
Springer
13 years 10 months ago
2006
Springer
Interactive configuration is the concept of assisting a user in selecting values for parameters that respect given constraints. It was originally inspired by the product configurat...
SEFM
2005
IEEE
14 years 18 days ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...