76 citations
3 papers
cs.LO2013★ 5 cited
Reasoning about Strategies under Partial Observability and Fairness Constraints
Simon Busard, Charles Pecheur, Hongyang Qu +1
A number of extensions exist for Alternating-time Temporal Logic; some of these mix strategies and partial observability but, to the best of our knowledge, no work provides a unifi…
math.OC2012★ 76 cited
Nature-Inspired Mateheuristic Algorithms: Success and New Challenges
Xin-She Yang
Despite the increasing popularity of metaheuristics, many crucially important questions remain unanswered. There are two important issues: theoretical framework and the gap between…
cs.CR2012★ 11 cited
A Survey on Authentication and Key Agreement Protocols in Heterogeneous Networks
Mahdi Aiash, Glenford Mapp, Aboubaker Lasebae
Unlike current closed systems such as 2nd and 3rd generations where the core network is controlled by a sole network operator, multiple network operators will coexist and manage th…