Sciweavers

10622 search results - page 452 / 2125
» Python Programming Language
Sort
View
135
Voted
IFIP
2004
Springer
15 years 11 months ago
Preventive and Corrective Protection for Mobile Ad Hoc Network Routing Protocols
Ricardo Staciarini Puttini, Ludovic Mé, Raf...
IFIP
2004
Springer
15 years 11 months ago
Controller Synthesis for Probabilistic Systems
Christel Baier, Marcus Größer, Martin L...
IFIP
2004
Springer
15 years 11 months ago
Dynamic and Local Typing for Mobile Ambients
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio ...
CP
2003
Springer
15 years 11 months ago
Constraints for Breaking More Row and Column Symmetries
Alan M. Frisch, Christopher Jefferson, Ian Miguel