1898 search results - page 305 / 380 » Weak Keys for IDEA |
TACAS
2010
Springer
13 years 7 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
TAP
2010
Springer
13 years 7 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
USS
2010
13 years 7 months ago
2010
UserFS provides egalitarian OS protection mechanisms in Linux. UserFS allows any user--not just the system administrator--to allocate Unix user IDs, to use chroot, and to set up f...
WINE
2010
Springer
13 years 7 months ago
2010
Springer
In mechanism design, the goal is to create rules for making a decision based on the preferences of multiple parties (agents), while taking into account that agents may behave stra...
CEC
2009
IEEE
13 years 7 months ago
2009
IEEE
The SYMBRION project stands at the crossroads of Artificial Life and Evolutionary Robotics: a swarm of real robots undergoes online evolution by exchanging information in a decentr...