Sciweavers

3216 search results - page 350 / 644
» The Oregon Software Development Process
Sort
View
ICFEM
2003
Springer
15 years 12 months ago
Analyzing the Redesign of a Distributed Lift System in UPPAAL
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
Jun Pang, Bart Karstens, Wan Fokkink
AAI
2000
122views more  AAI 2000»
15 years 6 months ago
High-Level Interpretation in Virtual Environments
: As Virtual Environments applications become more complex, there is a need to interpret user interaction in terms of high-level concepts. In this paper, we investigate the relatio...
Marc Cavazza, Ian Palmer
EOR
2002
96views more  EOR 2002»
15 years 6 months ago
Multicriteria classification and sorting methods: A literature review
The assignment of alternatives (observations/objects) into predefined homogenous groups is a problem of major practical and research interest. This type of problem is referred to ...
Constantin Zopounidis, Michael Doumpos
SAC
2010
ACM
15 years 6 months ago
Graph-based verification of static program constraints
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
ICDAR
2009
IEEE
15 years 4 months ago
An Open Source Tesseract Based Optical Character Recognizer for Bangla Script
BanglaOCR is currently the only open source optical character recognition (OCR) software for the Bangla (Bengali) script developed by the Center for Research on Bangla Language Pr...
Md. Abul Hasnat, Muttakinur Rahman Chowdhury, Mumi...