621 search results - page 25 / 125 » Functional and structural properties in the Model-Driven Eng... |
144
click to vote
HOTDEP
2008
15 years 8 months ago
2008
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...
152
click to vote
WCRE
2009
IEEE
16 years 21 days ago
2009
IEEE
—For a long time, dynamic tracing has been an enabling technique for reverse engineering tools. Tracing can not only be used to record the control flow of a particular component...
185
click to vote
FOSSACS
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
185
click to vote
JUCS
2010
15 years 22 days ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
140
click to vote
EEE
2004
IEEE
15 years 9 months ago
2004
IEEE
The performance of information retrieval on the Web is heavily influenced by the organization of Web pages, user navigation patterns, and guidance-related functions. Having observ...