[Title page i]

fYear

2011

fDate

24-26 Aug. 2011

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Theoretical Computer Science (WEIT), 2011 Workshop-School on

Conference_Location

Pelotas, RS

Print_ISBN

978-1-4673-0225-8

Type

conf

DOI

10.1109/WEIT.2011.1

Filename

6114800