Sciweavers

24132 search results - page 112 / 4827
» and 2009
Sort
View
VMCAI
2009
Springer
16 years 1 months ago
Constraint-Based Invariant Inference over Predicate Abstraction
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven...
WEA
2009
Springer
104views Algorithms» more  WEA 2009»
16 years 1 months ago
psort, Yet Another Fast Stable Sorting Software
Paolo Bertasi, Marco Bressan 0002, Enoch Peserico
WISTP
2009
Springer
16 years 1 months ago
On the Unobservability of a Trust Relation in Mobile Ad Hoc Networks
Olivier Heen, Gilles Guette, Thomas Genet