Sciweavers

8008 search results - page 108 / 1602
» Computer-Aided Language Processing
Sort
View
LNCS
1993
15 years 10 months ago
Parallel Query Processing
Philip S. Yu, Ming-Syan Chen, Joel L. Wolf, John T...
ICALP
1997
Springer
15 years 10 months ago
Symbolic Model Checking for Probabilistic Processes
Christel Baier, Edmund M. Clarke, Vassili Hartonas...
MODELS
2009
Springer
16 years 26 days ago
Domain-Specific Languages in Practice: A User Study on the Success Factors
Felienne Hermans, Martin Pinzger, Arie van Deursen