Sciweavers

11016 search results - page 539 / 2204
» Cloud Computing for Science
Sort
View
FSTTCS
2009
Springer
16 years 1 months ago
Recurrence and Transience for Probabilistic Automata
Mathieu Tracol, Christel Baier, Marcus Grö&sz...
FSTTCS
2009
Springer
16 years 1 months ago
On the Memory Consumption of Probabilistic Pushdown Automata
Tomás Brázdil, Javier Esparza, Stefa...
ICDS
2008
IEEE
16 years 1 months ago
Security Arguments for a Class of ID-Based Signatures
Zhengwei Guo, Xinzheng He, Baocheng Xun
CSR
2007
Springer
16 years 1 months ago
Planarity, Determinants, Permanents, and (Unique) Matchings
Samir Datta, Raghav Kulkarni, Nutan Limaye, Meena ...