Sciweavers

CORR
2010
Springer
155views Education» more  CORR 2010»
13 years 11 months ago
Towards Performance Measurement And Metrics Based Analysis of PLA Applications
This article is about a measurement analysis based approach to help software practitioners in managing the additional level complexities and variabilities in software product line...
Zeeshan Ahmed
CORR
2010
Springer
96views Education» more  CORR 2010»
13 years 11 months ago
Examining Requirements Change Rework Effort: A Study
Although software managers are generally good at new project estimation, their experience of scheduling rework tends to be poor. Inconsistent or incorrect effort estimation can in...
Bee Bee Chua, June M. Verner
CORR
2010
Springer
156views Education» more  CORR 2010»
13 years 11 months ago
Building Reusable Software Component For Optimization Check in ABAP Coding
Software component reuse is the software engineering practice of developing new software products from existing components. A reuse library or component reuse repository organizes...
P. Shireesha, S. S. V. N. Sharma
CORR
2010
Springer
190views Education» more  CORR 2010»
13 years 11 months ago
Stable marriage problems with quantitative preferences
The stable marriage problem is a well-known problem of matching men to women so that no man and woman, who are not married to each other, both prefer each other. Such a problem ha...
Maria Silvia Pini, Francesca Rossi, Kristen Brent ...
CORR
2010
Springer
132views Education» more  CORR 2010»
13 years 11 months ago
Bayesian Network Based XP Process Modelling
A Bayesian Network based mathematical model has been used for modelling Extreme Programming software development process. The model is capable of predicting the expected finish ti...
Mohamed Abouelela, Luigi Benedicenti
CORR
2010
Springer
116views Education» more  CORR 2010»
13 years 11 months ago
Where are the hard manipulation problems?
One possible escape from the Gibbard-Satterthwaite theorem is computational complexity. For example, it is NP-hard to compute if the STV rule can be manipulated. However, there is...
Toby Walsh
CORR
2010
Springer
121views Education» more  CORR 2010»
13 years 11 months ago
Symmetric Allocations for Distributed Storage
We consider the problem of optimally allocating a given total storage budget in a distributed storage system. A source has a data object which it can code and store over a set of s...
Derek Leong, Alexandros G. Dimakis, Tracey Ho
CORR
2010
Springer
144views Education» more  CORR 2010»
13 years 11 months ago
Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs
An important issue towards a broader acceptance of answer-set programming (ASP) is the deployment of tools which support the programmer during the coding phase. In particular, met...
Johannes Oetsch, Jörg Pührer, Hans Tompi...
CORR
2010
Springer
96views Education» more  CORR 2010»
13 years 11 months ago
The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs
Plagiarism detection is a growing need among educational institutions and solutions for different purposes exist. An important field in this direction is detecting cases of source...
Johannes Oetsch, Jörg Pührer, Martin Sch...
CORR
2010
Springer
144views Education» more  CORR 2010»
13 years 11 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný