Sciweavers

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