Sciweavers

4418 search results - page 103 / 884
» A Formal Approach to Computer Systems Requirements Documenta...
Sort
View
UML
2001
Springer
15 years 8 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
OOPSLA
2005
Springer
15 years 9 months ago
X10: an object-oriented approach to non-uniform cluster computing
It is now well established that the device scaling predicted by Moore’s Law is no longer a viable option for increasing the clock frequency of future uniprocessor systems at the...
Philippe Charles, Christian Grothoff, Vijay A. Sar...
ICPR
2002
IEEE
16 years 5 months ago
Robust Text Detection from Binarized Document Images
Many document images are rich in color and have complex background. To detect text from them, a standard approach utilizes both color and binary information. This often leads to t...
Oleg Okun, Yu Yan, Matti Pietikäinen
160
Voted
ICEGOV
2007
ACM
15 years 8 months ago
Formal threat descriptions for enhancing governmental risk assessment
Compared to the last decades, we have recently seen more and more governmental applications which are provided via the Internet directly to the citizens. Due to the long history o...
Andreas Ekelhart, Stefan Fenz, Thomas Neubauer, Ed...
134
Voted
COLING
2002
15 years 4 months ago
The Computation of Word Associations: Comparing Syntagmatic and Paradigmatic Approaches
It is shown that basic language processes such as the production of free word associations and the generation of synonyms can be simulated using statistical models that analyze th...
Reinhard Rapp