Sciweavers

41650 search results - page 137 / 8330
» Distribution of
Sort
View
CONCUR
2009
Springer
15 years 11 months ago
A Logic-Based Framework for Reasoning about Composite Data Structures
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...
CONCUR
2009
Springer
15 years 11 months ago
Power of Randomization in Automata on Infinite Strings
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
CONCUR
2009
Springer
15 years 11 months ago
Modeling Radio Networks
Calvin C. Newport, Nancy A. Lynch
CONCUR
2009
Springer
15 years 11 months ago
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs
Richard H. G. Garner, Tom Hirschowitz, Auré...
DCOSS
2009
Springer
15 years 11 months ago
Mote-Based Online Anomaly Detection Using Echo State Networks
Marcus Chang, Andreas Terzis, Philippe Bonnet