1259 search results - page 111 / 252 » In search of the memoryless property |
AFRICACRYPT
2008
Springer
14 years 2 months ago
2008
Springer
Moustique is one of the sixteen finalists in the eSTREAM stream cipher project. Unlike the other finalists it is a self-synchronising cipher and therefore offers very different...
CEC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Organic Computing (OC) and other research initiatives like Autonomic Computing or Proactive Computing have developed the idea of systems that possess life-like properties, that...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
Ranking systems are a fundamental ingredient of multi-agent environments and Internet Technologies. These settings can be viewed as social choice settings with two distinguished p...
ATVA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
CP
2007
Springer
14 years 2 months ago
2007
Springer
Ordering heuristics are a powerful tool in CSP search algorithms. Among the most successful ordering heuristics are heuristics which enforce a fail first strategy by using the mi...