3504 search results - page 206 / 701 » Computational Aspects of Equilibria |
171
click to vote
NSDI
2008
15 years 9 months ago
2008
Phishing costs Internet users billions of dollars a year. Using various data sets collected in real-time, this paper analyzes various aspects of phisher modi operandi. We examine ...
214
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...
198
click to vote
DSVIS
2008
Springer
15 years 9 months ago
2008
Springer
This work aims at developing appropriate Mixed Interaction Systems (MIS) for navigating 3D environments in a science centre context. Due to the wide range and multi-disciplinary de...
156
click to vote
GG
2008
Springer
15 years 8 months ago
2008
Springer
The tautology problem is the problem to prove the validity of statements. In this paper, we present a calculus for this undecidable problem on graphical conditions, prove its sound...
194
click to vote
EXPERT
2007
15 years 7 months ago
2007
Agent-based social simulation (with multi-agent systems), which is an important aspect of social computing, can benefit from incorporating cognitive architectures, as they provid...