Sciweavers

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