208 search results - page 6 / 42 » Consistency Checking for Component Reuse in Open Systems |
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper presents a new method to automatically add n-grams containing out-of-vocabulary (OOV) words to a baseline language model (LM), where these n-grams are sought to be gram...
COMPSAC
2002
IEEE
14 years 21 days ago
2002
IEEE
Component platforms play a major role in current distributed information systems. As these systems evolve, components need to be upgraded without breaking the consistency of compo...
CASCON
1997
13 years 9 months ago
1997
Software evolution and reuse is more likely to receive higher payoff if high-level artifacts—such as architectures and designs—can be reused and can guide low-level component ...
DEXAW
1998
IEEE
14 years 1 hour ago
1998
IEEE
Most of the work on coordination technology so far has focused on the development of special coordination languages and environments that provide the basic mechanisms for realizin...
FMCO
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...