Sciweavers

29046 search results - page 487 / 5810
» Computable Models
Sort
View
EGICE
2006
15 years 10 months ago
Model Free Interpretation of Monitoring Data
Daniele Posenato, Francesca Lanata, Daniele Inaudi...
EUROPAR
2006
Springer
15 years 10 months ago
A Super-Peer Model for Multiple Job Submission on a Grid
Pasquale Cozza, Carlo Mastroianni, Domenico Talia,...
DCC
2000
IEEE
15 years 10 months ago
Text Categorization Using Compression Models
Eibe Frank, Chang Chui, Ian H. Witten
SPIN
2000
Springer
15 years 10 months ago
Bebop: A Symbolic Model Checker for Boolean Programs
Thomas Ball, Sriram K. Rajamani