3225 search results - page 174 / 645 » Compiling Experience into Knowledge |
149
click to vote
IJET
2008
15 years 6 months ago
2008
Within the TENCompetence project we aim to develop and integrate models and tools into an open source infrastructure for the creation, storage and exchange of learning objects, sui...
154
click to vote
PLDI
2006
ACM
16 years 11 days ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
216
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
172
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
191
click to vote
NAR
2011
14 years 9 months ago
2011
We updated the tRNADB-CE by analyzing 939 complete and 1301 draft genomes of prokaryotes and eukaryotes, 171 complete virus genomes, 121 complete chloroplast genomes and approxima...