9455 search results - page 209 / 1891 » The Modelling Language Zinc |
128
click to vote
ENTCS
2006
15 years 4 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
119
click to vote
TASLP
2008
15 years 4 months ago
2008
The performance of spoken language recognition system is typically formulated to reflect the detection cost and the strategic decision points along the detection-error-tradeoff cur...
125
click to vote
AIMSA
2000
Springer
15 years 8 months ago
2000
Springer
We present in this paper our reflections about the requirements of new architectures and languages for the Web, confronted with the ones emerging from qualified scientists such as ...
142
click to vote
PDP
1997
IEEE
15 years 8 months ago
1997
IEEE
We investigate the well-known PRAM model of parallel computation as a practical parallel programming model. The two components of this project are a general-purpose PRAM programmin...
128
click to vote
ESEC
1997
Springer
15 years 8 months ago
1997
Springer
Software architectures shift developers’ focus from lines-of-code to coarser-grained architectural elements and their interconnection structure. Architecture description language...