621 search results - page 25 / 125 » Functional and structural properties in the Model-Driven Eng... |
HOTDEP
2008
13 years 10 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...
WCRE
2009
IEEE
14 years 3 months 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...
FOSSACS
2007
Springer
14 years 2 months 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...
JUCS
2010
13 years 3 months 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...
EEE
2004
IEEE
14 years 5 days 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...