Sciweavers

957 search results - page 186 / 192
» Negotiations and Petri Nets
Sort
View
PE
2010
Springer
135views Optimization» more  PE 2010»
13 years 5 months ago
Performance evaluation of component-based software systems: A survey
Performance prediction and measurement approaches for component-based software systems help software architects to evaluate their systems based on component performance specificat...
Heiko Koziolek
DKE
2011
260views Education» more  DKE 2011»
13 years 2 months ago
Analysis on demand: Instantaneous soundness checking of industrial business process models
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and...
Dirk Fahland, Cédric Favre, Jana Koehler, N...
AIEDU
2004
77views more  AIEDU 2004»
13 years 10 months ago
Interacting with Inspectable Bayesian Student Models
Inspectable student models focus on the idea of letting students and teachers interact with the representation of the student that the system maintains. Both humans and the system ...
Juan-Diego Zapata-Rivera, Jim E. Greer
TROB
2002
75views more  TROB 2002»
13 years 10 months ago
Sold!: auction methods for multirobot coordination
Abstract--The key to utilizing the potential of multirobot systems is cooperation. How can we achieve cooperation in systems composed of failure-prone autonomous robots operating i...
Brian P. Gerkey, Maja J. Mataric
KESAMSTA
2010
Springer
13 years 9 months ago
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions
A variety of business interactions in open environments can be captured in terms of creation and manipulation of social commitments among the agents. Such interactions include B2B ...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...