Sciweavers

5777 search results - page 224 / 1156
» The palladio component model
Sort
View
TSE
2008
107views more  TSE 2008»
15 years 7 months ago
Interface Grammars for Modular Software Model Checking
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
Graham Hughes, Tevfik Bultan
CORR
2002
Springer
175views Education» more  CORR 2002»
15 years 7 months ago
Creating Annotation Tools with the Annotation Graph Toolkit
The Annotation Graph Toolkit is a collection of software supporting the development of annotation tools based on the annotation graph model. The toolkit includes application progr...
Kazuaki Maeda, Steven Bird, Xiaoyi Ma, Haejoong Le...
JNSM
2000
122views more  JNSM 2000»
15 years 7 months ago
Communications Systems Driven by Software Agent Technology
The application of software agent technology to the management of communications' infrastructures is a challenging domain as it requires management on different time scales a...
Alex L. Hayzelden, John Bigham, Stefan Poslad, Phi...
ACL
2010
15 years 5 months ago
Optimizing Question Answering Accuracy by Maximizing Log-Likelihood
In this paper we demonstrate that there is a strong correlation between the Question Answering (QA) accuracy and the log-likelihood of the answer typing component of our statistic...
Matthias H. Heie, Edward W. D. Whittaker, Sadaoki ...
IMCSIT
2010
15 years 5 months ago
Semi-Automatic Extension of Morphological Lexica
Abstract--We present a tool that facilitates the efficient extension of morphological lexica. The tool exploits information from a morphological lexicon, a morphological grammar an...
Tobias Kaufmann, Beat Pfister