2407 search results - page 354 / 482 » A Tool for Abstraction in Model Checking |
169
click to vote
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Evolutionary game-theory is a powerful tool to investigate the development of complex relations between individuals such as the emergence of cooperation and trust. But th...
187
click to vote
DCOSS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Aiming at a realistic mobile connectivity model for vehicular sensor networks in urban environments, we propose the combination of large-scale traffic simulation and comp...
162
click to vote
ANOR
2010
15 years 6 months ago
2010
Abstract-- The emerging paradigm of Grid Computing provides a powerful platform for the optimisation of complex computer models, such as those used to simulate real-world logistics...
123
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
Abstract. We study the following problem in a sovereign informationsharing setting: How to ensure that the individual participants, driven solely by self-interest, will behave hone...
164
click to vote
FMCAD
2009
Springer
16 years 23 days ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...