Sciweavers

9507 search results - page 38 / 1902
» Time-based language models
Sort
View
73
Voted
SIGADA
1994
Springer
15 years 6 months ago
Structural Model: Architecture for Software Designers
Robert G. Crispen, Lynn D. Stuckey Jr.
POPL
1992
ACM
15 years 6 months ago
Model Checking and Abstraction
Edmund M. Clarke, Orna Grumberg, David E. Long
ESOP
2008
Springer
15 years 4 months ago
The Conversation Calculus: A Model of Service-Oriented Computation
Hugo Torres Vieira, Luís Caires, Joã...