Sciweavers

2825 search results - page 239 / 565
» Support for Object-Oriented Testing
Sort
View
ICDAR
2003
IEEE
15 years 10 months ago
A Bilingual OCR for Hindi-Telugu Documents and its Applications
This paper describes the character recognition process from printed documents containing Hindi and Telugu text. Hindi and Telugu are among the most popular languages in India. The...
C. V. Jawahar, M. N. S. S. K. Pavan Kumar, S. S. R...
ICDCSW
2003
IEEE
15 years 10 months ago
A Connector-Aware Middleware for Distributed Deployment and Mobility
To address the need for highly configurable and customizable distributed systems, researchers and practitioners are investigating various innovative approaches. One of the promisi...
Marija Mikic-Rakic, Nenad Medvidovic
TPHOL
2002
IEEE
15 years 9 months ago
A Proposal for a Formal OCL Semantics in Isabelle/HOL
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
Achim D. Brucker, Burkhart Wolff
VLDB
1998
ACM
116views Database» more  VLDB 1998»
15 years 9 months ago
The Heterogeneity Problem and Middleware Technology: Experiences with and Performance of Database Gateways
In this paper, we present the results that we have obtained by comparing and testing three well-known database middleware solutions. We have analyzed their features related to glo...
Fernando de Ferreira Rezende, Klaudia Hergula
AUSAI
1997
Springer
15 years 8 months ago
Evaluating a Qualitative Reasoner
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
Sam Waugh, Tim Menzies, Simon Goss