110 search results - page 15 / 22 » SOLIDFX: An Integrated Reverse Engineering Environment for C... |
EMSOFT
2011
Springer
12 years 6 months ago
2011
Springer
As system integration becomes an increasingly important challenge for complex real-time systems, there has been a significant demand for supporting real-time systems in virtualiz...
LCTRTS
2007
Springer
14 years 26 days ago
2007
Springer
Embedded systems serve an emerging and diverse set of applications. As a result, more computational and storage capabilities are added to accommodate ever more demanding applicati...
DISCEX
2003
IEEE
14 years 21 hour ago
2003
IEEE
The MYSEA project has produced an innovative architecture and corrresponding engineering prototype consisting of trusted security services and integrated operating system mechanis...
SCAM
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper argues that semantic information encoded in natural language identifiers is a largely neglected resource for program analysis. First we show that words in Java class n...
CBSE
2006
Springer
13 years 10 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...