Sciweavers

8555 search results - page 56 / 1711
» Property Based Coordination
Sort
View
CONSTRAINTS
1999
77views more  CONSTRAINTS 1999»
13 years 8 months ago
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison
Stefano Bistarelli, Ugo Montanari, Francesca Rossi...
TOIS
1998
61views more  TOIS 1998»
13 years 8 months ago
Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking
P. David Stotts, Richard Furuta, Cyrano Ruiz Cabar...
DALT
2010
Springer
13 years 3 months ago
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS
Commitment-based interaction protocols are a flexible way of representing the interaction of a set of agents, that are well-known and widely accepted by the research community. Nor...
Matteo Baldoni, Cristina Baroglio, Elisa Marengo