138 search results - page 28 / 28 » Model Checking Round-Based Distributed Algorithms |
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational compl...
102
click to vote
SIGSOFT
2006
ACM
15 years 3 months ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
CSREASAM
2006
14 years 10 months ago
2006
Current computer security systems are based on the premise that once a user presents valid credentials to the authentication system (e.g. valid ID and password), they are granted ...