4895 search results - page 313 / 979 » Tools for Grammar Engineering |
160
click to vote
SEFM
2008
IEEE
16 years 1 months ago
2008
IEEE
We present an approach to find upper bounds of heap space for Java Card applets. Our method first transforms an input bytecode stream into a control flow graph (CFG), and then ...
161
click to vote
QSIC
2007
IEEE
16 years 28 days ago
2007
IEEE
Software migration is an inherently knowledge intensive activity, which requires a great amount of expertise and experience from different sources. Knowledge-based approach to sof...
141
click to vote
CISSE
2007
Springer
16 years 25 days ago
2007
Springer
An issue of some interest to those in the lumber and timber industry is the rapid matching of a cut log face with its mate. For example, the U.S. Forest Service experiences a consi...
167
click to vote
IEEEARES
2006
IEEE
16 years 21 days ago
2006
IEEE
In many reliability studies based on data, reliability engineers face incompleteness and incoherency problems in the data. Probabilistic tools badly handle these kinds of problems...
153
click to vote
SEFM
2005
IEEE
16 years 7 days ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...