C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Supporting e-commerce systems formalization with choreography languages.
Mario Bravetti
Claudio Guidi
Roberto Lucchi
Gianluigi Zavattaro
Published in:
SAC (2005)
Keyphrases
</>
expressive power
language independent
electronic commerce
trust model
formal model
neural network
multi agent
grammatical inference
decision support
cross lingual
language identification
real time
operational semantics
document collections
information extraction
knowledge representation
genetic algorithm
data sets