Sciweavers

3107 search results - page 534 / 622
» Error-Correcting Source Code
Sort
View
EUROPLOP
2006
13 years 11 months ago
Meta-Specification and Cataloging of Software Patterns with Domain Specific Languages and Adaptive Object Models
Writing patterns is a very important task for leveraging knowledge within an organization or in the software engineering community as a whole. Patterns are more than text, diagram...
León Welicki, Juan Manuel Cueva Lovelle, Lu...
BSDCON
2003
13 years 11 months ago
Reasoning about SMP in FreeBSD
While the subject of SMP locking primitives has been well covered in the literature [Val][Schm][Bald][Leh], there has been relatively little discussion on the rationale and proces...
Jeffrey Hsu
ECSCW
2001
13 years 11 months ago
Supporting distributed software development by modes of collaboration
Work processes in team based software development need to be structured to minimise and resolve conflicting or divergent work. Current software development methodologies propose wa...
Till Schümmer, Jörg M. Haake
PSB
2004
13 years 11 months ago
An Evidence Ontology for Use in Pathway/Genome Databases
An important emerging need in Model Organism Databases (MODs) and other bioinformatics databases (DBs) is that of capturing the scientific evidence that supports the information wi...
Peter D. Karp, Suzanne M. Paley, Cynthia J. Kriege...
SFP
2004
13 years 11 months ago
A graphic functional-dataflow language
NiMo (Nets in Motion) is a visual environment aimed to support totally graphic programming in Data Flow style, with a strong functional inspiration. Solutions of growing complexit...
Silvia Clerici, Cristina Zoltan