3765 search results - page 747 / 753 » Formal Methods for Systems Engineering Behavior Models |
148
Voted
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Weighted voting games are a natural and practically important class of simple coalitional games, in which each agent is assigned a numeric weight, and a coalition is deemed to be ...
133
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
143
Voted
FMCO
2003
Springer
15 years 8 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
118
Voted
SIGMOD
1996
ACM
15 years 6 months ago
1996
ACM
Magic sets rewriting is a well-known optimization heuristic for complex decision-support queries. There can be many variants of this rewriting even for a single query, which diffe...
121
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Merging operators try to define the beliefs of a group of agents according to the beliefs of each member of the group. Several model-based propositional belief merging operators h...