284 search results - page 9 / 57 » Formal Foundation for Pattern-Based Modelling |
121
click to vote
ICSE
2007
IEEE-ACM
16 years 20 days ago
2007
IEEE-ACM
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
191
Voted
POPL
2003
ACM
16 years 27 days ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
CORR
2006
Springer
15 years 18 days ago
2006
Springer
Solomonoff completed the Bayesian framework by providing a rigorous, unique, formal, and universal choice for the model class and the prior. We discuss in breadth how and in which...
119
Voted
WSC
2004
15 years 1 months ago
2004
Federated simulations address the need for interoperability, as well as the improvement of reuse and composability of existing simulation models. The focal goal in a federated sim...
215
click to vote
POPL
2004
ACM
16 years 27 days ago
2004
ACM
For decades we have been using Chomsky's generative system of grammars, particularly context-free grammars (CFGs) and regular expressions (REs), to express the syntax of prog...