3729 search results - page 370 / 746 » On Formal Modeling of Agent Computations |
172
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Recent work by Procaccia, Rosenschein and Zohar [14] established some results regarding the complexity of manipulation and control in elections with multiple winners, such as elec...
165
click to vote
WAOA
2007
Springer
16 years 26 days ago
2007
Springer
We consider the following distributed optimization problem: three agents i = 1, 2, 3 are each presented with a load drawn independently from the same known prior distribution. Then...
173
click to vote
FOSSACS
2005
Springer
16 years 9 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
230
click to vote
DLT
2009
15 years 4 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
166
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...