4895 search results - page 247 / 979 » Tools for Grammar Engineering |
155
click to vote
NAR
2006
15 years 6 months ago
2006
Individual zinc finger (ZF) domains that recognize DNA triplets with high specificity and affinity can be used to create designer transcription factors and nucleases that are spec...
178
click to vote
JUCS
2010
15 years 5 months ago
2010
: Ontologies are used to represent a variety of domain knowledge and data collections, scopes, viewpoints and linked heterogeneous information sources. They range from simple topol...
176
click to vote
KBSE
2008
IEEE
16 years 29 days ago
2008
IEEE
Self-adaptive systems should autonomously adapt at run time to changes in their operational environment, guided by the goals assigned by their stakeholders. We present a tool that...
183
click to vote
VSTTE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...
156
click to vote
QSIC
2003
IEEE
15 years 11 months ago
2003
IEEE
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...