Sciweavers

4438 search results - page 629 / 888
» The Case for Collaborative Programming
Sort
View
ICSE
2001
IEEE-ACM
15 years 11 months ago
Exploiting the Map Metaphor in a Tool for Software Evolution
Software maintenanceand evolutionare the dominantactivities in the software lifecycle. Modularization can separate design decisions and allow them to be independently evolved, but...
William G. Griswold, Jimmy J. Yuan, Yoshikiyo Kato
LPAR
2001
Springer
15 years 11 months ago
Permutation Problems and Channelling Constraints
When writing a constraint program, we have to decide what to make the decision variable, and how to represent the constraints on these variables. In many cases, there is considerab...
Toby Walsh
CSMR
2000
IEEE
15 years 11 months ago
Towards a Quantitative Assessment of Method Replacement
Object-oriented programming is about the creation of reusable classes that are to be extended to capture the specific requirements of the application at hand. However, instead of...
Rudolf K. Keller, Reinhard Schauer
IJCNN
2000
IEEE
15 years 11 months ago
Phoneme Recognition with Staged Neural Networks
This paper presents a staged series of artificial neural networks (ANNs) for phoneme recognition for text-to-speech applications. Contrary from much of the prior published literat...
Fabio A. Arciniegas, Mark J. Embrechts
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
15 years 11 months ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...