9006 search results - page 1400 / 1802 » Modeling Software |
147
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
165
click to vote
CSL
2009
Springer
16 years 22 days ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
190
Voted
HICSS
2007
IEEE
16 years 14 days ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
176
click to vote
ISORC
2005
IEEE
15 years 11 months ago
2005
IEEE
Distributed Real-Time Embedded systems (DRE) increasingly rely on COTS middleware to meet their distribution needs. Yet, there is a technology gap between the design of COTS middl...
155
click to vote
WORDS
2005
IEEE
15 years 11 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...