9455 search results - page 193 / 1891 » The Modelling Language Zinc |
128
click to vote
CSL
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
108
click to vote
SDL
2007
15 years 3 months ago
2007
Abstract. It is still the case that language descriptions have lots of semantic information captured using plain (English) text. These imprecise descriptions are hardly usable for ...
CP
2009
Springer
14 years 11 months ago
2009
Springer
Any sufficiently complex finite-domain constraint modelling language has the ability to express undefined values, for example division by zero, or array index out of bounds. This p...
106
Voted
IJCNLP
2005
Springer
15 years 7 months ago
2005
Springer
Corpus-based stochastic language models have achieved significant success in speech recognition, but construction of a corpus pertaining to a specific application is a difficult ta...
103
Voted
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
Abstract— To meet the challenge of increasing design complexity, designers are turning to system level design languages to model systems at a higher level of abstraction. This pa...