Sciweavers

6187 search results - page 480 / 1238
» Practical Software Measurement
Sort
View
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
16 years 1 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
ATAL
2005
Springer
16 years 23 days ago
Magenta Logistics i-Scheduler
The following demonstration will provide an overview of the key functionality and capabilities of Magenta’s Logistics i-Scheduler – a multi-agent software tool for real time s...
Jonathan Himoff
AC
2003
Springer
16 years 14 days ago
A Face Recognition System Based on Local Feature Characterization
A completely automatic face recognition system is presented. The method works on color and gray level images: after having localized the face and the facial features, it determines...
Paola Campadelli, Raffaella Lanzarotti
APAQS
2000
IEEE
15 years 11 months ago
Quality Improvement - The Six Sigma Way
Six Sigma provides an effective mechanism to focus on customer requirements, through improvement of process quality. In the Global Engineering Development Center of Tata Consultan...
Mala Murugappan, Gargi Keeni
EDBTW
2006
Springer
15 years 11 months ago
Validity-Sensitive Querying of XML Databases
We consider the problem of querying XML documents which are not valid with respect to given DTDs. We propose a framework for measuring the invalidity of XML documents and compactly...
Slawomir Staworko, Jan Chomicki