Sciweavers

2139 search results - page 25 / 428
» Complexity of Agents and Complexity of Markets
Sort
View
CAISE
2009
Springer
14 years 3 months ago
Analysis and Validation of Control-Flow Complexity Measures with BPMN Process Models
Evaluating the complexity of business processes during the early stages of their development, primarily during the process modelling phase, provides organizations and stakeholder w...
Elvira Rolón Aguilar, Jorge Cardoso, F&eacu...
DATE
2003
IEEE
122views Hardware» more  DATE 2003»
14 years 2 months ago
Synthesis of Complex Control Structures from Behavioral SystemC Models
In this paper we present the results of a set of experiments we conducted in order to evaluate the viability of the behavioral synthesis, relying on the tools available at the mom...
Francesco Bruschi, Fabrizio Ferrandi
ATAL
2006
Springer
14 years 14 days ago
The complexity of model checking concurrent programs against CTLK specifications
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
Alessio Lomuscio, Franco Raimondi
AAAI
1992
13 years 10 months ago
On the Complexity of Domain-Independent Planning
In this paper, we examine how the complexity of domain-independent planning with strips-style operators depends on the nature of the planning operators. We show how the time compl...
Kutluhan Erol, Dana S. Nau, V. S. Subrahmanian
AMET
1998
Springer
14 years 29 days ago
Bid Evaluation and Selection in the MAGNET Automated Contracting System
We present an approach to the bid-evaluation problem in a system for multi-agent contract negotiation, called MAGNET. The MAGNET market infrastructure provides support for a variet...
Erik S. Steinmetz, John Collins, Scott Jamison, Ra...