Abstract :
The following topics are dealt with: fuzzy numbers; model checking; concurrent systems; object-based graph grammars; Bayesian games; ckMeans algorithms; Internet shopping; fuzzy logic; process-centered software engineering environment; sensitivity analysis; UML models; multithreaded programs; Jurema branch-and-bound method; mixed integer linear programming models; Shisen-Sho puzzle; flood forecasting; decision making; formal specification; PopOrg-based multiagent systems; fuzzy-BDI agent model; social exchange theory; hybrid intelligent systems; genetic algorithms; and developmental Turing machines.
Keywords :
Bayes methods; Internet; Turing machines; Unified Modeling Language; concurrency control; decision making; formal specification; formal verification; fuzzy logic; fuzzy set theory; game theory; genetic algorithms; graph grammars; integer programming; linear programming; multi-agent systems; multi-threading; number theory; retail data processing; social sciences; tree searching; Bayesian games; Internet shopping; Jurema branch-and-bound method; PopOrg-based multiagent systems; Shisen-Sho puzzle; UML models; ckMeans algorithms; concurrent systems; decision making; developmental Turing machines; flood forecasting; formal specification; fuzzy logic; fuzzy numbers; fuzzy-BDI agent model; genetic algorithms; hybrid intelligent systems; mixed integer linear programming models; model checking; multithreaded programs; object-based graph grammars; process-centered software engineering environments; sensitivity analysis; social exchange theory;
Conference_Titel :
Theoretical Computer Science (WEIT), 2011 Workshop-School on
Conference_Location :
Pelotas, RS
Print_ISBN :
978-1-4673-0225-8
DOI :
10.1109/WEIT.2011.1
