Sciweavers

14577 search results - page 249 / 2916
» Statistical Language Modelling
Sort
View
129
Voted
SIGADA
1994
Springer
15 years 11 months ago
Structural Model: Architecture for Software Designers
Robert G. Crispen, Lynn D. Stuckey Jr.
POPL
1992
ACM
15 years 11 months ago
Model Checking and Abstraction
Edmund M. Clarke, Orna Grumberg, David E. Long
ESOP
2008
Springer
15 years 8 months ago
The Conversation Calculus: A Model of Service-Oriented Computation
Hugo Torres Vieira, Luís Caires, Joã...