1471 search results - page 77 / 295 » Church: a language for generative models |
198
click to vote
ECEASST
2006
15 years 6 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
174
click to vote
ECOWS
2008
Springer
15 years 8 months ago
2008
Springer
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...
129
click to vote
UML
2000
Springer
15 years 9 months ago
2000
Springer
The emergence of the Unified Modeling Language (UML) has provided software developers with an effective and efficient shared language. However, UML is often too restrictive in init...
150
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
There exist very lucid explanations of the combinatorial origins of rational and algebraic functions, in particular with respect to regular and context free languages. In the searc...
147
click to vote
HPCN
1999
Springer
15 years 10 months ago
1999
Springer
Finding knowledge from vast quantities of data is a difficult task, made simpler by visually representing this information. The Internet can be considered a vast (global) database,...