6355 search results - page 73 / 1271 » From Logic to Games |
140
click to vote
CAV
2007
Springer
16 years 15 days ago
2007
Springer
Three-color parity games capture the disjunction of a B¨uchi and a co-B¨uchi condition. The most efficient known algorithm for these games is the progress measures algorithm by ...
119
click to vote
ROBOCUP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Component-based software engineering is useful for embedded applications such as robotics. However, heavyweight component systems such as CORBA overstrain the ressources ...
213
click to vote
GAMESEC
2010
15 years 4 months ago
2010
The combination of username and password is widely used as a human authentication mechanism on the Web. Despite this universal adoption and despite their long tradition, password s...
