Sciweavers

10666 search results - page 455 / 2134
» Quantum programming languages
Sort
View
IFIP
2004
Springer
16 years 7 days ago
A Trust Model with Statistical Foundation
Jianqiang Shi, Gregor von Bochmann, Carlisle M. Ad...
IFIP
2004
Springer
16 years 7 days ago
Controller Synthesis for Probabilistic Systems
Christel Baier, Marcus Größer, Martin L...
IFIP
2004
Springer
16 years 7 days ago
Dynamic and Local Typing for Mobile Ambients
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio ...