9455 search results - page 431 / 1891 » The Modelling Language Zinc |
176
click to vote
COLT
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Probabilistic finite automata (PFA) model stochastic languages, i.e. probability distributions over strings. Inferring PFA from stochastic data is an open field of rese...
195
click to vote
EDOC
2003
IEEE
16 years 27 days ago
2003
IEEE
Distributed System design is a highly complicated and non-trivial task. The problem is characterised by the need to design multi-threaded, multi-processor, and multimedia systems....
216
click to vote
UML
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
208
click to vote
ICFP
2003
ACM
16 years 7 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
237
click to vote
GG
2008
Springer
15 years 8 months ago
2008
Springer
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...