Sciweavers

439 search results - page 24 / 88
» Program Generators and the Tools to Make Them
Sort
View
CEFP
2005
Springer
15 years 5 months ago
Generic Editors for the World Wide Web
In these lecture notes we present a novel toolkit to program web applications with that have dynamic, complex behavior based on interconnect forms. This toolkit is the iData Toolki...
Rinus Plasmeijer, Peter Achten
BMCBI
2006
149views more  BMCBI 2006»
14 years 11 months ago
REtools: A laboratory program for restriction enzyme work: enzyme selection and reaction condition assistance
Background: Restriction enzymes are one of the everyday tools used in molecular biology. The continuously expanding panel of known restriction enzymes (several thousands) renders ...
Patrick Martin, Kim E. Boulukos, Philippe Pognonec
EMSOFT
2008
Springer
15 years 1 months ago
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
Manoranjan Satpathy, Anand Yeolekar, S. Ramesh
DMDW
2001
128views Management» more  DMDW 2001»
15 years 1 months ago
Improving Data Cleaning Quality Using a Data Lineage Facility
The problem of data cleaning, which consists of removing inconsistencies and errors from original data sets, is well known in the area of decision support systems and data warehou...
Helena Galhardas, Daniela Florescu, Dennis Shasha,...
ICFP
2005
ACM
15 years 11 months ago
Recursive type generativity
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...
Derek Dreyer