30267 search results - page 62 / 6054 » Process Modelling Languages |
139
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
146
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
An MDSD process is often organised as transformation chain. This can threaten the Separation of Concerns (SoC) principle, because information is replicated in, scattered over, and ...
128
click to vote
SIGIR
2003
ACM
15 years 9 months ago
2003
ACM
An empirical study has been conducted investigating the relationship between the performance of a generative language model in terms of perplexity and the corresponding informatio...
139
click to vote
ACL
2003
15 years 5 months ago
2003
Recent text and speech processing applications such as speech mining raise new and more general problems related to the construction of language models. We present and describe in...
163
click to vote
JLP
2008
15 years 2 months ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...