Sciweavers

2786 search results - page 432 / 558
» A Practical Technique for Process Abstraction
Sort
View
IJCNLP
2005
Springer
15 years 12 months ago
An Empirical Study on Language Model Adaptation Using a Metric of Domain Similarity
Abstract. This paper presents an empirical study on four techniques of language model adaptation, including a maximum a posteriori (MAP) method and three discriminative training mo...
Wei Yuan, Jianfeng Gao, Hisami Suzuki
OTM
2005
Springer
15 years 12 months ago
Optimization of Distributed Queries in Grid Via Caching
Abstract. Caching can highly improve performance of query processing in distributed databases. In this paper we show how this technique can be used in grid architecture where data ...
Piotr Cybula, Hanna Kozankiewicz, Krzysztof Stence...
UML
2005
Springer
15 years 12 months ago
Modeling Crosscutting Services with UML Sequence Diagrams
Abstract. Current software systems increasingly consist of distributed interacting components. The use of web services and similar middleware technologies strongly fosters such arc...
Martin Deubler, Michael Meisinger, Sabine Rittmann...
WOSP
2004
ACM
15 years 11 months ago
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...
Juan Pablo López-Grao, José Mersegue...
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
15 years 11 months ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford