2060 search results - page 38 / 412 » The Composition of Event-B Models |
139
Voted
ACL
2001
15 years 5 months ago
2001
In this paper, a new language model, the Multi-Class Composite N-gram, is proposed to avoid a data sparseness problem for spoken language in that it is difficult to collect traini...
123
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
In the general area of high-performance computing, object-oriented methods have gone largely unnoticed. In contrast, the Computational Neighborhood (CN), a framework for parallel ...
130
click to vote
ECMDAFA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The use of Feature Models (FMs) to define the valid combinations of features in Software Product Lines (SPL) is becoming commonplace. To enhance the scalability of FMs, ...
119
Voted
COMPOS
1997
Springer
15 years 8 months ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
229
Voted
ASE
2011
14 years 10 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...