Sciweavers

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